Stress testing of digital flight-control system softwareA technique for dynamically testing digital flight-control system software on a module-by-module basis is described. Each test module is repetitively executed faster than real-time with an exhaustive input sequence. Outputs of the test module are compared with outputs generated by an alternate, simpler implementation for the same input data. Discrepancies between the two sets of output indicate the possible presence of a software error. The results of an implementation of this technique in the Digital Flight-Control System Software Verification Laboratory are discussed.
Document ID
19840043941
Acquisition Source
Legacy CDMS
Document Type
Conference Paper
Authors
Rajan, N. (Stanford University Stanford, CA, United States)
Defeo, P. V. (Stanford Univ. CA, United States)
Saito, J. (NASA Ames Research Center Moffett Field, CA, United States)