摘要 |
<p><P>PROBLEM TO BE SOLVED: To efficiently verify a control program of a conveying device. <P>SOLUTION: When executing a control program of a conveying device and simulating conveyance by a virtual conveying device, a program verification device records a history of an execution position of the control program and a history of a conveying state in the virtual conveying device with their associated with a simulation time. The program verification device detects error states (W21 and W23) of the conveyance from the history of the conveying state, and further detects an execution position (W22) of the control program corresponding to the simulation time in the error state. This configuration can easily specify the conveying state and the execution position of the program in the occurrence of the error. <P>COPYRIGHT: (C)2013,JPO&INPIT</p> |