SPECIFICATION ERROR DETECTION PROGRAM, SPECIFICATION ERROR DETECTION APPARATUS, AND SPECIFICATION ERROR DETECTION METHOD

摘要

PROBLEM TO BE SOLVED: To provide a specification error detection program, a specification error detection apparatus, and a specification error detection method capable of mechanically and efficiently detecting errors in a software specification.;SOLUTION: A specification error detection program according to an embodiment causes a computer to realize: a function of a determination formula tuple generating unit 11 configured to generate a determination formula tuple, including a determination formula according to the type of determination, on the basis of a processing tuple of a software specification; a function of a logical formula specification generation unit 12 configured to generate a logical formula specification in which the entire software specification is represented by one logical formula on the basis of a data tuple and the processing tuple of the software specification; a function of a satisfiability problem information generating unit 13 configured to combine the logical formula specification with one determination formula to generate satisfiability problem information,; and a function of an error detection unit 14 configured to detect an error in the software specification on the basis of satisfiability determination results with respect to the satisfiability problem information.;SELECTED DRAWING: Figure 4;COPYRIGHT: (C)2018,JPO&INPIT