JAVS Final Report.

Abstract

As part of its program to improve software quality and reliability through the implementation of advanced technology, Rome Air Development Center has contracted with General Research Corporation for assistance in using GRC's JOVIAL Automated Verification System (JAVS) to structurally test a large and complex operational program not designed for automated testing. While performing the systematic test, JAVS was evaluated and enhanced, and an applicable testing methodology was developed. This report describes the results of the systematic test, evaluation of JAVS, testing methodology current configuration of JAVS, and proposed capabilities of future tools. JAVS is operational on the HIS 6180 at RADC operating under GCOS, the HIS 6080 at Offutt AFB, Omaha, Nebraska under WWMCCS, and the CDC 6400 at GRC in Santa Barbara, California under the GOLETA Operating System. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 1977
Accession Number
ADA041237

Entities

People

  • C. Gannon
  • N. B. Brooks
  • W. R. Wisehart

Tags

DTIC Thesaurus Topics

  • Air Force
  • Application Software
  • Compilers
  • Computer Program Documentation
  • Computer Programming
  • Computer Programs
  • Computers
  • Control
  • Databases
  • Debugging
  • Information Science
  • Object Code
  • Operating Systems
  • Robotics
  • Software Development Tools
  • Software Testing
  • Test And Evaluation

Readers

  • Computer Science.
  • Environmental Impact Assessment (EIA) of Proposed Air Force Base Actions.
  • Software Engineering