F. Nagoya, S. Liu, and Yuting Chen (Japan)
Rigorous review, inspection, formal specifications, verifi cation
Software Review is an important approach for the verifica tion 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 pro gram paths of the program. The tool supports the method mainly in automatic derivation of functional scenarios and program paths, automatic generation of control flow dia grams from program source code, and analysis of program paths to detect potential faults.
Important Links:
Go Back
