VERIFICATION PROGRAM, RECORDING MEDIUM WITH THE PROGRAM RECORDED THEREON, VERIFICATION APPARATUS, AND VERIFICATION METHOD

摘要

PROBLEM TO BE SOLVED: To provide a highly reliable operation process and reduce a work burden and a work time required for design work by appropriately checking incorporation omission and an incorporation position of a preventive measure.

SOLUTION: A main process is detected from an operations process 100 subject to verification as a target. Mapping information 300 is referred to retrieve a preventive measure against an error predicted to occur upon the execution of the detected main process from the operations process 100. Then, on the basis of the order in which the retrieved preventive measure for the main process is executed, it is determined whether the preventive measure has been incorporated into the operations process 100 at a correct position and a result of the determination is outputted.

COPYRIGHT: (C)2010,JPO&INPIT