Accession Number : ADA141063
Title : COBOL Automated Verification System, Implementation Phase.
Descriptive Note : Final technical rept. Oct 81-May 83,
Corporate Author : GENERAL RESEARCH CORP SANTA BARBARA CA
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