JOVIAL Automated Verification System (JAVS).
Abstract
This report describes the implementation and application of a methodology for systematically and comprehensively testing computing software. The methodology uses the structure of the software undergoing test as the basis for analysis by an automated verification system (AVS). The AVS itself is a series of tools which provide a means of measuring the effectiveness of both individual and cumulative software test cases, a capability to facilitate the construction of test data that will thoroughly exercise the software, and an analysis of retesting requirements following software modification. The AVS has been implemented for the analysis of computer software written in the JOVIAL J3 language and is operational on both the HIS-635 computer at Rome Air Development Center (RADC) in Rome, New York, and the CDC 6400 computer at General Research Corporation in Santa Barbara, California, where it was developed. This JOVIAL Automated Verification System (JAVS) has been subjected to extensive installation testing including a self-analysis test series which resulted in over 85% coverage of all executable statements in the JAVS source program.
Document Details
- Document Type
- Technical Report
- Publication Date
- Feb 01, 1976
- Accession Number
- ADA022056
Entities
People
- E. F. Miller Jr.
- N. B. Brooks
- W. R. Wisehart