Cobol Automated Verification System: Study Phase.

Abstract

The COBOL language, and automated software testing tools, have been studied in order to design an Automated Verification System for COBOL. The proposed functions and design of the system are summarized in this report. Details of the system are presented in the CAVS Functional Description and CAVS System/Subsystem Specification. To provide a perspective for the capabilities of the proposed system, this report contains a critique of the COBOL language, a description of methods of software testing, and a characterization of errors in COBOL. Considerations for future capabilities of the system are also outlined. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Mar 01, 1981
Accession Number
ADA098755

Entities

People

  • Gary Greenburg
  • Michael Sharp
  • Richard Melton

Tags

Communities of Interest

  • C4I

DTIC Thesaurus Topics

  • Compilers
  • Computer Languages
  • Computer Program Documentation
  • Computer Programming
  • Computer Programs
  • Computers
  • Databases
  • Debugging
  • Information Science
  • Language
  • Operating Systems
  • Programming Languages
  • Robotics
  • Software Development
  • Software Development Tools
  • Software Testing
  • Test Methods

Fields of Study

  • Computer science

Readers

  • Software Engineering
  • Software Engineering.
  • Software Verification and Validation.