摘要 |
PROBLEM TO BE SOLVED: To provide a program model inspection which avoids a phenomenon in which functions to be inspected are not executed owing to the order of inspection of program models, safely restricts the number of execution times of the functions, and reduces the execution time for program model inspection.SOLUTION: In the program model inspection device, the program model inspection executes steps of: suppressing function execution to end the inspection of execution sequence of functions and associating the function with the current state to record the function suppressing the execution in an execution suppressing function table with the function suppressing the execution defined therein when the number of execution times of executable functions in the current state is equal to or more than the upper limit of execution times; determining whether there is a combination of the current state and executable functions in the current state in the execution suppressing function table when transition to the current station is already done in the other function execution sequence; and executing the functions only when such a combination is found in the determination step. |