COBOL Automated Verification System, Implementation Phase

摘要

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.