JOVIAL J73 Automated Verification System: Implementation Phase.
Abstract
The JOVIAL J73 Automated Verification System (J73AVS), is an interactive computer program that analyzes any source code written in JOVIAL J73. The primary objective of J73AVS is to provide static and dynamic testing assistance. To do this, J73AVS detects a variety of semantic and data flow errors, reports execution coverage (i.e., frequency of statements, control branches, and procedures executed by each test case), reports execution timing (in terms of CPU milliseconds) for procedures or certain user-designated portions of the JOVIAL J73 program, reports execution tracing (ordering) of control branches or procedures, and keeps track of the test coverage history from run to run. To assist with function testing of programs, J73AVS provides a local assertion construct which triggers an output message when it is violated. J73AVS also provides a large number of source analysis reports, ranging from symbol cross references and descriptions of symbol usages to procedure calling trees and descriptions of all procedures being analyzed. These reports are useful for original code development, rehosting 'foreign' code, debugging and testing, code enhancement, and code maintenance. This report briefly describes the features of J73AVS and provides specific details on how to obtain the J73AVS software and selected project reports. Originator-supplied keywords include: Verification, and Software testing.
Document Details
- Document Type
- Technical Report
- Publication Date
- Mar 01, 1984
- Accession Number
- ADA148732
Entities
People
- C. Gannon