It is pointed out that executable assertions can be used for dynamic testing of software. An executable assertion is a logical statement about the variables or a block of code. If there is no error during execution then the assertion statement results in a true value. Assertions are useful for testing purposes throughout the lifecycle of software. They can be used for validation during the design phase, and for exception handling and error detection during the operation phase. The present investigation has the objective to study the use of executable assertions for testing flight software. Attention is given to details regarding executable assertions, the digital flight control system, testing flight software, and preliminary experimental results.
Executable assertions and flight software
Digital Avionics Systems Conference ; 1984 ; Baltimore, MD
1984-01-01
Conference paper
No indication
English
Executable assertions and flight software
AIAA | 1984
|Executable assertions and flight software
NTRS | 1984
|Writing executable assertions to test flight software
NTRS | 1984
|Testing flight systems with machine executable scripts
IEEE | 2009
|Testing Flight Systems with Machine Executable Scripts
NTRS | 2009
|