摘要 |
PROBLEM TO BE SOLVED: To provide a program checking apparatus capable of detecting the presence of a specific phenomenon and an input test pattern that causes the phenomenon even when a program has a structure having conditional branches and multiple arithmetic paths, provided that the specific phenomenon can arise in any one of the arithmetic paths.SOLUTION: A program checking apparatus of the present invention selects one of arithmetic paths that can arise during execution of a program, and performs generation of input values and an optimization process to assess the presence of a specific phenomenon for the selected arithmetic path. When the specific phenomenon is not detected, the apparatus iterates the process of detecting another arithmetic path that has not been assessed for the presence of the specified phenomenon, generating input values, and performing the optimization process for an assessment of the specific phenomenon in the detected arithmetic path. |