專利名稱:一種適于反應(yīng)堆保護(hù)系統(tǒng)的邏輯測(cè)試方法及裝置的制作方法
技術(shù)領(lǐng)域：
本發(fā)明涉及核電站領(lǐng)域，更具體地說，涉及一種適于反應(yīng)堆保護(hù)系統(tǒng)的邏輯測(cè)試方法及裝置。
背景技術(shù)：
反應(yīng)堆保護(hù)系統(tǒng)作為核電站的一個(gè)主要部分，其功用是保護(hù)三大核安全屏障(即燃料包殼、一回路壓力邊界和安全殼)的完整性，當(dāng)核電站的運(yùn)行參數(shù)達(dá)到危及三大屏障完整性的閾值時(shí)，反應(yīng)堆保護(hù)系統(tǒng)立即動(dòng)作，觸發(fā)反應(yīng)堆緊急停堆，必要時(shí)啟動(dòng)專設(shè)安全設(shè)施。
在反應(yīng)堆保護(hù)系統(tǒng)的邏輯設(shè)計(jì)時(shí)，首先對(duì)現(xiàn)場(chǎng)采集的數(shù)百個(gè)運(yùn)行參數(shù)進(jìn)行限值比較，然后進(jìn)行各種組合的邏輯處理，最終判斷是否輸出反應(yīng)堆跳堆信號(hào)或?qū)ＴO(shè)安全設(shè)施動(dòng)作信號(hào)。由于反應(yīng)堆保護(hù)系統(tǒng)的輸入與輸出間的邏輯關(guān)系極其復(fù)雜，且關(guān)系到核電站設(shè)計(jì)的安全性，因此這部分邏輯真值的正確性顯得尤為重要。
目前，在反應(yīng)堆保護(hù)系統(tǒng)的邏輯設(shè)計(jì)領(lǐng)域中，采用的測(cè)試方法普遍是手動(dòng)測(cè)試，SP根據(jù)測(cè)試程序按步驟手動(dòng)設(shè)置輸入變量，觀察并記錄輸出變量，其存在一定缺陷，如需根據(jù)測(cè)試程序設(shè)置操作界面，一旦測(cè)試程序調(diào)整，則相應(yīng)操作界面也需重新設(shè)置，較為不便；需測(cè)試人員手動(dòng)完成每一步輸入設(shè)置和輸出記錄操作，效率低下；完全手動(dòng)測(cè)試，難以避免人因失誤。
于是，迫切需求一種適于反應(yīng)堆保護(hù)系統(tǒng)的邏輯測(cè)試方案以解決上述問題。

發(fā)明內(nèi)容
本發(fā)明要解決的技術(shù)問題在于，針對(duì)現(xiàn)有技術(shù)的上述反應(yīng)堆保護(hù)系統(tǒng)的邏輯設(shè)計(jì)采用手動(dòng)測(cè)試時(shí)較為不便、效率低下、難以避免人因失誤的缺陷，提供一種適于反應(yīng)堆保護(hù)系統(tǒng)的邏輯測(cè)試方法及裝置。
本發(fā)明解決其技術(shù)問題所采用的技術(shù)方案之一是構(gòu)造一種適于反應(yīng)堆保護(hù)系統(tǒng)的邏輯測(cè)試方法，其包括
構(gòu)建步驟構(gòu)建測(cè)試程序和基于CSV格式的真值表，所述真值表中包括反應(yīng)堆保護(hù)系統(tǒng)的邏輯圖索引信息、輸入變量、輸出變量、輸入變量的賦值信息、輸出變量的預(yù)期值和執(zhí)行時(shí)間；
調(diào)用步驟讀取所述邏輯圖索引信息，調(diào)用與其對(duì)應(yīng)的所述測(cè)試程序；
運(yùn)算步驟讀取所述輸入變量，并依據(jù)所述輸入變量的賦值信息對(duì)所述輸入變量進(jìn)行賦值，再依據(jù)調(diào)用的測(cè)試程序和執(zhí)行時(shí)間進(jìn)行邏輯運(yùn)算，得到輸出變量的輸出值；
判斷步驟判斷所述輸出變量的輸出值與所述輸出變量的預(yù)期值是否一致，若是，將輸出結(jié)果正確信息；若否，將輸出結(jié)果錯(cuò)誤信息；
輸出步驟輸出所述結(jié)果正確信息和/或結(jié)果錯(cuò)誤信息。
上述本發(fā)明所述的適于反應(yīng)堆保護(hù)系統(tǒng)的邏輯測(cè)試方法中，還包括[0014]初始化步驟在執(zhí)行所述調(diào)用步驟前，進(jìn)行初始化操作。
上述本發(fā)明所述的適于反應(yīng)堆保護(hù)系統(tǒng)的邏輯測(cè)試方法中，還包括
存儲(chǔ)步驟存儲(chǔ)所述結(jié)果正確信息和/或結(jié)果錯(cuò)誤信息。
上述本發(fā)明所述的適于反應(yīng)堆保護(hù)系統(tǒng)的邏輯測(cè)試方法中，還包括
跟蹤步驟對(duì)所述運(yùn)算步驟的執(zhí)行過程進(jìn)行跟蹤。
上述本發(fā)明所述的適于反應(yīng)堆保護(hù)系統(tǒng)的邏輯測(cè)試方法中，所述輸入變量為模擬
量和/或數(shù)字量，所述輸出變量為數(shù)字量。
本發(fā)明解決其技術(shù)問題所采用的技術(shù)方案之二是構(gòu)造一種適于反應(yīng)堆保護(hù)系統(tǒng)的邏輯測(cè)試裝置，其包括
構(gòu)建單元構(gòu)建測(cè)試程序和基于CSV格式的真值表，所述真值表中包括反應(yīng)堆保護(hù)系統(tǒng)的邏輯圖索引信息、輸入變量、輸出變量、輸入變量的賦值信息、輸出變量的預(yù)期值和執(zhí)行時(shí)間；
調(diào)用單元讀取所述邏輯圖索引信息，調(diào)用與其對(duì)應(yīng)的所述測(cè)試程序；
運(yùn)算單元讀取所述輸入變量，并依據(jù)所述輸入變量的賦值信息對(duì)所述輸入變量進(jìn)行賦值，再依據(jù)調(diào)用的測(cè)試程序和執(zhí)行時(shí)間進(jìn)行邏輯運(yùn)算，得到輸出變量的輸出值；
判斷單元判斷所述輸出變量的輸出值與所述輸出變量的預(yù)期值是否一致，若是，將輸出結(jié)果正確信息；若否，將輸出結(jié)果錯(cuò)誤信息；
輸出單元輸出所述結(jié)果正確信息和/或結(jié)果錯(cuò)誤信息。
上述本發(fā)明所述的適于反應(yīng)堆保護(hù)系統(tǒng)的邏輯測(cè)試裝置中，還包括
初始化單元在執(zhí)行所述調(diào)用單元執(zhí)行操作前，進(jìn)行初始化操作。
上述本發(fā)明所述的適于反應(yīng)堆保護(hù)系統(tǒng)的邏輯測(cè)試裝置中，還包括
存儲(chǔ)單元存儲(chǔ)所述結(jié)果正確信息和/或結(jié)果錯(cuò)誤信息。
上述本發(fā)明所述的適于反應(yīng)堆保護(hù)系統(tǒng)的邏輯測(cè)試裝置中，還包括
跟蹤單元用于對(duì)所述運(yùn)算步驟的執(zhí)行過程進(jìn)行跟蹤。
上述本發(fā)明所述的適于反應(yīng)堆保護(hù)系統(tǒng)的邏輯測(cè)試裝置中，所述輸入變量為模擬量和/或數(shù)字量，所述輸出變量為數(shù)字量。
實(shí)施本發(fā)明的適于反應(yīng)堆保護(hù)系統(tǒng)的邏輯測(cè)試方法及裝置，具有以下優(yōu)點(diǎn)
第一、通過構(gòu)建基于CSV格式的真值表和測(cè)試程序來進(jìn)行測(cè)試，便于修改及調(diào)整；
第二，全自動(dòng)的測(cè)試構(gòu)建，可避免人因失誤，提高測(cè)試效率；
第三，自動(dòng)生成測(cè)試結(jié)果和定位缺陷，便于設(shè)計(jì)錯(cuò)誤的排查。


下面將結(jié)合附圖及實(shí)施例對(duì)本發(fā)明作進(jìn)一步說明，附圖中
圖1是本發(fā)明適于反應(yīng)堆保護(hù)系統(tǒng)的邏輯測(cè)試方法的第一優(yōu)選實(shí)施例的流程圖；
圖2是本發(fā)明適于反應(yīng)堆保護(hù)系統(tǒng)的邏輯測(cè)試方法的第二優(yōu)選實(shí)施例的流程圖；
圖3是本發(fā)明適于反應(yīng)堆保護(hù)系統(tǒng)的邏輯測(cè)試裝置的第一優(yōu)選實(shí)施例的方框圖；
圖4是本發(fā)明適于反應(yīng)堆保護(hù)系統(tǒng)的邏輯測(cè)試裝置的第二優(yōu)選實(shí)施例的方框圖。
具體實(shí)施方式
[0042]如圖1所述，是本發(fā)明適于反應(yīng)堆保護(hù)系統(tǒng)的邏輯測(cè)試方法的第一優(yōu)選實(shí)施例的流程圖。本第一優(yōu)選實(shí)施例中，該適于反應(yīng)堆保護(hù)系統(tǒng)的邏輯測(cè)試方法包括
開始步驟。
構(gòu)建步驟S1:構(gòu)建測(cè)試程序和基于CSV (Comma Separated value)格式的真值表，所述真值表中包括反應(yīng)堆保護(hù)系統(tǒng)的邏輯圖索引信息、輸入變量、輸出變量、輸入變量的賦值信息、輸出變量的預(yù)期值和執(zhí)行時(shí)間。所謂CSV，即為CSV逗號(hào)分隔值文件，是一種用來存儲(chǔ)數(shù)據(jù)的純文本文件格式，通常用于電子表格或數(shù)據(jù)庫軟件。所謂邏輯圖索引信息，即為某邏輯圖的命名信息，每個(gè)邏輯圖對(duì)應(yīng)唯一的邏輯圖索引信息。
在本構(gòu)建步驟SI中，構(gòu)建測(cè)試程序和真值表時(shí)，每個(gè)真值表對(duì)應(yīng)唯一的測(cè)試程序，每個(gè)真值表中包含唯一的邏輯圖索引信息。
調(diào)用步驟S2 :讀取所述邏輯圖索引信息，調(diào)用與其對(duì)應(yīng)的所述測(cè)試程序。由于每個(gè)真值表對(duì)應(yīng)唯一的測(cè)試程序，每個(gè)真值表有中包含唯一的邏輯圖索引信息，所以，通過讀取所述邏輯圖索引信息，即可調(diào)用與該邏輯圖索引信息對(duì)應(yīng)的測(cè)試程序。
運(yùn)算步驟S3 :讀取所述輸入變量，并依據(jù)所述輸入變量的賦值信息對(duì)所述輸入變量進(jìn)行賦值，再依據(jù)調(diào)用的測(cè)試程序和執(zhí)行時(shí)間進(jìn)行邏輯運(yùn)算，得到輸出變量的輸出值。本運(yùn)算步驟S3中，所述輸入變量為一個(gè)或多個(gè)，且為模擬量和/或數(shù)字量，所述輸入變量在構(gòu)建基于CSV格式的真值表時(shí)被設(shè)置，即
當(dāng)輸入變量為一個(gè)時(shí)，只可對(duì)單獨(dú)的一個(gè)輸入變量及其對(duì)應(yīng)的輸出值進(jìn)行測(cè)試，適用于對(duì)某個(gè)輸入變量進(jìn)行跟蹤測(cè)試；當(dāng)輸入變量為多個(gè)時(shí)，可同時(shí)對(duì)多個(gè)輸入變量及其分別對(duì)應(yīng)的輸出值進(jìn)行測(cè)試，提高了工作效率，節(jié)省了時(shí)間。
本運(yùn)算步驟S3中，所述執(zhí)行時(shí)間用于約束執(zhí)行的時(shí)序，通過調(diào)用所述測(cè)試程序來進(jìn)行邏輯運(yùn)算，最終得到輸出變量的輸出值。另外，由于所述輸出變量為數(shù)字量，于是所述輸出變量的輸出值為“0”或“I”。
判斷步驟S4 :判斷所述輸出變量的輸出值與所述輸出變量的預(yù)期值是否一致，若是，將輸出結(jié)果正確信息；若否，將輸出結(jié)果錯(cuò)誤信息。在構(gòu)建步驟Si中，在構(gòu)建基于CSV格式的真值表時(shí)，將輸出變量的預(yù)期值設(shè)置為“0”或“1”，于是，在判斷步驟S4中，若所述輸出變量的輸出值與所述輸出變量的預(yù)期值同時(shí)為“0”或“1”，將輸出結(jié)果正確信息；若所述輸出變量的輸出值與所述輸出變量的預(yù)期值不同時(shí)為“0”或“1”，將輸出結(jié)果錯(cuò)誤信息。
輸出步驟S5 :輸出上面判斷步驟S4最后得出的所述結(jié)果正確信息和/或結(jié)果錯(cuò)誤信息。本輸出步驟S5中，可將上述所述結(jié)果正確信息和/或結(jié)果錯(cuò)誤信息輸出(分別如步驟S5 (a)和步驟S5 (b)所示)，以對(duì)基于CSV格式的真值表進(jìn)行改寫，隨后另存到指定的文件夾中。進(jìn)一步地，可同時(shí)對(duì)輸出變量的輸出值與輸出變量的預(yù)期值進(jìn)行比較，將不一致的結(jié)果標(biāo)識(shí)出來，便于用戶查看。
結(jié)束步驟。
如圖2所示，是本發(fā)明適于反應(yīng)堆保護(hù)系統(tǒng)的邏輯測(cè)試方法的第二優(yōu)選實(shí)施例的流程圖。本第二優(yōu)選實(shí)施例與圖1所示的第一優(yōu)選實(shí)施例的區(qū)別在于第一優(yōu)選實(shí)施例只進(jìn)行了一次測(cè)試流程，而第二優(yōu)選實(shí)施例可進(jìn)行多次測(cè)試流程，只要在所述判斷步驟S4中判斷出所述輸出變量的輸出值與所述輸出變量的預(yù)期值不一致時(shí)，在輸出所述結(jié)果錯(cuò)誤信息的同時(shí)，即可自動(dòng)返回構(gòu)建步驟SI中，重新調(diào)整測(cè)試程序和/或基于CSV格式的真值表(分別如步驟SI (a)和步驟SI (b)所示)，再重新開始測(cè)試，直到所述判斷步驟S4中判斷出所述輸出變量的輸出值與所述輸出變量的預(yù)期值一致為止。
在其它實(shí)施例中，在第一、第二優(yōu)選實(shí)施例的基礎(chǔ)上，該適于反應(yīng)堆保護(hù)系統(tǒng)的邏輯測(cè)試方法還包括
初始化步驟在執(zhí)行所述調(diào)用步驟S2前，進(jìn)行初始化操作，比如，操作界面、某些變量的初始化等，使在每執(zhí)行所述調(diào)用步驟S2前，保持相同的操作界面、變量設(shè)置等。
在其它實(shí)施例中，在第一、第二優(yōu)選實(shí)施例的基礎(chǔ)上，該適于反應(yīng)堆保護(hù)系統(tǒng)的邏輯測(cè)試方法還包括
存儲(chǔ)步驟存儲(chǔ)所述結(jié)果正確信息和結(jié)果錯(cuò)誤信息，優(yōu)選地，可以驗(yàn)證報(bào)告的形式進(jìn)行保存，并標(biāo)識(shí)出輸出變量的輸出值與輸出變量的預(yù)期值不一致的部分，便于用戶對(duì)比分析。
在其它實(shí)施例中，在第一、第二優(yōu)選實(shí)施例的基礎(chǔ)上，該適于反應(yīng)堆保護(hù)系統(tǒng)的邏輯測(cè)試方法還包括
跟蹤步驟用于對(duì)運(yùn)算步驟S3的執(zhí)行過程進(jìn)行跟蹤。
具體地，在運(yùn)算步驟S3中，所述跟蹤步驟對(duì)運(yùn)算步驟S3的執(zhí)行過程進(jìn)行跟蹤，若測(cè)試程序中設(shè)定運(yùn)算步驟S3共需執(zhí)行4步，但執(zhí)行到第3步時(shí)就停止了，于是，即可跟蹤出在執(zhí)行第3步的時(shí)候出了差錯(cuò)，以便于用戶定位分析問題。進(jìn)一步，也可設(shè)置程序復(fù)位，使測(cè)試流程返回到運(yùn)算步驟S3。
如圖3所示，是本發(fā)明適于反應(yīng)堆保護(hù)系統(tǒng)的邏輯測(cè)試裝置的第一優(yōu)選實(shí)施例的方框圖。本第一優(yōu)選實(shí)施例中，該適于反應(yīng)堆保護(hù)系統(tǒng)的邏輯測(cè)試裝置包括
構(gòu)建單元1:構(gòu)建測(cè)試程序和基于CSV格式的真值表，所述真值表中包括反應(yīng)堆保護(hù)系統(tǒng)的邏輯圖索引信息、輸入變量、輸出變量、輸入變量的賦值信息、輸出變量的預(yù)期值和執(zhí)行時(shí)間。本構(gòu)建單元I執(zhí)行圖1中和圖2中構(gòu)建步驟SI的具體操作，此處不再贅述。
調(diào)用單元2 :讀取所述邏輯圖索引信息，調(diào)用與其對(duì)應(yīng)的所述測(cè)試程序。本調(diào)用單元2執(zhí)行圖1中和圖2中調(diào)用步驟S2的具體操作，此處不再贅述。
運(yùn)算單元3 :讀取所述輸入變量，并依據(jù)所述輸入變量的賦值信息對(duì)所述輸入變量進(jìn)行賦值，再依據(jù)調(diào)用的測(cè)試程序和執(zhí)行時(shí)間進(jìn)行邏輯運(yùn)算，得到輸出變量的輸出值。本運(yùn)算單元3執(zhí)行圖1中和圖2中運(yùn)算步驟S3的具體操作，此處不再贅述。
判斷單元4:判斷所述輸出變量的輸出值與所述輸出變量的預(yù)期值是否一致，若是，將輸出結(jié)果正確信息；若否，將輸出結(jié)果錯(cuò)誤信息。本判斷單元4執(zhí)行圖1中和圖2中判斷步驟S4的具體操作，此處不再贅述。
輸出單元5 :輸出所述結(jié)果正確信息和結(jié)果錯(cuò)誤信息。本輸出單元5執(zhí)行圖1中和圖2中輸出步驟S5的具體操作，此處不再贅述。
如圖4所示，是本發(fā)明適于反應(yīng)堆保護(hù)系統(tǒng)的邏輯測(cè)試裝置的第二優(yōu)選實(shí)施例的方框圖。本第二優(yōu)選實(shí)施例與圖1所不的第一優(yōu)選實(shí)施例的區(qū)別在于在第一優(yōu)選實(shí)施例的基礎(chǔ)上，本適于反應(yīng)堆保護(hù)系統(tǒng)的邏輯測(cè)試裝置還包括初始化單元A和存儲(chǔ)單元B，初始化單元A設(shè)置調(diào)用單元2和運(yùn)算單元3之間，存儲(chǔ)單元B與輸出單元5相連。
初始化單元A用于在執(zhí)行調(diào)用單元2執(zhí)行操作前，進(jìn)行初始化操作，其執(zhí)行上文中初始化步驟的具體操作，此處不再贅述。[0069]存儲(chǔ)單元B用于存儲(chǔ)所述結(jié)果正確信息和結(jié)果錯(cuò)誤信息，其執(zhí)行上文中存儲(chǔ)步驟的具體操作，此處不再贅述。
進(jìn)一步地，在其它實(shí)施例中，本適于反應(yīng)堆保護(hù)系統(tǒng)的邏輯測(cè)試裝置還包括跟蹤單元，所述跟蹤單元與運(yùn)算單元3相連，用于對(duì)運(yùn)算單元3的執(zhí)行過程進(jìn)行跟蹤，其執(zhí)行上文中跟蹤步驟的具體操作，此處不再贅述。
另外，本發(fā)明的適于反應(yīng)堆保護(hù)系統(tǒng)的邏輯測(cè)試方法及裝置的運(yùn)行平臺(tái)優(yōu)選地為windows操作系統(tǒng)平臺(tái)，一般情況下,運(yùn)行計(jì)算機(jī)的最低配置為pentiem2 233MHz、128MBRAM和1. 5GB可用硬盤空間。
本發(fā)明適于反應(yīng)堆保護(hù)系統(tǒng)的邏輯測(cè)試方法及裝置，具有以下優(yōu)點(diǎn)
第一、通過構(gòu)建基于CSV格式的真值表和測(cè)試程序來進(jìn)行測(cè)試，便于修改及調(diào)整；
第二，全自動(dòng)的測(cè)試構(gòu)建，可避免人因失誤，提高測(cè)試效率；
第三，自動(dòng)生成測(cè)試結(jié)果和定位缺陷，便于設(shè)計(jì)錯(cuò)誤的排查。
以上所述僅為本發(fā)明的實(shí)施例，并不用以限制本發(fā)明，凡在本發(fā)明的精神和原則內(nèi)所作的任何修改、等同替換或改進(jìn)等，均應(yīng)包含在本發(fā)明的保護(hù)范圍內(nèi)。
權(quán)利要求
1.一種適于反應(yīng)堆保護(hù)系統(tǒng)的邏輯測(cè)試方法，其特征在于，包括 構(gòu)建步驟構(gòu)建測(cè)試程序和基于CSV格式的真值表，所述真值表中包括反應(yīng)堆保護(hù)系統(tǒng)的邏輯圖索引信息、輸入變量、輸出變量、輸入變量的賦值信息、輸出變量的預(yù)期值和執(zhí)行時(shí)間；每個(gè)所述真值表中包含唯一的邏輯圖索引信息；每個(gè)所述真值表對(duì)應(yīng)唯一的測(cè)試程序； 調(diào)用步驟讀取所述邏輯圖索引信息，調(diào)用與其對(duì)應(yīng)的所述測(cè)試程序； 運(yùn)算步驟讀取所述輸入變量，并依據(jù)所述輸入變量的賦值信息對(duì)所述輸入變量進(jìn)行賦值，再依據(jù)調(diào)用的測(cè)試程序和執(zhí)行時(shí)間進(jìn)行邏輯運(yùn)算，得到輸出變量的輸出值； 跟蹤步驟對(duì)所述運(yùn)算步驟的執(zhí)行過程進(jìn)行跟蹤； 判斷步驟判斷所述輸出變量的輸出值與所述輸出變量的預(yù)期值是否一致，若是，將輸出結(jié)果正確信息；若否，將輸出結(jié)果錯(cuò)誤信息； 輸出步驟輸出所述結(jié)果正確信息和/或結(jié)果錯(cuò)誤信息。
2.根據(jù)權(quán)利要求
1所述的適于反應(yīng)堆保護(hù)系統(tǒng)的邏輯測(cè)試方法，其特征在于，還包括 初始化步驟在執(zhí)行所述調(diào)用步驟前，進(jìn)行初始化操作。
3.根據(jù)權(quán)利要求
1所述的適于反應(yīng)堆保護(hù)系統(tǒng)的邏輯測(cè)試方法，其特征在于，還包括 存儲(chǔ)步驟存儲(chǔ)所述結(jié)果正確信息和/或結(jié)果錯(cuò)誤信息。
4.根據(jù)權(quán)利要求
1所述的適于反應(yīng)堆保護(hù)系統(tǒng)的邏輯測(cè)試方法，其特征在于，所述輸入變量為模擬量和/或數(shù)字量，所述輸出變量為數(shù)字量。
5.一種適于反應(yīng)堆保護(hù)系統(tǒng)的邏輯測(cè)試裝置，其特征在于，包括 構(gòu)建單元構(gòu)建測(cè)試程序和基于CSV格式的真值表，所述真值表中包括反應(yīng)堆保護(hù)系統(tǒng)的邏輯圖索引信息、輸入變量、輸出變量、輸入變量的賦值信息、輸出變量的預(yù)期值和執(zhí)行時(shí)間；每個(gè)所述真值表中包含唯一的邏輯圖索引信息；每個(gè)所述真值表對(duì)應(yīng)唯一的測(cè)試程序； 調(diào)用單元讀取所述邏輯圖索引信息，調(diào)用與其對(duì)應(yīng)的所述測(cè)試程序； 運(yùn)算單元讀取所述輸入變量，并依據(jù)所述輸入變量的賦值信息對(duì)所述輸入變量進(jìn)行賦值，再依據(jù)調(diào)用的測(cè)試程序和執(zhí)行時(shí)間進(jìn)行邏輯運(yùn)算，得到輸出變量的輸出值； 跟蹤單元用于對(duì)所述運(yùn)算步驟的執(zhí)行過程進(jìn)行跟蹤； 判斷單元判斷所述輸出變量的輸出值與所述輸出變量的預(yù)期值是否一致，若是，將輸出結(jié)果正確信息；若否，將輸出結(jié)果錯(cuò)誤信息； 輸出單元輸出所述結(jié)果正確信息和/或結(jié)果錯(cuò)誤信息。
6.根據(jù)權(quán)利要求
5所述的適于反應(yīng)堆保護(hù)系統(tǒng)的邏輯測(cè)試裝置，其特征在于，還包括 初始化單元在執(zhí)行所述調(diào)用單元執(zhí)行操作前，進(jìn)行初始化操作。
7.根據(jù)權(quán)利要求
5所述的適于反應(yīng)堆保護(hù)系統(tǒng)的邏輯測(cè)試裝置，其特征在于，還包括 存儲(chǔ)單元存儲(chǔ)所述結(jié)果正確信息和/或結(jié)果錯(cuò)誤信息。
8.根據(jù)權(quán)利要求
5所述的適于反應(yīng)堆保護(hù)系統(tǒng)的邏輯測(cè)試裝置，其特征在于，所述輸入變量為模擬量和/或數(shù)字量，所述輸出變量為數(shù)字量。
專利摘要
本發(fā)明涉及一種適于反應(yīng)堆保護(hù)系統(tǒng)的邏輯測(cè)試方法及裝置，該測(cè)試方法包括構(gòu)建步驟，構(gòu)建測(cè)試程序和基于CSV格式的真值表，所述真值表中包括反應(yīng)堆保護(hù)系統(tǒng)的邏輯圖索引信息、輸入變量、輸出變量、輸入變量的賦值信息、輸出變量的預(yù)期值和執(zhí)行時(shí)間；調(diào)用步驟，讀取邏輯圖索引信息，調(diào)用與其對(duì)應(yīng)的測(cè)試程序；運(yùn)算步驟，讀取輸入變量，并依據(jù)輸入變量的賦值信息對(duì)該輸入變量進(jìn)行賦值，再依據(jù)調(diào)用的測(cè)試程序和執(zhí)行時(shí)間進(jìn)行邏輯運(yùn)算，得到輸出變量的輸出值；判斷步驟，判斷輸出變量的輸出值預(yù)期值是否一致，若是，將輸出結(jié)果正確信息；若否，將輸出結(jié)果錯(cuò)誤信息。本發(fā)明通過構(gòu)建基于CSV格式的真值表和測(cè)試程序進(jìn)行測(cè)試，便于修改及調(diào)整，可避免人因失誤。
文檔編號(hào)G21C17/06GKCN102024504SQ201010517001
公開日2013年4月24日 申請(qǐng)日期2010年10月21日
發(fā)明者盧超, 張黎明, 江國(guó)進(jìn), 張煥欣, 周亮 申請(qǐng)人:中廣核工程有限公司, 中國(guó)廣東核電集團(tuán)有限公司導(dǎo)出引文BiBTeX, EndNote, RefMan