OPERATION CHECK ASSISTANCE DEVICE, OPERATION CHECK ASSISTANCE METHOD, AND OPERATION CHECK ASSISTANCE PROGRAM

摘要

A program information acquisition unit (15) acquires an operation code, which is a source code of an operation program that reads an input value to operate. An inspection condition acquisition unit (16) acquires information regarding a target reaching part including a target reaching part of the operation code as an inspection condition. An inspection condition conversion unit (17) generates a determination formula for determining that the target reaching part included in the inspection condition acquired by the inspection condition acquisition unit is reached. An analysis unit (18) generates, using the determination formula generated by the inspection condition conversion unit, a generated value as the input value that is caused to reach the target reaching part.