发明名称 プログラム検証装置およびプログラム検証方法
摘要 <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>
申请公布号 JP5753468(B2) 申请公布日期 2015.07.22
申请号 JP20110211598 申请日期 2011.09.27
申请人 发明人
分类号 G06F11/28;G06F17/50 主分类号 G06F11/28
代理机构 代理人
主权项
地址