COBOL Automated Verification System, Implementation Phase.

Abstract

As the cost of computer hardware continues to fall, more and more ambitious software applications are conceived. The conversion of the ambitious conceptions into complete and reliable final products, on budget and within schedule, continues to be an elusive goal for the majority of projects. Much emphasis is being placed on solving this problem with tools and techniques that are applicable throughout the software life cycle. The objective was to design and implement a tool for analyzing and testing COBOL source programs. The tool, called CAVS, for COBOL Automated Verification System, is a prototype of a software tool to improve the reliability and maintainability of COBOL software systems. CAVS can be applied during the testing, verification, validation, and error detection/correction phases of software development.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1983
Accession Number
ADA141063

Entities

People

  • R. A. Melton
  • W. R. Wisehart

Tags

Communities of Interest

  • Space

DTIC Thesaurus Topics

  • Application Software
  • Computer Programming
  • Computer Programs
  • Computers
  • Databases
  • Language
  • Life Cycles
  • Operating Systems
  • Software Development
  • Software Development Tools
  • Structured Programming
  • User Interface
  • Verification

Fields of Study

  • Computer science
  • Engineering

Readers

  • Software Engineering
  • Software Verification and Validation.
  • Systems Analysis and Design