Referenced Items are not available for this document.
The process used to validate, verify, and test flight avionics control systems has produced software that is highly reliable. However, ever greater demands for reliability require new automated tools to improve existing processes. We used the Anna formal specification language and supporting tool set to develop a Test Range Oracle Tool (TROT) to automate the testing of equation execution. Our approach fits within the existing testing process and can increase the level of test coverage without increasing testing costs. The TROT approach introduces the use of formal specification languages and supporting tools to an existing industry program. This approach is being evaluated for expansion into other test support areas
Published in:
Industrial-Strength Formal Specification Techniques, 1995. Proceedings., Workshop on
Date of Conference: 5-8 Apr 1995
- Page(s):
- 76 - 85
- Meeting Date :
- 05 Apr 1995-08 Apr 1995
- Print ISBN:
- 0-8186-7005-3
- INSPEC Accession Number:
- 4923579
- Conference Location :
- Boca Raton, FL
- Digital Object Identifier :
- 10.1109/WIFT.1995.515480
- 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.
