Referenced Items are not available for this document.
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
Published in:
AUTOTESTCON '96, Test Technology and Commercialization. Conference Record
Date of Conference: 16-19 Sep 1996
- Page(s):
- 160 - 165
- Meeting Date :
- 16 Sep 1996-19 Sep 1996
- ISSN :
- 1088-7725
- Print ISBN:
- 0-7803-3379-9
- INSPEC Accession Number:
- 5526497
- Conference Location :
- Dayton, OH
- Digital Object Identifier :
- 10.1109/AUTEST.1996.547691
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
