Executable assertions and flight software
Published in Digital Avionics Systems Conference • Aug 17, 1984
Authors:,,
Asif Mahmood
Dorothy Andrews
E.J. McCluskey
Abstract
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 softw...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!