Method, apparatus and program for testing control program

An automatic code generation section reads a control model, and generates and releases a control program which is written in the C language. At the generation of the control program, a correspondence information formation section creates correspondence information indicative of the correspondence relationship between the control model and the control program. A simulation section reads the control model and simulates its operation. A program execution section reads the control program and executes it. A synchronizing section makes synchronization, that is, a relational linkage, between the operation results of the simulation section and the program execution section based on the correspondence information.