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

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


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