A Visual Tradeoff Space for Formal Verification and Validation Techniques
Download
Author
Drusinsky, Doron
Michael, James Bret
Shing, Man-Tak
Date
2008Metadata
Show full item recordAbstract
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.
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.Collections
Related items
Showing items related by title, author, creator and subject.
-
Flight Validation of a Metrics Driven L1 Adaptive Control in the Presence of General Unmodeled Dynamics
Xargay, Enric; Dobrokhodov, Vladimir; Kitsios, Ioannis; Kaminer, Isaac; Jones, Kevin D.; Hovakimyan, Naira; Cao, Chengyu; Lizarraga, Mariano I.; Gregory, Irene M. (IEEE, 2009-12);The paper summarizes the results of an ongoing effort in the development and flight validation and verification of the metrics driven L1 adaptive flight control system. In particular, the paper develops a unified framework ... -
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 ... -
A validation metrics framework for safety-critical software-intensive systems
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, ...