NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Back to Results
Writing executable assertions to test flight softwareAn executable assertion is a logical statement about the variables or a block of code. If there is no error during execution, the assertion statement results in a true value. Executable assertions can be used for dynamic testing of software. They can be employed for validation during the design phase, and exception and error detection during the operation phase. The present investigation is concerned with the problem of writing executable assertions, taking into account the use of assertions for testing flight software. They can be employed for validation during the design phase, and for exception handling and error detection during the operation phase The digital flight control system and the flight control software are discussed. The considered system provides autopilot and flight director modes of operation for automatic and manual control of the aircraft during all phases of flight. Attention is given to techniques for writing and using assertions to test flight software, an experimental setup to test flight software, and language features to support efficient use of assertions.
Document ID
19850039822
Document Type
Conference Paper
Authors
Mahmood, A. (Stanford Univ. CA, United States)
Andrews, D. M. (Stanford Univ. CA, United States)
Mccluskey, E. J. (Stanford University Stanford, CA, United States)
Date Acquired
August 12, 2013
Publication Date
November 1, 1984
Subject Category
COMPUTER PROGRAMMING AND SOFTWARE
Report/Patent Number
CSL-TN-84-256
SU-CRC-TR-84-14
Funding Number(s)
CONTRACT_GRANT: NAG2-246
Distribution Limits
Public
Copyright
Other