JAVS Technical Report. User's Guide.

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 code, (3) analyze the results of tests executed by his code, and (4) automatically document his code. The purpose of this document is to introduce the tester to JAVS and to the process of software testing supported by JAVS. The information provided in this guide on JAVS usage is intentionally limited to the beginning user. The appendices provide the information necessary for operating JAVS at RADC and can be referenced by the sophisticated as well as the beginning user. The information presented on the testing methodology which JAVS supports is applicable to both the beginning and sophisticated user of JAVS. (Author)

Open PDF

Document Details

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

Entities

People

  • C. Gannon
  • N. B. Brooks
  • R. J. Urban

Tags

Communities of Interest

  • C4I
  • Human Systems
  • Space

DTIC Thesaurus Topics

  • Compilers
  • Computer Program Documentation
  • Computer Programming
  • Computer Programs
  • Computers
  • Databases
  • Debugging
  • Information Science
  • Instrumentation
  • Language
  • Object Code
  • Operating Systems
  • Plastic Explosives
  • Software Development
  • Software Testing
  • Standards
  • Structural Analysis

Fields of Study

  • Computer science

Readers

  • Computer Science.