Decision verification as an element of Navy quality assurance programs
Chadick, Wayne L.
MetadataShow full item record
Decision verification in quality assurance is simply the Government's determination of whether or not a contractor's inspection decisions are correct. This paper discusses procedures for accomplishing decision verification both as prescribed by directives and as actually done. It examines reasons why decision verification does not appear to be a viable element in current quality assurance programs even though this procedure is still prescribed in Navy directives for use by contract administrators, The use of operating characteristic curves as a managerial aid to determine whether or not to use decision verification is also discussed.
Approved for public release; distribution unlimited
Showing items related by title, author, creator and subject.
DeCloss, Daniel P. (Monterey, California. Naval Postgraduate School, 2006-06);Formal verification is required for systems that require high assurance. Formal verification can require large and complex proofs that can drastically affect the development life cycle. Through the use of a verification ...
Salado, Alejandro; Farkhondehmaal, Farshad (Monterey, California. Naval Postgraduate School, 2018-04-30); SYM-AM-18-105This paper is intended to disseminate some initial outcomes of the NPS Research Acquisition Program's "Tradespace Exploration for Better Verification Strategies"project. The research addresses the design of verification ...
Drusinsky, Doron; Havelund, Klaus (2003-01);Execution-based model checking (EMC) is a verification technique based on executing a multi-threaded/multiprocess program repeatedly in a systematic manner in order to explore the different interleavings of the program. ...