Accession Number : ADA141063

Title :   COBOL Automated Verification System, Implementation Phase.

Descriptive Note : Final technical rept. Oct 81-May 83,


Personal Author(s) : Melton,R A ; Wisehart,W R

PDF Url : ADA141063

Report Date : Dec 1983

Pagination or Media Count : 43

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.

Descriptors :   *Computer program verification, *Programming languages, Automation, Interactions, Programmers, Productivity, Data bases, Life cycle costs, Error analysis, Reliability, Maintainability, Validation, Compilers

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE