A framework for computer-aided validation
Abstract
This paper presents a framework to incorporate computer-based validation techniques to the independent validation and verification (IV&V) of software systems. The framework allows the IV&V team to capture its own understanding of the problem and the expected behavior of any proposed system for solving the problem via an executable system reference model, which uses formal assertions to specify mission- and safety-critical behaviors. The framework uses execution-based model checking to validate the correctness of the assertions and to verify the correctness and adequacy of the system under test.
NPS Report Number
NPS-CS-07-010Related items
Showing items related by title, author, creator and subject.
-
A framework for computer-aided validation
Drusinsky, Doron; Shin, Man-Tak; Michael, James Bret (2008);This paper presents a framework for augmenting independent validation and verification (IV & V) of software systems with computer-based IV & V techniques. The framework allows an IV & V team to capture its own understanding of ... -
Validating Visual Simulation of Small Unit Behavior
Sadagic, Amela (2010-11);A large number of contemporary military simulations and game-based systems employ models of human behavior where individual members of simulated military formations are represented as virtual human agents. However, we ... -
Design and implementation of a group membership protocol.
Raghuram, Devalla (Monterey, California. Naval Postgraduate School, 1992-09);A group membership protocol ensures agreement and consistent commit actions among group members to maintain a sequence of identical group views in spite of continuous changes, either voluntary or otherwise, in processors' ...