JOVIAL J73 Automated Verification System: Implementation Phase.
Final rept. May 80-Sep 83,
GENERAL RESEARCH CORP SANTA BARBARA CA
Pagination or Media Count:
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.
- Computer Programming and Software