INVESTIGATION RESULT OUTPUT DEVICE, INVESTIGATION RESULT OUTPUT METHOD, PROGRAM, AND STORAGE MEDIUM

摘要

PROBLEM TO BE SOLVED: To provide an investigation result output device, an investigation result output method, a program, and a storage medium that solve a problem of large consumption of man-hours and time in search for information on constraint violation among a great amount of specifications even when constraint violation of variable is found in an execution history.SOLUTION: An investigation result output device outputs a result of investigation of variables and values set to the variables in execution history information on the execution of a program executed on a computer on the basis of a specification. The investigation result output device comprises: extraction means 101 that extracts the variables and the values set to the variables from the execution history information; determination means 102 that determines whether the variables and the values set to the variables extracted by the extraction means violate a constraint on the variables prescribed in the specification of the variables; and addition means 103 that, when the variables and the values set to the variables are determined to be violating the constraint by the determination means, adds information on the constraint determined to be violated to a predetermined position of the execution result. The information on the constraint is associated with the specification of the variables determined to be violating the constraint.