JOVIAL J73 Automated Verification System - Study Phase

Abstract

This report presents the results of a study to specify the required capabilities and high-level design of an automated tool to support the testing and verification of JOVIAL J73 software systems. Included is a state-of-the-art review of software testing and verification with emphasis on techniques applicable to JOVIAL J73 programs.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 01, 1980
Accession Number
ADA091190

Entities

People

  • Carolyn Gannon

Tags

Communities of Interest

  • C4I
  • Energy and Power Technologies
  • Human Systems
  • Space

DTIC Thesaurus Topics

  • Compilers
  • Computer Program Documentation
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Debugging
  • Information Science
  • Language
  • Robotics
  • Software Development
  • Software Development Tools
  • Software Testing
  • Standards
  • Test And Evaluation

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computational Linguistics
  • Software Engineering