Accession Number:

ADA064872

Title:

JOVIAL Automated Verification System.

Descriptive Note:

Final technical rept. Jun 77-Jul 78,

Corporate Author:

GENERAL RESEARCH CORP SANTA BARBARA CALIF

Personal Author(s):

Report Date:

1978-12-01

Pagination or Media Count:

144.0

Abstract:

JAVS, for JOVIAL Automated Verification System, provides measurements of testing thoroughness, retesting assistance, and automated software documentation for JOVIAL J3 programs. This report describes the design, implementation and testing of a new JAVS syntax analyzer. Background information regarding all JAVS contracts is provided in this report, as are procedures for installing the complete JAVS software package. Familiarity with the JOVIAL language and with software verification terminology is assumed. Author

Subject Categories:

  • Computer Programming and Software
  • Computer Hardware

Distribution Statement:

APPROVED FOR PUBLIC RELEASE