Digital Flight Control System (DFCS) software was used as a test case for assertion testing. The assertions were written and embedded in the code, then errors were inserted (seeded) one at a time and the code executed. Results indicate that assertion testing is an effective and efficient method of detecting errors in flight software. Most errors are eliminate at an earlier stage in the development than before.
Dynamic Assertion Testing of Flight Control Software
1985
25 pages
Report
No indication
English
Dynamic assertion testing of flight control software
NTRS | 1985
|Instrumentation in flight-control software testing
British Library Online Contents | 2009
|SOFTWARE - NASA Testing New Aircraft Safety Flight Control Software
Online Contents | 1999
Flight Computer Software Testing
British Library Conference Proceedings | 2004
|