Dynamic assertion testing of flight control software
- Author:
- Mahmood, A.
- Published:
- Jul 1, 1985.
- Physical Description:
- 1 electronic document
- Additional Creators:
- Andrews, D. M.
Mccluskey, E. J. - Access Online:
- hdl.handle.net
- Restrictions on Access:
- Unclassified, Unlimited, Publicly available.
- Summary:
- Assertions are used to dynamically test fault tolerant flight software. The experiment showed that 87% of typical errors introduced into the program would be detected by assertions. Detailed analysis of the test data showed that the number of assertions needed to detect those errors could be reduced to a minimal set. The analysis also revealed that the most effective assertions tested program parameters that provided greater indirect (collateral) testing of other parameters.
- Collection:
- NASA Technical Reports Server (NTRS) Collection.
- Note:
- Document ID: 19860013851.
Accession ID: 86N23322.
NASA-CR-176712.
NAS 1.26:176712. - Terms of Use and Reproduction:
- Copyright, Distribution under U.S. Government purpose rights.
- Access Online:
- hdl.handle.net
View MARC record | catkey: 15702843