摘要 |
PROBLEM TO BE SOLVED: To provide inspection data allowing efficient inspection of an inspection target program. SOLUTION: This inspection data generation device generates the inspection data of the inspection target program having a plurality of specifications satisfying a prescribed postcondition to prescribed preconditions 111a, 112a including a first variable and a second variable. The inspection data generation device inputs condition information 131 indicating the precondition of each of the plurality of specifications, and converts the first variable of the preconditions 111a, 112a indicated by the input condition information 131 into an identification variable different in each precondition. The inspection data generation device calculates an inspection data group 134 of the second variable and the identification variable satisfying all of a precondition group 132 into which the first variable is converted into the identification variable, and outputs a calculation result. COPYRIGHT: (C)2011,JPO&INPIT
|