Accession Number : ADP003521

Title :   J73AVS: A JOVIAL J73 Automated Verification System,

Corporate Author : GENERAL RESEARCH CORP SANTA BARBARA CA

Personal Author(s) : Gannon,C.

Report Date : NOV 1982

Pagination or Media Count : 9

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)

Descriptors :   *Computer program verification, Air Force, High level languages, Standardization

Distribution Statement : APPROVED FOR PUBLIC RELEASE