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

fYear

1996

fDate

16-19 Sep 1996

Firstpage

160

Lastpage

165

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;

fLanguage

English

Publisher

ieee

Conference_Titel

AUTOTESTCON '96, Test Technology and Commercialization. Conference Record

Conference_Location

Dayton, OH

ISSN

1088-7725

Print_ISBN

0-7803-3379-9

Type

conf

DOI

10.1109/AUTEST.1996.547691

Filename

547691