PURPOSE: To prevent the omission of extraction of a logical miss as to the verification device for the log analytic program.

CONSTITUTION: This device is equipped with pseudo log data 7, an interruption control part 1 which holds address settings for generating an interruption with a comparison instruction (1) used for a log analysis, a comparison result, a debugging mode selecting mechanism which causes the interruption when the comparison instruction (1) refers to an address area set in the interruption control part 1, a declaration table 3 wherein the format of the address area set in the interruption control part 1 is defined, and an interruption processing part 4 which takes the contents and definition name of an object address out when the interruption is generated with the comparison instruction (1). In debugging mode, the log analytic program is executed to read in the pseudo log data, and data to be compared at the time of the execution of the comparison instruction (1) which are generated halfway in the analysis and its definition name and comparison result (matching or unmatching) are outputted to an external storage device 5, when the output results are deficient, the deficient part is compensated.