Executable assertions are used to test flight control software. The techniques used for testing flight software; however, are different from the techniques used to test other kinds of software. This is because of the redundant nature of flight software. An experimental setup for testing flight software using executable assertions is described. Techniques for writing and using executable assertions to test flight software are presented. The error detection capability of assertions is studied and many examples of assertions are given. The issues of placement and complexity of assertions and the language features to support efficient use of assertions are discussed.
Executable assertions and flight software
1984-11-01
Report
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
NTRS | 2009
|Testing flight systems with machine executable scripts
IEEE | 2009
|