Patent ID: 7441235
Filing Date: 2008-10-21
Classification: G05B,G06F

Abstract:
1. A control program testing method for testing a control program which is written in a certain programming language by use of an automatic code generator which produces automatically a control program which is corresponding in contents with a control model indicating a control specification and written in the certain programming language to perform the control model, with requisite control specifications thereof being written in a requisite control specifications writing language, the control program testing method comprising steps of: producing operation results of a simulator which simulates operation of the control model and operation results of program execution section which executes the control program, while making a relational linkage between each of corresponding operation results; comparing the operation results of the simulator and the operation results of the program execution section upon detecting suspends of simulation and program execution; and testing presence or absence of abnormality in at least one of the control model and the control program with respect to each relational linkage; wherein said each relational linkage is made about corresponding contents between the control model and the control program based on correspondence information which indicates a correspondence relationship between the control model which is provided at automatic generation of the control program by the automatic code generator and the control program which is produced from the control model, wherein the relational linkage is made for one of the control model and the control program based on the setting of a break point which specifies a suspend point of operation and for the other based on a setting of a corresponding break point based on the correspondence information, and wherein the break point is adapted to set individually for functional blocks which constitute the control model.