JOVIAL Automated Verification System.

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)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1978
Accession Number
ADA064872

Entities

People

  • C. Gannon

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Compilers
  • Computer Program Documentation
  • Computer Programming
  • Computer Programs
  • Computers
  • Databases
  • Debugging
  • Information Science
  • Language
  • Object Code
  • Operating Systems
  • Recognition
  • Self Assembly
  • Software Development
  • Software Testing
  • Test And Evaluation
  • Three Dimensional

Fields of Study

  • Computer science

Readers

  • Aerospace Test and Evaluation
  • Computer Science.