Title :
Using advanced tools to automate the design, generation and execution of formal qualification testing
Author :
Stephenson, Mark ; Lynch, Tom ; Walters, Steve
Author_Institution :
Wright Res. & Dev. Center, Wright-Patterson AFB, OH, USA
Abstract :
The paper describes the use of automated testing tools to improve the quality of operational flight program testing. Specifically this paper examines the use of Model Reference Technology, or MRT, to model the desired behavior of Operational Flight Programs, automate test generation and systematize software testing. Examples are given of the usage of TestMaster, a commercial MRT-based quality solution, in combination with automated test execution tools, such as AutoVal, to significantly improve the formal qualification testing process of an avionics mission computer subsystem
Keywords :
CAD; aerospace computing; aircraft computers; automatic test equipment; automatic test software; economics; formal verification; military avionics; program testing; AutoVal; MRT; MRT-based quality solution; Model Reference Technology; TestMaster; automated test execution tools; automated testing tools; avionics mission computer subsystem; formal qualification testing; operational flight program testing; software testing; test generation; Aerospace electronics; Aircraft; Application software; Automatic testing; Embedded software; Qualifications; Software testing; Software tools; System testing; Weapons;
Conference_Titel :
AUTOTESTCON '96, Test Technology and Commercialization. Conference Record
Conference_Location :
Dayton, OH
Print_ISBN :
0-7803-3379-9
DOI :
10.1109/AUTEST.1996.547691
