JOVIAL Automated Verification System (JAVS).

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.