JAVS Technical Report. Methodology Report.

Abstract

The JOVIAL Automated Verification System (JAVS) is a tool for analyzing source programs written in the J3 dialect of the JOVIAL language. From the user's viewpoint, JAVS consists of a sequence of processing steps which (1) analyze his JOVIAL source text, (2) guide him in preparing test cases for his programs, (3) analyze the results of tests executed by his programs, and (4) automatically document his programs. This report describes the application of a testing methodology utilizing an Automated Verification System (AVS) such as JAVS. Sections of this report present an overview of the testing methodology and the capabilities of JAVS and describe actual testing experience with JAVS, the general role of an AVS in applying the testing methodology, practical techniques for particular test situations, and expanded capabilities for advanced AVS implementations. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 01, 1977
Accession Number
ADA041048

Entities

People

  • C. Gannon
  • N. B. Brooks

Tags

Communities of Interest

  • C4I
  • Engineered Resilient Systems
  • Space

DTIC Thesaurus Topics

  • Acceptance Tests
  • Accuracy
  • Application Software
  • Compilers
  • Computer Program Documentation
  • Computer Program Reliability
  • Computer Programming
  • Computer Programs
  • Computers
  • Databases
  • Information Science
  • Information Systems
  • Operating Systems
  • Reliability
  • Software Development Tools
  • Software Testing
  • Test And Evaluation

Fields of Study

  • Computer science

Readers

  • Adaptive Control and Estimation with Uncertainty in Dynamic Systems.
  • Computational Linguistics
  • Software Engineering