Patent ID: 7681183

Claim:
A check method of checking at least one of a control model in which requested specifications for controlling a target are described and a control program generated based on the control model, the method comprising: establishing a first monitor section at a first location in the one of the control model and the control program; automatically identifying a second location in the other of the control model and the control program to establish a second monitor section at the second location in the other thereof, the second location corresponding to the first location of the first monitor section in the one of the control model and the control program; simulating the control model through a corresponding one of the first monitor section and the second monitor section; executing the control program through the other of the first monitor section and the second monitor section; and monitoring a result of the simulation at the one of the first monitor section and the second monitor section therein and a result of the execution at the other of the first monitor section and the second monitor section therein to check whether at least one of the control model and the control program contains a bug based on the result of the simulation at the one of the first monitor section and the second monitor section therein and the result of the execution at the other of the first monitor section and the second monitor section therein; wherein the automatically identifying comprises: referring to first correspondence information to automatically identify the second location based on a result of the referring, the first correspondence information being generated based on predetermined information and including a correspondence relationship between predetermined points in the control model and those in the control program, the predetermined points in the control model corresponding to the predetermined points in the control program, respectively, the predetermined information being captured during a generation of the control program based on the control model.