A Visual Tradeoff Space for Formal Verification and Validation Techniques
Michael, James Bret
MetadataShow full item record
Numerous techniques exist for conducting computer-assisted formal verification and validation. The cost associated with these techniques varies, depending on factors such as ease of use, the effort required to construct correct requirement specifications for complex real-life properties, and the effort associated with instrumentation of the software under test. Likewise, existing techniques differ in their ability to effectively cover the system under test and its associated requirements. To aid software engineers in selecting the appropriate technique for the formal verification and validation task at hand, we introduce a three-dimension tradeoff space encompassing both cost and coverage.
Showing items related by title, author, creator and subject.
Cruickshank, Kristian John. (Monterey, California. Naval Postgraduate School, 2009-03);Validation of safety-critical software requirements is a difficult and frequently misunderstood task. It answers the question of "are we building the right product?" and is essential to Software Engineering. However, ...
End-to-end formal specification, validation and verification process: a case study of space flight software Alves, Miriam C. Bergue; Drusinsky, Doron; Michael, James Bret; Shing, Man-Tak (IEEE, 2013-12);The quality of requirements and the effectiveness of verification and validation (V&V) techniques in guaranteeing that a final system reflects its established requirements have a direct influence on the quality and ...
Charlow, Kevin; Daehler-Wilking, Richard; Stutzman, Marcy; Blais, Curtis (2008);This paper updates the Modeling and Simulation (M&S) community on the status of the M&S Project "Standardized Documentation for Verification, Validation, and Accreditation (VV&A)" sponsored by the Department of Defense ...