[發(fā)明專利]程序驗(yàn)證系統(tǒng)、控制裝置及程序驗(yàn)證方法

在審

• 申請(qǐng)?zhí)枺?/td>: 201780050245.7
• 申請(qǐng)日: 2017-06-23
• 公開（公告）號(hào): CN109643095A
• 公開（公告）日: 2019-04-16
• 發(fā)明（設(shè)計(jì)）人: 鈴木孝幸;吉藤拓土
• 申請(qǐng)（專利權(quán)）人: 三菱電機(jī)株式會(huì)社
• 主分類號(hào): G05B19/05
• 分類號(hào): G05B19/05
• 代理公司: 北京天昊聯(lián)合知識(shí)產(chǎn)權(quán)代理有限公司 11112
• 代理人: 何立波;張?zhí)焓?/td>

1.一種程序驗(yàn)證系統(tǒng)，其特征在于，具有：

控制裝置，其被輸入來自進(jìn)行數(shù)據(jù)的輸入輸出的輸入輸出裝置的控制輸入數(shù)據(jù)，并且使用用于對(duì)裝置進(jìn)行控制的控制程序計(jì)算與所述控制輸入數(shù)據(jù)對(duì)應(yīng)的控制輸出數(shù)據(jù)，向所述輸入輸出裝置輸出；以及

比對(duì)部，其通過將測(cè)試樣板所包含的測(cè)試輸出數(shù)據(jù)和由所述控制裝置計(jì)算出的所述控制輸出數(shù)據(jù)進(jìn)行比對(duì)，從而進(jìn)行所述控制程序的動(dòng)作驗(yàn)證，所述測(cè)試樣板是滿足所述裝置的動(dòng)作規(guī)格的測(cè)試輸入數(shù)據(jù)與所述測(cè)試輸出數(shù)據(jù)的組合且示出隨時(shí)間的變化，

所述控制裝置具有：

存儲(chǔ)部，其對(duì)所述測(cè)試樣板進(jìn)行存儲(chǔ)；以及

控制部，在進(jìn)行所述控制程序的動(dòng)作驗(yàn)證時(shí)，如果在所述控制程序中存在對(duì)所述控制輸入數(shù)據(jù)進(jìn)行參照的命令，則所述控制部取得所述控制裝置內(nèi)的時(shí)間的信息即第1時(shí)間信息，并且從所述測(cè)試樣板內(nèi)提取與所述第1時(shí)間信息對(duì)應(yīng)的所述測(cè)試輸入數(shù)據(jù)，使用提取出的所述測(cè)試輸入數(shù)據(jù)及所述控制程序計(jì)算所述控制輸出數(shù)據(jù)。

2.根據(jù)權(quán)利要求1所述的程序驗(yàn)證系統(tǒng)，其特征在于，

還具有生成所述測(cè)試樣板而發(fā)送給所述控制裝置的測(cè)試樣板生成部。

3.根據(jù)權(quán)利要求1或2所述的程序驗(yàn)證系統(tǒng)，其特征在于，

所述存儲(chǔ)部包含：

第1存儲(chǔ)部，其對(duì)所述測(cè)試樣板進(jìn)行存儲(chǔ)；

第2存儲(chǔ)部，其對(duì)來自所述輸入輸出裝置的所述控制輸入數(shù)據(jù)進(jìn)行存儲(chǔ)；以及

第3存儲(chǔ)部，其對(duì)向所述輸入輸出裝置輸出的所述控制輸出數(shù)據(jù)進(jìn)行存儲(chǔ)，

在進(jìn)行所述控制程序的動(dòng)作驗(yàn)證時(shí)，如果在所述控制程序中存在對(duì)從所述輸入輸出裝置輸入的所述控制輸入數(shù)據(jù)進(jìn)行參照的命令，則所述控制部基于所述第1時(shí)間信息從所述測(cè)試樣板內(nèi)提取所述測(cè)試輸入數(shù)據(jù)而儲(chǔ)存于所述第2存儲(chǔ)部，且使用提取出的所述測(cè)試輸入數(shù)據(jù)及所述控制程序計(jì)算所述控制輸出數(shù)據(jù)而儲(chǔ)存于所述第3存儲(chǔ)部，且將所述第2存儲(chǔ)部?jī)?nèi)的所述測(cè)試輸入數(shù)據(jù)及所述第3存儲(chǔ)部?jī)?nèi)的所述控制輸出數(shù)據(jù)發(fā)送給所述比對(duì)部，

所述比對(duì)部使用與來自所述控制部的所述測(cè)試輸入數(shù)據(jù)對(duì)應(yīng)的所述測(cè)試輸出數(shù)據(jù)進(jìn)行所述動(dòng)作驗(yàn)證。

4.根據(jù)權(quán)利要求1至3中任一項(xiàng)所述的程序驗(yàn)證系統(tǒng)，其特征在于，

所述控制裝置還具有生成所述第1時(shí)間信息的時(shí)間信息生成部，

所述測(cè)試樣板是將所述測(cè)試輸入數(shù)據(jù)、所述測(cè)試輸出數(shù)據(jù)、與所述第1時(shí)間信息對(duì)應(yīng)的時(shí)間的信息即第2時(shí)間信息進(jìn)行關(guān)聯(lián)而成的，

所述比對(duì)部基于所述第1時(shí)間信息及所述第2時(shí)間信息，將由所述控制裝置計(jì)算出的所述控制輸出數(shù)據(jù)和所述測(cè)試樣板內(nèi)的所述測(cè)試輸出數(shù)據(jù)進(jìn)行比對(duì)。

5.根據(jù)權(quán)利要求2所述的程序驗(yàn)證系統(tǒng)，其特征在于，

所述測(cè)試樣板生成部基于所述裝置的動(dòng)作規(guī)格而生成所述測(cè)試樣板。

6.一種控制裝置，其特征在于，具有：

第1通信部，其被輸入來自進(jìn)行數(shù)據(jù)的輸入輸出的輸入輸出裝置的控制輸入數(shù)據(jù)；

控制部，其使用用于對(duì)裝置進(jìn)行控制的控制程序計(jì)算與所述控制輸入數(shù)據(jù)對(duì)應(yīng)的控制輸出數(shù)據(jù)；

第2通信部，其將所述控制輸出數(shù)據(jù)向所述輸入輸出裝置輸出；以及

存儲(chǔ)部，其對(duì)測(cè)試樣板進(jìn)行存儲(chǔ)，該測(cè)試樣板是滿足所述裝置的動(dòng)作規(guī)格的測(cè)試輸入數(shù)據(jù)與測(cè)試輸出數(shù)據(jù)的組合且示出隨時(shí)間的變化，

在進(jìn)行所述控制程序的動(dòng)作驗(yàn)證時(shí)，所述控制部生成本裝置內(nèi)的時(shí)間的信息即第1時(shí)間信息，并且從所述測(cè)試樣板內(nèi)提取與所述第1時(shí)間信息對(duì)應(yīng)的所述測(cè)試輸入數(shù)據(jù)，使用提取出的所述測(cè)試輸入數(shù)據(jù)及所述控制程序計(jì)算所述控制輸出數(shù)據(jù)。

7.根據(jù)權(quán)利要求6所述的控制裝置，其特征在于，

還具有比對(duì)部，該比對(duì)部通過將由所述控制部計(jì)算出的所述控制輸出數(shù)據(jù)和所述測(cè)試樣板進(jìn)行比對(duì)而進(jìn)行所述控制程序的動(dòng)作驗(yàn)證，

所述比對(duì)部將由所述控制裝置計(jì)算出的所述控制輸出數(shù)據(jù)和所述測(cè)試樣板內(nèi)的所述測(cè)試輸出數(shù)據(jù)進(jìn)行比對(duì)。

8.一種程序驗(yàn)證方法，其特征在于，包含下述步驟：

存儲(chǔ)步驟，控制裝置對(duì)測(cè)試樣板進(jìn)行存儲(chǔ)，該控制裝置被輸入來自進(jìn)行數(shù)據(jù)的輸入輸出的輸入輸出裝置的控制輸入數(shù)據(jù)，并且使用用于對(duì)裝置進(jìn)行控制的控制程序計(jì)算與所述控制輸入數(shù)據(jù)對(duì)應(yīng)的控制輸出數(shù)據(jù)而向所述輸入輸出裝置輸出，該測(cè)試樣板是滿足所述裝置的動(dòng)作規(guī)格的測(cè)試輸入數(shù)據(jù)與測(cè)試輸出數(shù)據(jù)的組合且示出隨時(shí)間的變化；

計(jì)算步驟，在進(jìn)行所述控制程序的動(dòng)作驗(yàn)證時(shí)，所述控制裝置生成所述控制裝置內(nèi)的時(shí)間的信息即第1時(shí)間信息，并且從所述測(cè)試樣板內(nèi)提取與所述第1時(shí)間信息對(duì)應(yīng)的所述測(cè)試輸入數(shù)據(jù)，使用提取出的所述測(cè)試輸入數(shù)據(jù)及所述控制程序計(jì)算所述控制輸出數(shù)據(jù)；以及

驗(yàn)證步驟，進(jìn)行所述控制程序的動(dòng)作驗(yàn)證的驗(yàn)證裝置通過將由所述控制裝置計(jì)算出的所述控制輸出數(shù)據(jù)和所述測(cè)試樣板內(nèi)的所述測(cè)試輸出數(shù)據(jù)進(jìn)行比對(duì)來進(jìn)行所述控制程序的動(dòng)作驗(yàn)證。