Opening book details…
Can I read Using Formal Specifications as Test Oracles for System-critical Software on EtoBox?
Using Formal Specifications as Test Oracles for System-critical Software by Jon Hagar; James M. Bieman is a Computer Science article available to read on EtoBox.
What is Using Formal Specifications as Test Oracles for System-critical Software about?
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 (Annotated Ada) 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, automates perviously manual analysis, and can increase the level of test coverage. The TROT approach also introduces the use of formal specification languages and supporting tools to an existing industry program. This approach supported production tests and is being expanded into other test support areas.
Who reads Using Formal Specifications as Test Oracles for System-critical Software?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Jon Hagar; James M. Bieman
- Publisher
- ACM
- Published
- 1996
- Language
- EN
- Field
- Computer Science (Physical Sciences)