DESIGN AND IMPLEMENTATION OF A SPECIFICATION-BASED PROGRAM REVIEW TOOL

摘要

Software Review is an important approach for the verification and validation of programs, and tool support is crucial to ensure its cost-effectiveness in practice. In this paper, we describe the design and implementation of a software tool to support a specification-based program review method. A review using the method is performed based on the relation between functional scenarios of the specification and program paths of the program. The tool supports the method mainly in automatic derivation of functional scenarios and program paths, automatic generation of control flow diagrams from program source code, and analysis of program paths to detect potential faults.