專(zhuān)利名稱(chēng)：試驗(yàn)表格生成裝置及其方法
技術(shù)領(lǐng)域：
本發(fā)明涉及在表示監(jiān)視控制系統(tǒng)的設(shè)備中的監(jiān)視控制的內(nèi)容的邏輯圖的試驗(yàn)中， 生成用于判斷該邏輯圖的合格與否的輸入值與輸出值的對(duì)應(yīng)表即試驗(yàn)表格的試驗(yàn)表格生成裝置及其方法。
背景技術(shù)：
監(jiān)視控制系統(tǒng)是對(duì)操縱員·監(jiān)視員提示來(lái)自溫度、壓力、位置、其他各種傳感器等成為監(jiān)視的對(duì)象的裝置的信息，并且通過(guò)操縱員·監(jiān)視員的操作來(lái)控制馬達(dá)、閥、 開(kāi)閉器、液壓裝置等各種裝置的系統(tǒng)，在發(fā)電廠、化工廠、受配電(power receiving and distributing)設(shè)備、上下水道等廣泛的領(lǐng)域中使用。在典型的監(jiān)視控制系統(tǒng)中，具備多個(gè)針對(duì)每個(gè)與成為監(jiān)視控制的對(duì)象的設(shè)備進(jìn)行信號(hào)的發(fā)送接收等處理被分割了的模塊，它們通過(guò)通信路徑結(jié)合，從而實(shí)現(xiàn)了各種處理。如電路圖那樣，使用用箭頭表示信號(hào)的輸入輸出方向的有向圖，來(lái)表示監(jiān)視控制系統(tǒng)的各模塊的處理內(nèi)容的情況較多。具體而言，將表示信號(hào)的處理的節(jié)點(diǎn)(以下有時(shí)稱(chēng)為“運(yùn)算元件”)、和連接節(jié)點(diǎn)間而表示信號(hào)的流動(dòng)的鏈路(以下有時(shí)稱(chēng)為“信號(hào)線(xiàn)”)組合起來(lái)表現(xiàn)各模塊的處理內(nèi)容。對(duì)于模塊的處理內(nèi)容，以前通過(guò)硬件電路固定地實(shí)現(xiàn)，但根據(jù)靈活性、性?xún)r(jià)比的觀點(diǎn)，近年來(lái)，安裝成數(shù)字計(jì)算機(jī)上的程序，以能夠在數(shù)字計(jì)算機(jī)上模擬動(dòng)作來(lái)實(shí)現(xiàn)處理的情況較多。作為用運(yùn)算元件和信號(hào)線(xiàn)來(lái)表現(xiàn)處理內(nèi)容的程序設(shè)計(jì)語(yǔ)言的標(biāo)準(zhǔn)，例如，可以舉出國(guó)際標(biāo)準(zhǔn)IEC61131-3。運(yùn)算元件用上述國(guó)際標(biāo)準(zhǔn)的FBD(Function Block Diagram，功能塊圖)來(lái)記述，將運(yùn)算元件和信號(hào)線(xiàn)組合來(lái)表現(xiàn)的處理內(nèi)容通過(guò)被稱(chēng)為邏輯圖的圖來(lái)表
7J\ ο另外，近年來(lái)，伴隨程序的大規(guī)模化，難以適合地抽出程序的試驗(yàn)項(xiàng)目。在調(diào)查表示監(jiān)視控制系統(tǒng)的監(jiān)視控制的邏輯圖是否正確的試驗(yàn)中，該現(xiàn)象也是同樣的。具體而言，需要在試驗(yàn)前制作記述了用于在試驗(yàn)時(shí)判斷邏輯圖的合格與否的輸入值以及輸出值(期待值)、試驗(yàn)項(xiàng)目等的試驗(yàn)表格，但由于針對(duì)多個(gè)輸入輸出信號(hào)分別進(jìn)行試驗(yàn)，所以試驗(yàn)的數(shù)量較多，該試驗(yàn)表格的內(nèi)容也往往變得龐大。然而，試驗(yàn)表格是由設(shè)計(jì)者等根據(jù)在監(jiān)視控制系統(tǒng)的設(shè)計(jì)階段制作的上游圖書(shū)以及邏輯圖，依賴(lài)于經(jīng)驗(yàn)等而通過(guò)手動(dòng)操作來(lái)制作的，所以不僅制作時(shí)間變長(zhǎng)，而且還有可能產(chǎn)生錯(cuò)誤、遺漏。另外，試驗(yàn)表格的制作是在項(xiàng)目抽出、試驗(yàn)順序中存在訣窮，所以利用上游圖書(shū)和邏輯圖的單純的自動(dòng)制作非常困難。這樣，在監(jiān)視控制系統(tǒng)中的邏輯圖的試驗(yàn)中，高效地進(jìn)行與該邏輯圖對(duì)應(yīng)的試驗(yàn)表格的制作成為課題。作為解決該問(wèn)題的技術(shù)的一個(gè)例子，在專(zhuān)利文獻(xiàn)1中，公開(kāi)了使用試驗(yàn)表格的雛型自動(dòng)生成邏輯圖的試驗(yàn)表格的技術(shù)。專(zhuān)利文獻(xiàn)1記載的電子的文件制作裝置具備模式匹配單元，使試驗(yàn)對(duì)象的邏輯圖和基本邏輯圖變形為整理了的運(yùn)算程序之后進(jìn)行模式匹配；試驗(yàn)表格取出單元，取出與一致的基本邏輯圖對(duì)應(yīng)的試驗(yàn)表格；信號(hào)抽出單元，使試驗(yàn)
4對(duì)象邏輯圖與基本邏輯圖的信號(hào)對(duì)應(yīng)而抽出信號(hào)；以及試驗(yàn)表格埋入單元，將試驗(yàn)表格中的基本邏輯圖的信號(hào)置換為成為對(duì)象的邏輯圖的信號(hào)。專(zhuān)利文獻(xiàn)1日本特開(kāi)2000-331056號(hào)公報(bào)

發(fā)明內(nèi)容
專(zhuān)利文獻(xiàn)1記載的電子的文件制作裝置進(jìn)行對(duì)象的邏輯圖與基本邏輯圖的匹配， 使用在匹配中一致的基本邏輯圖的試驗(yàn)表格，制作對(duì)象的試驗(yàn)表格。但是，在該技術(shù)中，需要進(jìn)行制作·準(zhǔn)備與基本邏輯圖相同的數(shù)量的成為雛型的試驗(yàn)表格的操作，所以如果基本邏輯圖的數(shù)量變多，則必需制作·準(zhǔn)備大量的試驗(yàn)表格，花費(fèi)該操作的勞力和時(shí)間。因此，本發(fā)明是鑒于上述那樣的問(wèn)題而完成的，其目的在于提供一種即使沒(méi)有制作·準(zhǔn)備期望的設(shè)備的試驗(yàn)表格，也可以自動(dòng)地生成該試驗(yàn)表格的技術(shù)。本發(fā)明的試驗(yàn)表格生成裝置，在表示監(jiān)視控制系統(tǒng)的設(shè)備中的監(jiān)視控制的內(nèi)容的邏輯圖的試驗(yàn)中，生成作為用于判斷該邏輯圖的合格與否的輸入值與輸出值的對(duì)應(yīng)表的試驗(yàn)表格。該試驗(yàn)表格生成裝置具備設(shè)備集合輸入部，從所述設(shè)備中，指定應(yīng)作為生成所述試驗(yàn)表格的對(duì)象的對(duì)象設(shè)備；上游圖書(shū)解析部，從作為與所述設(shè)備相關(guān)的信息的上游圖書(shū)中，取得與所述對(duì)象設(shè)備相關(guān)的所述上游圖書(shū)，解析該上游圖書(shū)；以及設(shè)備特性取得部，根據(jù)所述上游圖書(shū)解析部的解析結(jié)果，取得所述對(duì)象設(shè)備的設(shè)備特性。另外，具備設(shè)備特性匹配部，針對(duì)由所述設(shè)備特性取得部取得的所述對(duì)象設(shè)備的設(shè)備特性進(jìn)行匹配，確定具有與該對(duì)象設(shè)備相同的設(shè)備特性的類(lèi)似設(shè)備；以及試驗(yàn)表格生成部，取得所述類(lèi)似設(shè)備的所述試驗(yàn)表格，根據(jù)該試驗(yàn)表格，生成所述對(duì)象設(shè)備的所述試驗(yàn)表格。根據(jù)本發(fā)明，確定具有與對(duì)象設(shè)備相同的設(shè)備特性的類(lèi)似設(shè)備，將所確定的類(lèi)似設(shè)備的試驗(yàn)表格作為雛型，自動(dòng)生成對(duì)象設(shè)備的試驗(yàn)表格。因此，即使沒(méi)有制作 準(zhǔn)備對(duì)象設(shè)備的試驗(yàn)表格，也可以自動(dòng)地生成該試驗(yàn)表格。因此，可以相應(yīng)地省去操作的勞力以及時(shí)間。


圖1是示出實(shí)施方式1的試驗(yàn)表格生成裝置的結(jié)構(gòu)的圖。圖2是示出典型的監(jiān)視控制系統(tǒng)的結(jié)構(gòu)的圖。圖3是示出系統(tǒng)圖的圖。圖4是示出設(shè)備規(guī)格列表的圖。圖5是示出類(lèi)似設(shè)備的邏輯圖的圖。圖6是示出類(lèi)似設(shè)備的邏輯圖的試驗(yàn)中使用的試驗(yàn)表格的圖。圖7是示出類(lèi)似設(shè)備檢索部的動(dòng)作的流程圖。圖8是示出試驗(yàn)表格生成部的動(dòng)作的流程圖。圖9是示出實(shí)施方式1的對(duì)象設(shè)備的邏輯圖的圖。圖10是示出試驗(yàn)表格差分反映部生成的試驗(yàn)表格的圖。圖11是示出實(shí)施方式2的對(duì)象設(shè)備的邏輯圖的圖。圖12是示出試驗(yàn)表格生成部的動(dòng)作的流程圖。圖13是示出試驗(yàn)表格差分反映部生成的試驗(yàn)表格的圖。
圖14是示出實(shí)施方式3的試驗(yàn)表格生成裝置的結(jié)構(gòu)的圖。(附圖標(biāo)記說(shuō)明)1 設(shè)備集合輸入部；3 上游圖書(shū)解析部；4 設(shè)備特性取得部；5 設(shè)備特性匹配部；7 邏輯圖解析部；8 邏輯圖比較部；10 試驗(yàn)表格解析部；11 試驗(yàn)表格差分反映部； 14 試驗(yàn)表格生成部；20 試驗(yàn)表格有無(wú)判定部；22 試驗(yàn)表格追加登記部；60 63、80 83,100 103 輸入點(diǎn)；69 71,89 91,109 111 輸出點(diǎn)；DCl 系統(tǒng)圖。
具體實(shí)施例方式<實(shí)施方式1>圖1是示出本發(fā)明的實(shí)施方式1的試驗(yàn)表格生成裝置的結(jié)構(gòu)的圖。在本實(shí)施方式中，通過(guò)邏輯圖來(lái)表示監(jiān)視控制系統(tǒng)的設(shè)備中的監(jiān)視控制的內(nèi)容，本實(shí)施方式的試驗(yàn)表格生成裝置在該邏輯圖的試驗(yàn)中，生成作為用于判斷該邏輯圖的合格與否的輸入值與輸出值 (期待值)的對(duì)應(yīng)表的試驗(yàn)表格。示出設(shè)備的監(jiān)視控制的內(nèi)容的邏輯圖是圖5等所示的圖， 用于判斷該邏輯圖是否正確的試驗(yàn)表格是圖6等所示的表格。在后面詳細(xì)說(shuō)明這些邏輯圖以及試驗(yàn)表格。在本實(shí)施方式的試驗(yàn)表格生成裝置及其方法中，根據(jù)預(yù)先準(zhǔn)備的試驗(yàn)表格，自動(dòng)生成期望的設(shè)備的試驗(yàn)表格。以下，詳細(xì)說(shuō)明這樣的試驗(yàn)表格生成裝置。另外，在以下的說(shuō)明中，將監(jiān)視控制系統(tǒng)具備的、成為監(jiān)視控制的對(duì)象的多個(gè)設(shè)備簡(jiǎn)稱(chēng)為“多個(gè)設(shè)備”。如圖1所示，本實(shí)施方式的試驗(yàn)表格生成裝置具備設(shè)備集合輸入部1、保存有作為與多個(gè)設(shè)備相關(guān)的信息的上游圖書(shū)的上游圖書(shū)保存裝置2、上游圖書(shū)解析部3、設(shè)備特性取得部4、設(shè)備特性匹配部5、保存有多個(gè)設(shè)備的邏輯圖的邏輯圖保存裝置6、邏輯圖解析部7、 邏輯圖比較部8、保存有多個(gè)試驗(yàn)表格的輸入用試驗(yàn)表格保存裝置9、試驗(yàn)表格解析部10、 試驗(yàn)表格差分反映部11、以及輸出用試驗(yàn)表格保存裝置12。設(shè)備集合輸入部1接受來(lái)自試驗(yàn)表格制作者的操作。而且，設(shè)備集合輸入部1根據(jù)該操作，從多個(gè)設(shè)備中，將應(yīng)作為生成試驗(yàn)表格的對(duì)象的設(shè)備或者設(shè)備集合指定為對(duì)象設(shè)備。設(shè)備集合輸入部1將表示對(duì)象設(shè)備的信息輸出到類(lèi)似設(shè)備檢索部13以及試驗(yàn)表格生成部14。上游圖書(shū)解析部3從在上游圖書(shū)保存裝置2中保存的上游圖書(shū)中，取得與對(duì)象設(shè)備相關(guān)的上游圖書(shū)，進(jìn)行所取得的上游圖書(shū)的解析。上游圖書(shū)是在監(jiān)視控制系統(tǒng)的設(shè)計(jì)階段中制作的信息，在本實(shí)施方式中，包括后述圖3以及圖4所示的信息。設(shè)備特性取得部4 根據(jù)上游圖書(shū)解析部3的解析結(jié)果，取得與對(duì)象設(shè)備相關(guān)的設(shè)備特性。設(shè)備特性匹配部5 針對(duì)由設(shè)備特性取得部4取得的對(duì)象設(shè)備的設(shè)備特性進(jìn)行匹配，確定具有與該對(duì)象設(shè)備相同的設(shè)備特性(與該對(duì)象設(shè)備類(lèi)似)的類(lèi)似設(shè)備。類(lèi)似設(shè)備檢索部13由以上的上游圖書(shū)解析部3、設(shè)備特性取得部4以及設(shè)備特性匹配部5構(gòu)成，所以確定(檢索)設(shè)備特性與由設(shè)備集合輸入部1指定的對(duì)象設(shè)備類(lèi)似的類(lèi)似設(shè)備。類(lèi)似設(shè)備檢索部13將確定類(lèi)似設(shè)備的信息輸出到試驗(yàn)表格生成部14。邏輯圖解析部7從在邏輯圖保存裝置6中保存的邏輯圖中，取得關(guān)于由類(lèi)似設(shè)備檢索部13確定的類(lèi)似設(shè)備的邏輯圖、和關(guān)于對(duì)象設(shè)備的邏輯圖，解析這些邏輯圖。邏輯圖比較部8比較邏輯圖解析部7的解析結(jié)果(即，根據(jù)邏輯圖解析部7的解析結(jié)果)，抽出類(lèi)似設(shè)備的邏輯圖、與對(duì)象設(shè)備的邏輯圖之間的差分信息。試驗(yàn)表格解析部10從在輸入用試驗(yàn)表格保存裝置9中保存的試驗(yàn)表格中，取得關(guān)于由類(lèi)似設(shè)備檢索部13確定的類(lèi)似設(shè)備的試驗(yàn)表格而作為雛型，解析該試驗(yàn)表格。試驗(yàn)表格差分反映部11對(duì)試驗(yàn)表格解析部10取得了的試驗(yàn)表格，反映該解析結(jié)果、和由邏輯圖比較部8抽出的差分信息，生成對(duì)象設(shè)備的試驗(yàn)表格。所生成的對(duì)象設(shè)備的試驗(yàn)表格保存到輸出用試驗(yàn)表格保存裝置12中。試驗(yàn)表格生成部14由以上的邏輯圖解析部7、邏輯圖比較部8、試驗(yàn)表格解析部10 以及試驗(yàn)表格差分反映部11構(gòu)成，所以根據(jù)類(lèi)似設(shè)備的試驗(yàn)表格，生成對(duì)象設(shè)備的試驗(yàn)表格。圖2是示出典型的監(jiān)視控制系統(tǒng)M的結(jié)構(gòu)的圖。監(jiān)視控制系統(tǒng)M具有通過(guò)通信路徑53結(jié)合的4個(gè)模塊50。這些4個(gè)模塊50經(jīng)由通信路徑53相互進(jìn)行信號(hào)的發(fā)送接收。4個(gè)模塊50由運(yùn)算模塊50a、接口模塊50b、以及控制模塊50c、50d構(gòu)成?？刂颇K50c、50d分別控制應(yīng)作為監(jiān)視控制的對(duì)象的設(shè)備51a、51b(以下，在不區(qū)分設(shè)備51a、51b 的情況下有時(shí)稱(chēng)為“設(shè)備51”)。接口模塊50b與操縱員·監(jiān)視員52交換信息。運(yùn)算模塊 50a根據(jù)來(lái)自其他3個(gè)模塊50的信息來(lái)進(jìn)行計(jì)算等。圖3是示出作為上游圖書(shū)而在上游圖書(shū)保存裝置2中保存的系統(tǒng)圖DCl的圖。即， 本實(shí)施方式的上游圖書(shū)包括圖示了成為監(jiān)視控制系統(tǒng)M的監(jiān)視控制對(duì)象的設(shè)備51 (圖2) 彼此之間的相互連接關(guān)系的系統(tǒng)圖DC1。在圖3所示的例子中，監(jiān)視控制系統(tǒng)M由分別相當(dāng)于該設(shè)備51的、罐30、3個(gè)電動(dòng)泵31、32、33、3個(gè)空氣操作閥34、35、36、2個(gè)電動(dòng)閥37,38以及3個(gè)止回閥39、40、41、和將它們連接的配管構(gòu)成。具體而言，罐30經(jīng)由電動(dòng)泵32、33而與電動(dòng)閥37、38連接，并且還與電動(dòng)泵31連接。電動(dòng)泵31經(jīng)由空氣操作閥34、35、36與止回閥39、40、41連接。對(duì)各設(shè)備51附加了 “T-001”、“P-001”等各設(shè)備51固有的設(shè)備名稱(chēng)。圖4是示出作為上游圖書(shū)而在上游圖書(shū)保存裝置2中保存的設(shè)備規(guī)格列表DC2的圖。即，本實(shí)施方式的上游圖書(shū)不僅包括上述系統(tǒng)圖DC1，而且還包括記述了系統(tǒng)圖DCl中記述的多個(gè)設(shè)備51的設(shè)備規(guī)格的設(shè)備規(guī)格列表DC2。在圖4所示的例子中，作為多個(gè)設(shè)備51的設(shè)備規(guī)格，“設(shè)備名稱(chēng)”、表示設(shè)備51的種類(lèi)的“設(shè)備種類(lèi)”、表示設(shè)備51中的控制(操作)的種類(lèi)的“控制種類(lèi)”、表示設(shè)備51的廠家等的“制造商”、和設(shè)備51的“形式”被記述在設(shè)備規(guī)格列表DC2中?！翱刂品N類(lèi)”有例如僅通過(guò)“開(kāi)”按鈕和“關(guān)”按鈕來(lái)控制電動(dòng)泵的情況、對(duì)它們加上“鎖定”按鈕來(lái)控制電動(dòng)泵的情況等，例如與“類(lèi)型Α”、“類(lèi)型B”等對(duì)應(yīng)起來(lái)。另外，在設(shè)備規(guī)格列表DC2的“控制種類(lèi)”中記述的“_”意味著沒(méi)有被控制。圖5是示出邏輯圖保存裝置6中保存的邏輯圖LGl的一個(gè)例子的圖。該邏輯圖 LGl表示控制模塊50c (圖2、根據(jù)來(lái)自接口模塊50b以及控制模塊50d的輸入信號(hào)，對(duì)設(shè)備 51a進(jìn)行監(jiān)視控制的內(nèi)容(控制邏輯)。運(yùn)算元件60表示輸入來(lái)自對(duì)該設(shè)備51a以外的其他設(shè)備51b(圖2~)進(jìn)行控制的控制模塊50d的信號(hào)的、控制模塊50c中的輸入點(diǎn)。各運(yùn)算元件61、62、63表示輸入來(lái)自接口模塊50b (圖2)的信號(hào)的、控制模塊50c中的輸入點(diǎn)。此處，接口模塊50b對(duì)應(yīng)于操作器 75，從接口模塊50b輸入到控制模塊50c的輸入信號(hào)根據(jù)操作器75中的操縱員 監(jiān)視員52
7的操作而變化。在操作器75中，設(shè)置了 開(kāi)操作按鈕72，將與“開(kāi)”的操作對(duì)應(yīng)的輸入信號(hào)輸出到運(yùn)算元件61 ；閉操作按鈕73，將與“閉”的操作對(duì)應(yīng)的輸入信號(hào)輸出到運(yùn)算元件62 ； 以及鎖定操作按鈕74，將與“鎖定”的操作對(duì)應(yīng)的輸入信號(hào)輸出到運(yùn)算元件63。各運(yùn)算元件69、70、71表示對(duì)控制設(shè)備51乂圖幻的設(shè)備控制電路79輸出信號(hào)的、 控制模塊50c中的輸出點(diǎn)。另外，實(shí)際上，對(duì)設(shè)備控制電路79具備的設(shè)備控制部76、77、78， 分別分配了用于對(duì)設(shè)備51a等設(shè)備進(jìn)行操作(打開(kāi)(OPEN)、關(guān)閉(CLOSE)、鎖定(LOCK))的電路，但在該圖中，省略了這些電路的詳細(xì)結(jié)構(gòu)。以下，為易于理解說(shuō)明，有時(shí)將上述運(yùn)算元件60 63稱(chēng)為“輸入點(diǎn)60 63”，將上述運(yùn)算元件69 71稱(chēng)為“輸出點(diǎn)69 71”。在輸入點(diǎn)60 63以及輸出點(diǎn)69 71各自的右邊，作為屬性信息，如“01D”、“01A”等那樣附加了對(duì)應(yīng)的信號(hào)的名稱(chēng)。各運(yùn)算元件64、65、66是僅在輸入全部是“1”的情況下輸出“1”，在其他情況下輸出“0”的元件，即是對(duì)信號(hào)進(jìn)行邏輯與運(yùn)算(logical AND operation)的元件。運(yùn)算元件 67是在輸入是“0”的情況下輸出“1”，在輸入是“1”時(shí)輸出“0”的元件，即是對(duì)信號(hào)進(jìn)行邏輯非運(yùn)算(NOT operation)的元件。運(yùn)算元件68是每當(dāng)輸入從“0”變化為“ 1 ”時(shí)，使輸出的狀態(tài)從“0”反轉(zhuǎn)為“ 1”或者從“ 1”反轉(zhuǎn)為“0”而輸出的元件，即是具有1輸入觸發(fā)器 (single-input flip-flop)的功能的元件。在以下的說(shuō)明中，有時(shí)將運(yùn)算元件64 66稱(chēng)為“邏輯與元件64 66”，將運(yùn)算元件67稱(chēng)為“邏輯非元件67”，將運(yùn)算元件68稱(chēng)為“ 1輸入觸發(fā)器元件68”。來(lái)自輸入點(diǎn)63的信號(hào)在經(jīng)過(guò)了 1輸入觸發(fā)器元件68之后，分支成兩個(gè)。該分支后的一方的信號(hào)輸出到輸出點(diǎn)71，另一方的信號(hào)在經(jīng)過(guò)了邏輯非元件67之后，進(jìn)一步分支成兩個(gè)，分別輸出到二個(gè)邏輯與元件64、65。來(lái)自輸入點(diǎn)62的信號(hào)輸出到邏輯與元件65。邏輯與元件65將對(duì)來(lái)自輸入點(diǎn)62的信號(hào)與來(lái)自邏輯非元件67的信號(hào)進(jìn)行邏輯與而得到的信號(hào)輸出到輸出點(diǎn)70。來(lái)自輸入點(diǎn)61的信號(hào)輸出到邏輯與元件64。邏輯與元件64將對(duì)來(lái)自輸入點(diǎn)61的信號(hào)與來(lái)自邏輯非元件67的信號(hào)進(jìn)行邏輯與而得到的信號(hào)輸出到邏輯與元件66。來(lái)自輸入點(diǎn)60的信號(hào)輸出到邏輯與元件66。邏輯與元件66將對(duì)來(lái)自輸入點(diǎn)60 的信號(hào)與來(lái)自邏輯與元件64的信號(hào)進(jìn)行邏輯與而得到的信號(hào)輸出到輸出點(diǎn)69。在圖5所示的例子中，多個(gè)運(yùn)算元件60 71經(jīng)由信號(hào)線(xiàn)連接，以進(jìn)行以上那樣的信號(hào)的輸入輸出。圖6是示出調(diào)查上述邏輯圖LG1、即控制模塊50c中的監(jiān)視控制的內(nèi)容是否正確的試驗(yàn)中使用的試驗(yàn)表格TBl的一部分的圖。如該圖6所示，在試驗(yàn)表格TBl中，將用于判斷邏輯圖LGl的合格與否的輸入值和輸出值(期待值)對(duì)應(yīng)起來(lái)。更具體而言，在試驗(yàn)表格TBl中，從圖6的左面，依次主要記述了試驗(yàn)項(xiàng)目、操作器75的輸入操作、應(yīng)設(shè)定的輸入信號(hào)的輸入值(設(shè)定值)、以及應(yīng)被確認(rèn)為輸出信號(hào)的輸出的輸出值(確認(rèn)值)。另外，在圖6所示的試驗(yàn)表格TBl中，“輸入信號(hào)”的“01A”、“01B”、“01C”分別對(duì)應(yīng)于“操作器”的 “開(kāi)”、“閉”、“鎖定”。試驗(yàn)表格TBl中示出的試驗(yàn)按照從上格朝向下格的順序進(jìn)行，試驗(yàn)表格TBl的框內(nèi)顯示的“丨”這樣的箭頭表示該框內(nèi)的狀態(tài)與該框上格的試驗(yàn)項(xiàng)目的狀態(tài)相同。例如，記述了在開(kāi)始試驗(yàn)表格TBl的試驗(yàn)項(xiàng)目“按下‘開(kāi)’并保持”時(shí)，使“操作器”的“開(kāi)”從截止 (OFF)切換為接通(ON)，在邏輯圖LGl的試驗(yàn)時(shí)，如記述，將操作器75的開(kāi)操作用的開(kāi)操作按鈕72按下并保持。而且，確認(rèn)在該試驗(yàn)時(shí)輸入信號(hào)的“01A”以及輸出信號(hào)的“01E”成為“1”，除此以外成為“0”。另外，一般，在監(jiān)視控制系統(tǒng)中進(jìn)行控制處理的設(shè)備的設(shè)備特性類(lèi)似的情況較多， 其監(jiān)視控制處理也類(lèi)似的情況較多。于是，在監(jiān)視控制處理類(lèi)似的情況下，邏輯圖以及試驗(yàn)表格也類(lèi)似。因此，在本實(shí)施方式的試驗(yàn)表格生成裝置及其方法中，通過(guò)對(duì)上游圖書(shū)進(jìn)行解析并進(jìn)行設(shè)備特性的匹配，從多個(gè)設(shè)備中確定與對(duì)象設(shè)備類(lèi)似的類(lèi)似設(shè)備，將所確定的類(lèi)似設(shè)備的既存的試驗(yàn)表格(圖6)作為雛型，自動(dòng)地生成對(duì)象設(shè)備的試驗(yàn)表格(圖10)。因此， 可以省略制作對(duì)象設(shè)備的試驗(yàn)表格的操作，所以可以減輕設(shè)計(jì)者等的操作負(fù)擔(dān)。接下來(lái)，說(shuō)明這樣的本實(shí)施方式的試驗(yàn)表格生成裝置及其方法的動(dòng)作。圖7是示出類(lèi)似設(shè)備檢索部13(圖1)確定對(duì)象設(shè)備的類(lèi)似設(shè)備的動(dòng)作的流程圖， 圖8是示出試驗(yàn)表格生成部14(圖1)根據(jù)類(lèi)似設(shè)備的試驗(yàn)表格生成對(duì)象設(shè)備的試驗(yàn)表格的動(dòng)作的流程圖。以下，使用圖7以及圖8等，詳細(xì)說(shuō)明圖4所示的設(shè)備“V-005”在設(shè)備集合輸入部1中被指定為對(duì)象設(shè)備時(shí)的、本實(shí)施方式的試驗(yàn)表格生成裝置的動(dòng)作。首先，使用圖7，說(shuō)明類(lèi)似設(shè)備檢索部13確定對(duì)象設(shè)備“V-005”的類(lèi)似設(shè)備的動(dòng)作。在步驟SlOl中，上游圖書(shū)解析部3從上游圖書(shū)保存裝置2取得與在設(shè)備集合輸入部1中指定的對(duì)象設(shè)備“V-005”關(guān)聯(lián)的上游圖書(shū)。具體而言，上游圖書(shū)解析部3取得圖3 所示的系統(tǒng)圖DC1、和圖4所示的設(shè)備規(guī)格列表DC2，而作為該上游圖書(shū)。在步驟S102中，通過(guò)由上游圖書(shū)解析部3對(duì)設(shè)備規(guī)格列表DC2(設(shè)備種類(lèi)以及控制種類(lèi))進(jìn)行解析，設(shè)備特性取得部4取得對(duì)象設(shè)備“V-005”的設(shè)備特性(設(shè)備種類(lèi)以及控制種類(lèi))。在圖4所示的例子中，作為對(duì)象設(shè)備“V-005”的設(shè)備種類(lèi)以及控制種類(lèi)，分別取得“電動(dòng)閥A”以及“類(lèi)型C”。在步驟S103中，上游圖書(shū)解析部3對(duì)系統(tǒng)圖DCl進(jìn)行解析，檢索是否存在與對(duì)象設(shè)備“V-005”進(jìn)行比較的設(shè)備51(以下稱(chēng)為“比較設(shè)備”)。本步驟S103有時(shí)在后述步驟S107以及S109之后進(jìn)行，在該情況下本步驟S103進(jìn)行多次。此處，每當(dāng)進(jìn)行步驟S103 時(shí)，變更作為步驟S103中的檢索對(duì)象的比較設(shè)備。在本實(shí)施方式中，成為步驟S103的檢索對(duì)象的比較設(shè)備按照 “ T-OO 1”、“ P-OO l”、“P-002”、“ P-003”、“ V-OO l”、“V-002”、“ V-003”、 “V-004 ”、“V-005 ”、“V-006 ”、“V-007 ”、“V-008 ” 的順序逐個(gè)變更。在步驟S104中，上游圖書(shū)解析部3判定是否實(shí)現(xiàn)了步驟S103中的比較設(shè)備的檢索。在檢索到的情況下進(jìn)入到步驟S105，在沒(méi)有檢索到的情況下(在本實(shí)施方式中，已經(jīng)檢索至“V-008”時(shí))結(jié)束動(dòng)作。在步驟S105中，與步驟S102同樣地，通過(guò)由上游圖書(shū)解析部3對(duì)設(shè)備規(guī)格列表 DC2(設(shè)備種類(lèi)以及控制種類(lèi))進(jìn)行解析，設(shè)備特性取得部4取得比較設(shè)備的設(shè)備特性(設(shè)備種類(lèi)以及控制種類(lèi))。例如，在本實(shí)施方式中最初進(jìn)行了本步驟S105的情況下，設(shè)備特性取得部4取得“T-001”的設(shè)備種類(lèi)以及控制種類(lèi)、即“罐”以及“_”。在步驟S106中，設(shè)備特性匹配部5執(zhí)行如下匹配對(duì)比較設(shè)備的設(shè)備種類(lèi)以及控制種類(lèi)、與對(duì)象設(shè)備“V-005”的設(shè)備種類(lèi)以及控制種類(lèi)進(jìn)行比較，判定它們是否一致。在步驟S107中，設(shè)備特性匹配部5在該匹配中判定為一致的情況下進(jìn)入到步驟S108，在判定為不一致的情況下返回到步驟S103。
例如，在本實(shí)施方式中最初進(jìn)行了步驟S106以及S107的情況下，設(shè)備特性匹配部 5進(jìn)行比較設(shè)備“T-001”的設(shè)備種類(lèi)以及控制種類(lèi)、與對(duì)象設(shè)備“V-005”的設(shè)備種類(lèi)以及控制種類(lèi)的匹配。比較設(shè)備“T-001”的設(shè)備種類(lèi)以及控制種類(lèi)是“罐”以及“_”，且對(duì)象設(shè)備 “V-005”的設(shè)備種類(lèi)以及控制種類(lèi)是“電動(dòng)閥A”以及“類(lèi)型C”，所以判定為它們相互不一致，其結(jié)果，返回到步驟S103。之后，以上的步驟S103 S107進(jìn)行多次，在設(shè)備“V-004”(設(shè)備種類(lèi)“電動(dòng)閥”以及控制種類(lèi)“類(lèi)型C”)成為比較設(shè)備的情況下，進(jìn)入到步驟S108。在步驟S108中，針對(duì)在步驟S107中判定為匹配的比較設(shè)備和對(duì)象設(shè)備的各個(gè)，上游圖書(shū)解析部3解析系統(tǒng)圖DCl的拓?fù)洌O(shè)備特性取得部4根據(jù)該解析結(jié)果，取得這些設(shè)備的設(shè)備特性(連接關(guān)系)。在步驟S109中，設(shè)備特性匹配部5判定比較設(shè)備的連接關(guān)系、與對(duì)象設(shè)備“V-005” 的連接關(guān)系是否類(lèi)似。而且，在該步驟S109中判定為比較設(shè)備與對(duì)象設(shè)備處于類(lèi)似連接關(guān)系的情況下，將該比較設(shè)備作為類(lèi)似設(shè)備，并且結(jié)束圖7所示的動(dòng)作，否則返回到步驟 S103。由此，直至在步驟S109中判定為處于類(lèi)似連接關(guān)系，重復(fù)以上的動(dòng)作。在舉出具體例來(lái)說(shuō)明時(shí)，比較設(shè)備“V-004”連接到“T-001”、“P-002”的下游，對(duì)象設(shè)備“V-005”連接到“Τ-001”、“Ρ-003”的下游，它們相當(dāng)于并聯(lián)連接關(guān)系。進(jìn)而，“Ρ-002” 和“Ρ-003”的設(shè)備特性(設(shè)備種類(lèi)以及控制種類(lèi))相同，所以設(shè)備特性匹配部5判定為比較設(shè)備“V-004”與對(duì)象設(shè)備“V-005”處于類(lèi)似連接關(guān)系。因此，通過(guò)圖7所示的動(dòng)作，在類(lèi)似設(shè)備檢索部13中，設(shè)備“V-004”被確定為對(duì)象設(shè)備“V-005”的類(lèi)似設(shè)備。接下來(lái)，使用圖8，說(shuō)明試驗(yàn)表格生成部14將類(lèi)似設(shè)備“V-004”的試驗(yàn)表格用作雛型，生成對(duì)象設(shè)備“V-005”的試驗(yàn)表格的動(dòng)作。另外，在以下的說(shuō)明中，設(shè)圖5所示的邏輯圖LGl是類(lèi)似設(shè)備“V-004”的邏輯圖，圖6所示的試驗(yàn)表格TBl是類(lèi)似設(shè)備“V-004”的試驗(yàn)表格。另外，設(shè)在圖9中示出了對(duì)象設(shè)備“V-005”的邏輯圖LG2。另外，設(shè)邏輯圖LG1、LG2 保存在邏輯圖保存裝置6 (圖1)中，試驗(yàn)表格TBl保存在輸入用試驗(yàn)表格保存裝置9 (圖1) 中。在步驟S201中，邏輯圖解析部7從邏輯圖保存裝置6取得由設(shè)備集合輸入部1指定的對(duì)象設(shè)備“V-005”的邏輯圖LG2、和由類(lèi)似設(shè)備檢索部13確定的類(lèi)似設(shè)備“V-004”的邏輯圖LGl。在步驟S202中，邏輯圖解析部7將二個(gè)邏輯圖LGl、LG2的輸入輸出點(diǎn)對(duì)應(yīng)起來(lái)。 此處，邏輯圖解析部7根據(jù)操作器75、95與輸入點(diǎn)61 63、81 83的連接關(guān)系，將邏輯圖 LGl的輸入點(diǎn)61 ( “0認(rèn)”)、輸入點(diǎn)62( “01B”)以及輸入點(diǎn)63 ( “01C”)、和邏輯圖LG2的輸入點(diǎn)81 ( “02六”)、輸入點(diǎn)82( “02B”)以及輸入點(diǎn)83 ( “02C”)分別對(duì)應(yīng)起來(lái)。而且，邏輯圖解析部7將邏輯圖LGl的剩余的輸入點(diǎn)60( “01D”)、和邏輯圖LG2的剩余的輸入點(diǎn) 80 ( “02D”)對(duì)應(yīng)起來(lái)。另外，在該步驟S202中，邏輯圖解析部7根據(jù)設(shè)備控制電路79、99與輸出點(diǎn)69 71、89 91的連接關(guān)系，將邏輯圖LGl的輸出點(diǎn)69( “01E”)、輸出點(diǎn)70 ( “01F”)以及輸出點(diǎn)71( “01G”)、和邏輯圖LG2的輸出點(diǎn)89( “02E”)、輸出點(diǎn)90 ( “02F”)以及輸出點(diǎn) 91 ( “02G”)分別對(duì)應(yīng)起來(lái)。在步驟S203中，邏輯圖比較部8從對(duì)應(yīng)起來(lái)的輸入輸出點(diǎn)的輸入點(diǎn)60 63、80 83朝向輸出點(diǎn)69 71、89 91 一邊追尋信號(hào)線(xiàn)一邊比較運(yùn)算元件。在邏輯圖LGl (圖5)、與邏輯圖LG2(圖9)的該比較中，在運(yùn)算元件的種類(lèi)等中沒(méi)有差異點(diǎn)，所以不會(huì)檢測(cè)出運(yùn)算元件的差分，而追尋到該輸出點(diǎn)。在步驟S204中，邏輯圖比較部8從運(yùn)算元件的比較結(jié)果，抽出二個(gè)邏輯圖LG1、LG2 的二種差分信息(此處是控制邏輯以及信號(hào)名稱(chēng)的差分信息)。關(guān)于二種差分信息中的控制邏輯的差分信息，邏輯圖比較部8檢測(cè)在步驟S203中對(duì)應(yīng)起來(lái)的運(yùn)算元件以外的運(yùn)算元件而作為控制邏輯的差分信息。在邏輯圖比較部8針對(duì)圖5所示的邏輯圖LGl和圖9所示的邏輯圖LG2進(jìn)行了該檢測(cè)的情況下，由于在這些邏輯圖中僅存在在步驟S203中對(duì)應(yīng)起來(lái)了的運(yùn)算元件，所以檢測(cè)不到控制邏輯的差分信息。另夕卜，對(duì)于在控制邏輯中存在差分的情況，在實(shí)施方式2中說(shuō)明。關(guān)于二種差分信息中的信號(hào)名稱(chēng)的差分信息，邏輯圖比較部8對(duì)在步驟S203中對(duì)應(yīng)起來(lái)的運(yùn)算元件彼此的信號(hào)名稱(chēng)的差分信息進(jìn)行檢測(cè)。在邏輯圖比較部8針對(duì)圖5所示的邏輯圖LGl和圖9所示的邏輯圖LG2進(jìn)行了該檢測(cè)的情況下，檢測(cè)邏輯圖LGl中的信號(hào)名稱(chēng)“01A”、“01B”、“01C”、“01E”、“01F”、“01G”、和邏輯圖 LG2 中的信號(hào)名稱(chēng)“02A”、“02B”、 “02C”、“02E”、“02F”、“02G”，而作為信號(hào)名稱(chēng)的差分信息。在步驟S205中，試驗(yàn)表格解析部10從輸入用試驗(yàn)表格保存裝置9取得由類(lèi)似設(shè)備檢索部13確定的類(lèi)似設(shè)備“V-004”的試驗(yàn)表格TBl (圖6)。圖10是示出通過(guò)由試驗(yàn)表格差分反映部11進(jìn)行步驟S206而生成的對(duì)象設(shè)備 “V-005”的試驗(yàn)表格TB2的圖。在步驟S206中，試驗(yàn)表格差分反映部11通過(guò)針對(duì)試驗(yàn)表格解析部10取得了的試驗(yàn)表格TBl，進(jìn)行在步驟S204中取得的差分信息(信號(hào)名稱(chēng)的差分信息)的反映，生成圖10所示的試驗(yàn)表格TB2。具體而言，試驗(yàn)表格差分反映部11將該取得的試驗(yàn)表格TBl中的信號(hào)名稱(chēng)“01A”、“01B”、“01C”、“01E”、“01F”、“01G”分別改寫(xiě)為信號(hào)名稱(chēng) “02A”、“02B”、“02C”、“02E”、“02F”、“02G”。以上，試驗(yàn)表格差分反映部11生成對(duì)象設(shè)備“V-005”的試驗(yàn)表格TB2。而且，試驗(yàn)表格差分反映部11將所生成的試驗(yàn)表格TB2保存到輸出用試驗(yàn)表格保存裝置12中。根據(jù)以上那樣的本實(shí)施方式的試驗(yàn)表格生成裝置及其方法，確定具有與對(duì)象設(shè)備相同的設(shè)備特性的類(lèi)似設(shè)備，將所確定的類(lèi)似設(shè)備的試驗(yàn)表格TBl作為雛型，自動(dòng)生成對(duì)象設(shè)備的試驗(yàn)表格TB2。因此，即使沒(méi)有制作 準(zhǔn)備期望的設(shè)備的試驗(yàn)表格，也可以自動(dòng)地生成該試驗(yàn)表格，所以可以相應(yīng)地省去操作的勞力以及時(shí)間。另外，在與以往的試驗(yàn)表格生成裝置進(jìn)行比較時(shí)，在以往的試驗(yàn)表格生成裝置中， 僅在對(duì)象設(shè)備的邏輯圖與雛型的邏輯圖完全匹配的情況下可以生成試驗(yàn)表格，所以存在試驗(yàn)表格的生成效率惡化這樣的問(wèn)題。相對(duì)于此，根據(jù)本實(shí)施方式的試驗(yàn)表格生成裝置及其方法，反映對(duì)象設(shè)備的邏輯圖LG2與類(lèi)似設(shè)備的邏輯圖LGl的差分來(lái)生成對(duì)象設(shè)備的試驗(yàn)表格TB2。因此，即使邏輯圖不完全一致，也可以生成對(duì)象設(shè)備的試驗(yàn)表格TB2，所以可以提供使用方便的試驗(yàn)表格生成裝置及其方法。另外，根據(jù)本實(shí)施方式的試驗(yàn)表格生成裝置及其方法，邏輯圖解析部7將對(duì)象設(shè)備的邏輯圖LG2和類(lèi)似設(shè)備的邏輯圖LGl的輸入輸出點(diǎn)對(duì)應(yīng)起來(lái)，邏輯圖比較部8從對(duì)應(yīng)起來(lái)的輸入輸出點(diǎn)的一方的點(diǎn)(輸入點(diǎn))朝向另一方的點(diǎn)(輸出點(diǎn))一邊追尋信號(hào)線(xiàn)一邊對(duì)這些圖進(jìn)行比較，從而抽出差分信息。因此，可以從由各種連接模式構(gòu)成的邏輯圖，高精度地抽出差分信息。另外，在以上的說(shuō)明中，邏輯圖比較部8從輸入點(diǎn)朝向輸出點(diǎn)一邊追尋信號(hào)線(xiàn)一邊抽出了差分信息，但不限于此，也可以從輸出點(diǎn)朝向輸入點(diǎn)一邊追尋信號(hào)線(xiàn)一邊抽出差分信息。另外，根據(jù)本實(shí)施方式的試驗(yàn)表格生成裝置及其方法，上游圖書(shū)解析部3對(duì)圖示了監(jiān)視控制系統(tǒng)M的設(shè)備51彼此之間的相互連接關(guān)系的系統(tǒng)圖DCl進(jìn)行解析，設(shè)備特性取得部4根據(jù)該解析結(jié)果取得對(duì)象設(shè)備的設(shè)備特性。因此，可以實(shí)現(xiàn)高精度的類(lèi)似設(shè)備的確定，可以進(jìn)行更適合的試驗(yàn)表格的生成。另外，根據(jù)本實(shí)施方式的試驗(yàn)表格生成裝置及其方法，上游圖書(shū)解析部3對(duì)設(shè)備種類(lèi)以及控制種類(lèi)進(jìn)行解析，設(shè)備特性取得部4根據(jù)該解析結(jié)果取得對(duì)象設(shè)備的特性。因此，可以實(shí)現(xiàn)高精度的類(lèi)似設(shè)備的確定，可以進(jìn)行更適合的試驗(yàn)表格的生成。另外，在以上的說(shuō)明中，說(shuō)明了本實(shí)施方式的試驗(yàn)表格生成裝置生成設(shè)備“V-005” 的試驗(yàn)表格的動(dòng)作，但通過(guò)針對(duì)除此以外的設(shè)備51也與設(shè)備“V-005”同樣地動(dòng)作，針對(duì)該設(shè)備51也可以生成試驗(yàn)表格。另外，在本實(shí)施方式中，說(shuō)明了與如圖9所示的非常簡(jiǎn)單的邏輯圖相關(guān)的試驗(yàn)表格生成，但不限于這樣的單純的情形。例如，如果模塊50內(nèi)的動(dòng)作變得大規(guī)模，則難以在一張邏輯圖中記述舉動(dòng)，而通過(guò)多個(gè)圖來(lái)表現(xiàn)的情況較多。此時(shí)，在各圖中，采取用符號(hào)來(lái)表示從一個(gè)圖向其他圖的信號(hào)等措施而保存連接關(guān)系，并遍及多個(gè)圖進(jìn)行邏輯圖之間的比較即可。另外，在本實(shí)施方式中，設(shè)成設(shè)備特性是設(shè)備規(guī)格列表DC2 (設(shè)備種類(lèi)以及控制種類(lèi))以及系統(tǒng)圖DCl而進(jìn)行了說(shuō)明。但是，設(shè)備特性也可以?xún)H是設(shè)備種類(lèi)以及控制種類(lèi)，或者，設(shè)備特性也可以?xún)H是系統(tǒng)圖DCl。在該情況下，雖然與本實(shí)施方式中說(shuō)明的情況相比，類(lèi)似設(shè)備的類(lèi)似精度變低，但可以提高生成試驗(yàn)表格的可能性。另外，設(shè)備特性不限于設(shè)備種類(lèi)、控制種類(lèi)以及系統(tǒng)圖DCl這3種。另外，在需要從系統(tǒng)圖DC1、設(shè)備規(guī)格列表DC2以外的圖書(shū)取得設(shè)備特性的情況下，只要使用用于解析相應(yīng)的圖書(shū)的上游圖書(shū)解析部3，就可以與上述同樣地取得設(shè)備特性。<實(shí)施方式2>在本實(shí)施方式2中，說(shuō)明在實(shí)施方式1的步驟S204中，在對(duì)象設(shè)備的邏輯圖與類(lèi)似設(shè)備的邏輯圖之間存在控制邏輯的差分的情況下的試驗(yàn)表格生成裝置的動(dòng)作及其方法。 另外，在以下的說(shuō)明中，設(shè)與實(shí)施方式1同樣地，在設(shè)備集合輸入部1中指定設(shè)備“ν-005”， 在類(lèi)似設(shè)備檢索部13中確定設(shè)備“V-004”。另外，設(shè)本實(shí)施方式的對(duì)象設(shè)備“V-005”的邏輯圖是圖11所示的邏輯圖LG3。圖 11所示的邏輯圖LG3分別與邏輯圖LGl (圖5)以及邏輯圖LG2(圖9)相比，左側(cè)的部分的控制邏輯不同。在該情況下，試驗(yàn)表格生成裝置的試驗(yàn)表格生成部14進(jìn)行與在實(shí)施方式1 中說(shuō)明的動(dòng)作稍微不同的動(dòng)作。圖12是示出對(duì)象設(shè)備的邏輯圖與類(lèi)似設(shè)備的邏輯圖不同的情況下的、試驗(yàn)表格生成裝置(試驗(yàn)表格生成部14)的動(dòng)作的流程圖。在步驟S201 S206中，進(jìn)行與實(shí)施方式1實(shí)質(zhì)上同樣的動(dòng)作，在本實(shí)施方式中是追加了步驟S207這一點(diǎn)與實(shí)施方式1有很大不同。在步驟S201中，邏輯圖解析部7從邏輯圖保存裝置6取得由設(shè)備集合輸入部1指定的對(duì)象設(shè)備“V-005”的邏輯圖LG3、和由類(lèi)似設(shè)備檢索部13確定的類(lèi)似設(shè)備“V-004”的邏輯圖LGl。在步驟S202中，邏輯圖解析部7將二個(gè)邏輯圖LGl、LG3的輸入輸出點(diǎn)對(duì)應(yīng)起來(lái)。 此處，邏輯圖解析部7根據(jù)操作器75、115與輸入點(diǎn)61 63、101 103的連接關(guān)系，將邏輯圖LGl的輸入點(diǎn)61 ( “0認(rèn)”)、輸入點(diǎn)62( “01B”)以及輸入點(diǎn)63 ( “01C”)、和邏輯圖LG3 的輸入點(diǎn)101( “02A”)、輸入點(diǎn)102( “02B”)以及輸入點(diǎn)103( “02C”)分別對(duì)應(yīng)起來(lái)。邏輯圖解析部7根據(jù)設(shè)備控制電路79、119與輸出點(diǎn)69 71、109 111的連接關(guān)系，將邏輯圖LGl的輸出點(diǎn)69( “01E”)、輸出點(diǎn)70( “01F”)以及輸出點(diǎn)71( “01G”)、和邏輯圖LG3的輸出點(diǎn)109( “02E”)、輸出點(diǎn)110( “02F”)以及輸出點(diǎn)111( “02G”)分別對(duì)應(yīng)起來(lái)。在步驟S203中，邏輯圖比較部8從對(duì)應(yīng)起來(lái)的輸入輸出點(diǎn)的輸入點(diǎn)60 63、 100 103朝向輸出點(diǎn)69 71、109 111 一邊追尋信號(hào)線(xiàn)一邊比較運(yùn)算元件。在邏輯圖 LGl (圖5)、與邏輯圖LG3(圖11)的該比較中，在運(yùn)算元件的種類(lèi)等中沒(méi)有差異點(diǎn)，所以檢測(cè)不到運(yùn)算元件的差分，而追尋到該輸出點(diǎn)。在步驟S204中，邏輯圖比較部8從運(yùn)算元件的比較結(jié)果，抽出二個(gè)邏輯圖LG1、LG2 的二種差分信息(此處是控制邏輯以及信號(hào)名稱(chēng)的差分信息)。關(guān)于二種差分信息中的控制邏輯的差分信息，邏輯圖比較部8檢測(cè)在步驟S203 中對(duì)應(yīng)起來(lái)的運(yùn)算元件以外的運(yùn)算元件而作為控制邏輯的差分信息。在邏輯圖比較部8 針對(duì)二個(gè)邏輯圖LG1、LG3進(jìn)行了該檢測(cè)的情況下，作為控制邏輯的差分信息檢測(cè)到邏輯圖LGl (圖5)中的輸入點(diǎn)60 ( “01D”)、和邏輯圖LG3(圖11)中的輸入點(diǎn)100( “01D”)、 120(“01K”)、邏輯非元件121、以及邏輯與元件122的組合對(duì)應(yīng)地不同這樣的信息；和在邏輯圖LG3(圖11)中加上了輸出點(diǎn)123( “02H”)的信息。關(guān)于二種差分信息中的信號(hào)名稱(chēng)的差分信息，邏輯圖比較部8對(duì)在步驟S203中對(duì)應(yīng)起來(lái)的運(yùn)算元件彼此的信號(hào)名稱(chēng)的差分信息進(jìn)行檢測(cè)。在邏輯圖比較部8針對(duì)圖5所示的邏輯圖LGl和圖11所示的邏輯圖LG3進(jìn)行了該檢測(cè)的情況下，檢測(cè)邏輯圖LGl中的信號(hào)名稱(chēng)“01A”、“01B”、“01C”、“01E”、“01F”、“01G”、和邏輯圖 LG2 中的信號(hào)名稱(chēng)“02A”、“02B”、 “02C”、“02E”、“02F”、“02G”，作為信號(hào)名稱(chēng)的差分信息。在步驟S205中，試驗(yàn)表格解析部10從輸入用試驗(yàn)表格保存裝置9取得由類(lèi)似設(shè)備檢索部13確定的類(lèi)似設(shè)備“V-004”的試驗(yàn)表格TBl (圖6)。圖13是示出通過(guò)由試驗(yàn)表格差分反映部11進(jìn)行步驟S206以及S207而生成的對(duì)象設(shè)備“V-005”的試驗(yàn)表格TB3的圖。在步驟S206中，試驗(yàn)表格差分反映部11針對(duì)試驗(yàn)表格解析部10取得了的試驗(yàn)表格TB1，進(jìn)行在步驟S204中取得的差分信息(信號(hào)名稱(chēng)的差分信息)的反映。具體而言，試驗(yàn)表格差分反映部11將該取得的試驗(yàn)表格TBl中的信號(hào)名稱(chēng)“01A”、“01B”、“01C”、“01E”、 “01F”、“01G”分別改寫(xiě)為信號(hào)名稱(chēng)“02A”、“02B”、“02C”、“02E”、“02F”、“02G，，。在步驟S207中，試驗(yàn)表格差分反映部11針對(duì)信號(hào)名稱(chēng)被改寫(xiě)了的試驗(yàn)表格TB1， 進(jìn)行在步驟S204中取得的差分信息(控制邏輯的差分信息)的反映。具體而言，由于邏輯圖LGl中的輸入點(diǎn)60 “01D”、和邏輯圖LG3中的輸入點(diǎn) 100( “01D”)、120( “01K”)、邏輯非元件121、以及邏輯與元件122的組合是對(duì)應(yīng)的，所以試驗(yàn)表格差分反映部11在信號(hào)名稱(chēng)被改寫(xiě)了的試驗(yàn)表格中，對(duì)“輸入點(diǎn)”的部分追加“01K”的列。而且，試驗(yàn)表格差分反映部11在該試驗(yàn)表格中的輸入點(diǎn)100 “01D”的設(shè)定值是“0” 的情況下，使輸入點(diǎn)100 “01D”的設(shè)定值成為“0”，并且，使輸入點(diǎn)120 “01K”的設(shè)定值成為“0”。另一方面，試驗(yàn)表格差分反映部11在試驗(yàn)表格中的輸入點(diǎn)100 “01D”的設(shè)定值是 “1”的情況下，使輸入點(diǎn)100 “01D”的設(shè)定值成為“0”，并且，使輸入點(diǎn)120 “01K”的設(shè)定值成為“1”。另外，試驗(yàn)表格差分反映部11針對(duì)試驗(yàn)表格的“試驗(yàn)項(xiàng)目”也反映上述差分信息。 具體而言，試驗(yàn)表格差分反映部11將進(jìn)行了以上的變更的試驗(yàn)表格的第4行從“使OlD成為接通”變更為“使OlK成為接通”，將該試驗(yàn)表格的第9行從“使OlD成為截止”變更為“使 OlK成為截止”。進(jìn)而，試驗(yàn)表格差分反映部11，在進(jìn)行了以上的變更的試驗(yàn)表格中，對(duì)“輸出點(diǎn)”的部分追加“02H”的列，對(duì)該列原樣地寫(xiě)入輸出點(diǎn)109( “02E”)的列的確認(rèn)值。以上，試驗(yàn)表格差分反映部11生成對(duì)象設(shè)備“V-005”的試驗(yàn)表格TB3。而且，試驗(yàn)表格差分反映部11將所生成的試驗(yàn)表格TB3保存到輸出用試驗(yàn)表格保存裝置12中?！磳?shí)施方式3>圖14是示出本發(fā)明的實(shí)施方式3的試驗(yàn)表格生成裝置的結(jié)構(gòu)的圖。另外，在本實(shí)施方式的試驗(yàn)表格生成裝置等中，對(duì)與實(shí)施方式1同樣的結(jié)構(gòu)要素，附加相同符號(hào)，以與它們不同的部分為中心進(jìn)行說(shuō)明。如圖14所示，本實(shí)施方式的試驗(yàn)表格生成裝置是在實(shí)施方式1的試驗(yàn)表格生成裝置中，具備試驗(yàn)表格有無(wú)判定部20、顯示操作部21、以及試驗(yàn)表格追加登記部22。顯示操作部21具有作為對(duì)外部顯示文字·圖像等的顯示部的功能，并且具有作為接受新的試驗(yàn)表格的登記操作的操作部的功能。在該顯示操作部21中，例如，使用觸摸面板。從指定設(shè)備集合輸入部1中的對(duì)象設(shè)備的操作至利用類(lèi)似設(shè)備檢索部13的類(lèi)似設(shè)備的確定為止的動(dòng)作與實(shí)施方式1相同。試驗(yàn)表格有無(wú)判定部20判定類(lèi)似設(shè)備檢索部 13確定的類(lèi)似設(shè)備的試驗(yàn)表格是否保存于輸入用試驗(yàn)表格保存裝置9中。S卩，試驗(yàn)表格有無(wú)判定部20判定由設(shè)備特性匹配部5確定的類(lèi)似設(shè)備的試驗(yàn)表格是否存在于規(guī)定的多個(gè)試驗(yàn)表格中。在由試驗(yàn)表格有無(wú)判定部20判定為存在類(lèi)似設(shè)備的試驗(yàn)表格的情況下，利用試驗(yàn)表格生成裝置(試驗(yàn)表格生成部14)進(jìn)行的以后的試驗(yàn)表格生成動(dòng)作與實(shí)施方式1相同。在由試驗(yàn)表格有無(wú)判定部20判定為不存在類(lèi)似設(shè)備的試驗(yàn)表格的情況下，顯示操作部21顯示并通知不存在類(lèi)似設(shè)備的試驗(yàn)表格的意思。在該情況下，即在類(lèi)似設(shè)備的試驗(yàn)表格不存在于輸入用試驗(yàn)表格保存裝置9內(nèi)的情況下，無(wú)法進(jìn)行對(duì)象設(shè)備的試驗(yàn)表格的自動(dòng)生成，所以通過(guò)手動(dòng)操作制作試驗(yàn)表格。如果在通過(guò)外部操作新制作了對(duì)象設(shè)備的試驗(yàn)表格之后，操作了顯示操作部21， 則對(duì)試驗(yàn)表格追加登記部22指示該試驗(yàn)表格的登記。另外，以下，有時(shí)將通過(guò)外部操作制作的該試驗(yàn)表格稱(chēng)為“制作試驗(yàn)表格”。接受顯示操作部21中的制作試驗(yàn)表格的登記指示后，試驗(yàn)表格追加登記部22將該制作試驗(yàn)表格作為規(guī)定的多個(gè)試驗(yàn)表格之一，而追加登記到輸入用試驗(yàn)表格保存裝置9中。根據(jù)以上那樣的本實(shí)施方式的試驗(yàn)表格生成裝置，在自身中不存在類(lèi)似設(shè)備的試驗(yàn)表格的情況下，追加登記制作試驗(yàn)表格，之后，追加登記了的制作試驗(yàn)表格被用作類(lèi)似設(shè)
14備的試驗(yàn)表格。因此，可以增加類(lèi)似設(shè)備的試驗(yàn)表格的種類(lèi)，所以可以提高之后生成對(duì)象設(shè)備的試驗(yàn)表格的可能性。
權(quán)利要求
1.一種試驗(yàn)表格生成裝置，在邏輯圖的試驗(yàn)中，生成作為用于判斷該邏輯圖的合格與否的輸入值與輸出值的對(duì)應(yīng)表的試驗(yàn)表格，其中，該邏輯圖是表示監(jiān)視控制系統(tǒng)的設(shè)備中的監(jiān)視控制內(nèi)容的邏輯圖，該試驗(yàn)表格生成裝置具備設(shè)備集合輸入部，從所述設(shè)備中指定應(yīng)作為生成所述試驗(yàn)表格的對(duì)象的對(duì)象設(shè)備； 上游圖書(shū)解析部，從作為與所述設(shè)備相關(guān)的信息的上游圖書(shū)中，取得與所述對(duì)象設(shè)備相關(guān)的所述上游圖書(shū)，解析該上游圖書(shū)；設(shè)備特性取得部，根據(jù)所述上游圖書(shū)解析部的解析結(jié)果，取得所述對(duì)象設(shè)備的設(shè)備特性；設(shè)備特性匹配部，對(duì)由所述設(shè)備特性取得部取得的所述對(duì)象設(shè)備的設(shè)備特性進(jìn)行匹配，確定具有與該對(duì)象設(shè)備相同的設(shè)備特性的類(lèi)似設(shè)備；以及試驗(yàn)表格生成部，取得所述類(lèi)似設(shè)備的所述試驗(yàn)表格，根據(jù)該試驗(yàn)表格，生成所述對(duì)象設(shè)備的所述試驗(yàn)表格。
2.根據(jù)權(quán)利要求1所述的試驗(yàn)表格生成裝置，其特征在于， 所述試驗(yàn)表格生成部具備邏輯圖解析部，從所述設(shè)備的邏輯圖中，取得所述類(lèi)似設(shè)備的邏輯圖和所述對(duì)象設(shè)備的邏輯圖，解析這些邏輯圖；邏輯圖比較部，根據(jù)所述邏輯圖解析部的解析結(jié)果，抽出所述類(lèi)似設(shè)備的邏輯圖與所述對(duì)象設(shè)備的邏輯圖之間的差分信息；試驗(yàn)表格解析部，從規(guī)定的多個(gè)所述試驗(yàn)表格中取得由所述設(shè)備特性匹配部確定的所述類(lèi)似設(shè)備的所述試驗(yàn)表格；以及試驗(yàn)表格差分反映部，在由所述試驗(yàn)表格解析部取得的所述試驗(yàn)表格中反映所述差分信息，生成所述對(duì)象設(shè)備的所述試驗(yàn)表格。
3.根據(jù)權(quán)利要求2所述的試驗(yàn)表格生成裝置，其特征在于，所述邏輯圖解析部將在所述類(lèi)似設(shè)備的邏輯圖中示出的該類(lèi)似設(shè)備的輸入輸出點(diǎn)和在所述對(duì)象設(shè)備的邏輯圖中示出的該對(duì)象設(shè)備的輸入輸出點(diǎn)對(duì)應(yīng)起來(lái)，所述邏輯圖比較部從對(duì)應(yīng)起來(lái)的輸入輸出點(diǎn)中的一方的點(diǎn)朝向另一方的點(diǎn)一邊追尋信號(hào)線(xiàn)一邊對(duì)這些邏輯圖進(jìn)行比較，從而抽出所述差分信息。
4.根據(jù)權(quán)利要求1 3中的任一項(xiàng)所述的試驗(yàn)表格生成裝置，其特征在于，還具備 試驗(yàn)表格有無(wú)判定部，判定由所述設(shè)備特性匹配部確定的所述類(lèi)似設(shè)備的所述試驗(yàn)表格是否存在于所述規(guī)定的多個(gè)試驗(yàn)表格中；以及試驗(yàn)表格追加登記部，將通過(guò)外部操作制作出的制作試驗(yàn)表格作為所述規(guī)定的多個(gè)試驗(yàn)表格之一而進(jìn)行追加登記，在所述試驗(yàn)表格有無(wú)判定部中判定為不存在所述類(lèi)似設(shè)備的所述試驗(yàn)表格的情況下， 所述試驗(yàn)表格追加登記部將所述制作試驗(yàn)表格追加登記到所述規(guī)定的多個(gè)試驗(yàn)表格中。
5.根據(jù)權(quán)利要求1 3中的任一項(xiàng)所述的試驗(yàn)表格生成裝置，其特征在于，所述上游圖書(shū)包括圖示了所述監(jiān)視控制系統(tǒng)的所述設(shè)備彼此之間的相互連接關(guān)系的系統(tǒng)圖，所述上游圖書(shū)解析部對(duì)所述系統(tǒng)圖進(jìn)行解析。
6.根據(jù)權(quán)利要求1 3中的任一項(xiàng)所述的試驗(yàn)表格生成裝置，其特征在于，所述上游圖書(shū)包括表示所述監(jiān)視控制系統(tǒng)的所述設(shè)備的種類(lèi)的設(shè)備種類(lèi)和表示控制所述設(shè)備的方法的控制種類(lèi)，所述上游圖書(shū)解析部對(duì)所述設(shè)備種類(lèi)以及所述控制種類(lèi)進(jìn)行解析。
7. —種試驗(yàn)表格生成方法，在邏輯圖的試驗(yàn)中，生成作為用于判斷該邏輯圖的合格與否的輸入值與輸出值的對(duì)應(yīng)表的試驗(yàn)表格，其中，該邏輯圖是表示監(jiān)視控制系統(tǒng)的設(shè)備中的監(jiān)視控制內(nèi)容的邏輯圖，該試驗(yàn)表格生成方法具備(a)從所述設(shè)備中指定應(yīng)作為生成所述試驗(yàn)表格的對(duì)象的對(duì)象設(shè)備的工序；(b)從作為與所述設(shè)備相關(guān)的信息的上游圖書(shū)中，取得與所述對(duì)象設(shè)備相關(guān)的所述上游圖書(shū)，解析該上游圖書(shū)的工序；(c)根據(jù)所述工序(b)中的解析結(jié)果，取得所述對(duì)象設(shè)備的設(shè)備特性的工序；(d)對(duì)在所述工序(c)中取得的所述對(duì)象設(shè)備的設(shè)備特性進(jìn)行匹配，確定具有與該對(duì)象設(shè)備相同的設(shè)備特性的類(lèi)似設(shè)備的工序；以及(e)取得所述類(lèi)似設(shè)備的所述試驗(yàn)表格，根據(jù)該試驗(yàn)表格生成所述對(duì)象設(shè)備的所述試驗(yàn)表格的工序。
全文摘要
本發(fā)明提供一種試驗(yàn)表格生成裝置及其方法，其目的在于即使沒(méi)有制作·準(zhǔn)備期望的設(shè)備的試驗(yàn)表格，也可以自動(dòng)地生成該試驗(yàn)表格的技術(shù)。試驗(yàn)表格生成裝置具備設(shè)備集合輸入部(1)、上游圖書(shū)解析部(3)、設(shè)備特性取得部(4)、設(shè)備特性匹配部(5)、以及試驗(yàn)表格生成部(14)。上游圖書(shū)解析部(3)對(duì)作為由設(shè)備集合輸入部(1)指定的設(shè)備的對(duì)象設(shè)備的上游圖書(shū)進(jìn)行解析，設(shè)備特性取得部(4)根據(jù)該解析結(jié)果取得對(duì)象設(shè)備的設(shè)備特性。設(shè)備特性匹配部(5)針對(duì)該對(duì)象設(shè)備的設(shè)備特性進(jìn)行匹配，確定具有與該對(duì)象設(shè)備相同的設(shè)備特性的類(lèi)似設(shè)備。試驗(yàn)表格生成部(14)取得該類(lèi)似設(shè)備的試驗(yàn)表格，根據(jù)該試驗(yàn)表格生成對(duì)象設(shè)備的試驗(yàn)表格。
文檔編號(hào)G06F17/24GK102479175SQ20111021286
公開(kāi)日2012年5月30日 申請(qǐng)日期2011年7月28日 優(yōu)先權(quán)日2010年11月25日
發(fā)明者中川雅代, 吉永光伸, 津高新一郎 申請(qǐng)人:三菱電機(jī)株式會(huì)社