CONSTRAINT EXTRACTION PROGRAM, CONSTRAINT EXTRACTION DEVICE AND CONSTRAINT EXTRACTION METHOD

摘要

PROBLEM TO BE SOLVED: To accurately create a constraint used for verification of a script.SOLUTION: A constraint extraction device 1: specifies objects to be operated including an object operated by first procedure information and objects relevant to the object in a first execution environment (S12); extracts a procedure concerning the objects to be operated from the first procedure information (S13); creates first relevant information on execution sequence among relevant objects to be operated about the extracted procedure (S13-S15); specifies objects to be operated including an object operated by second procedure information and objects relevant to the object in a second execution environment (S12); extracts a procedure concerning the objects to be operated from the second procedure information (S13); creates second relevant information on execution sequence among the relevant objects to be operated about the extracted procedure (S13-S15); and compares the first relevant information with the second relevant information to extract a relation concerning execution sequence among common and relevant objects to be operated (S18).