PROGRAM VERIFICATION SYSTEM AND VERIFICATION METHOD THEREOF

PROBLEM TO BE SOLVED: To verify the operation result of a program on a faulty device.SOLUTION: A program verification system 1 includes: a virtual program execution unit 2 which simulates operation of a program installed in a CPU 10; a virtual device execution unit 3 which simulates operations of a peripheral device 12 in a normal status and an abnormal status; a status input unit 4 capable of designating a status of the peripheral device 12; and a conformable operation storage unit 5 in which conformable operations of the program on the peripheral device 12 in the normal status and the abnormal status are stored. The virtual device execution unit 3 gives a status designated by the status input unit 4, to the peripheral device 12 to operate the peripheral device 12 in this status, and the virtual program execution unit 2 operates the program on the peripheral device 12 in this status and collates operation results with the conformable operations in the status to verify the operations of the program.