J73AVS: A JOVIAL J73 Automated Verification System,
Abstract
The development of J73AVS reflects the commitment of the Air Force to facilitate JOVIAL J73 standardization. This paper describes software verification as it is automated by the J73AVS tool. The concept of software verification is discussed, as well as the capabilities and operation of J73AVS. J73AVS provides much of its payoff by detecting certain software errors and measuring the thoroughness of testing far more accurately and efficiently than could be achieved manually. While J73AVS operates as a standalone program on several host computers, it augments the JOVIAL J73 support environment when used with other Air Force-sponsored tools such as the code auditor debugger and Program Support Library. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Nov 01, 1982
- Accession Number
- ADP003521
Entities
People
- C. Gannon