核電站儀控邏輯功能塊的測(cè)試方法和系統(tǒng)的制作方法
【專利摘要】本發(fā)明公開了一種核電站儀控邏輯功能塊的測(cè)試方法，其包括：根據(jù)接收的核電站儀控邏輯功能塊索引信息，運(yùn)行所述邏輯功能塊對(duì)應(yīng)的真值表測(cè)試程序；接收賦值的輸入變量，并根據(jù)所述輸入變量調(diào)用所述真值表測(cè)試程序和所述邏輯功能塊對(duì)應(yīng)的執(zhí)行時(shí)間進(jìn)行邏輯運(yùn)算，以獲取輸出變量的運(yùn)算值；判斷所述輸出變量的運(yùn)算值與預(yù)先設(shè)置的所述輸出變量的預(yù)期值是否一致；若判斷一致，則輸出結(jié)果正確信息；否則，則輸出結(jié)果錯(cuò)誤信息。本發(fā)明通過(guò)搭建可在驗(yàn)證仿真平臺(tái)上運(yùn)行的軟件程序模塊動(dòng)態(tài)驗(yàn)證核電站儀控邏輯功能塊的邏輯，并構(gòu)建基于CSV格式的真值表和測(cè)試程序進(jìn)行驗(yàn)證測(cè)試，便于修改及調(diào)整，可避免人因失誤。
【專利說(shuō)明】核電站儀控邏輯功能塊的測(cè)試方法和系統(tǒng)
【技術(shù)領(lǐng)域】
[0001]本發(fā)明屬于核電【技術(shù)領(lǐng)域】，更具體地說(shuō)，本發(fā)明涉及一種核電站儀控邏輯功能塊的測(cè)試方法和系統(tǒng)。
【背景技術(shù)】
[0002]儀控設(shè)計(jì)作為核電站設(shè)計(jì)的一個(gè)主要組成部分，現(xiàn)階段所建核電站皆采用數(shù)字化儀控技術(shù)，該技術(shù)是以數(shù)字技術(shù)、網(wǎng)絡(luò)技術(shù)、通信技術(shù)和人機(jī)交互技術(shù)為基礎(chǔ)的高度專業(yè)的技術(shù)，對(duì)核電站各系統(tǒng)采集的信號(hào)進(jìn)行數(shù)字化處理，利用網(wǎng)絡(luò)技術(shù)和通訊技術(shù)實(shí)現(xiàn)可靠準(zhǔn)確的數(shù)字化數(shù)據(jù)和信息交換，對(duì)發(fā)電機(jī)組進(jìn)行綜合監(jiān)督和控制，使核電機(jī)組安全、經(jīng)濟(jì)、穩(wěn)定的運(yùn)行。
[0003]數(shù)字化儀控系統(tǒng)作為核電站的神經(jīng)中樞，對(duì)儀控設(shè)計(jì)的要求非常精細(xì)，所以數(shù)字化儀控設(shè)計(jì)技術(shù)成為核電站工程設(shè)計(jì)技術(shù)的關(guān)鍵。儀控邏輯功能塊則是儀控設(shè)計(jì)的基本單元，儀控邏輯功能塊功能的正確實(shí)現(xiàn)直接影響儀控設(shè)計(jì)的質(zhì)量，為保證儀控設(shè)計(jì)的正確性和準(zhǔn)確性，需要對(duì)儀控邏輯功能塊進(jìn)行全范圍驗(yàn)證。
[0004]儀控邏輯功能塊分為基本功能模塊和組合功能模塊。基本功能模塊主要是“與”、“或”、“非”、“觸發(fā)器”、“延時(shí)器”、“選擇器”等具有單一功能的模塊，由于功能單一，邏輯相對(duì)簡(jiǎn)單，而且在多個(gè)核電項(xiàng)目中經(jīng)過(guò)實(shí)際運(yùn)行檢驗(yàn)，所以對(duì)這些基本功能模塊不做進(jìn)一步驗(yàn)證；組合功能模塊則是利用基本功能模塊搭建的具有綜合功能的模塊，這些模塊融合對(duì)現(xiàn)場(chǎng)設(shè)備、控制系統(tǒng)平臺(tái)、人機(jī)交互界面的控制功能和接口要求，不僅可以實(shí)現(xiàn)數(shù)字化儀控系統(tǒng)的數(shù)據(jù)采集、執(zhí)行器控制、人機(jī)交互控制，還可以執(zhí)行某些特定的自動(dòng)化功能，如順序控制、聯(lián)鎖、保護(hù)控制、分組控制等，具有更智能化的綜合處理能力，包括信息處理、故障查詢與跟蹤等，具有更好的人機(jī)交互功能。這些組合功能模塊的使用，可以簡(jiǎn)化邏輯設(shè)計(jì)，使設(shè)計(jì)過(guò)程的不同階段銜接緊密，設(shè)計(jì)過(guò)程出錯(cuò)率下降，并且方便數(shù)字化儀控系統(tǒng)的組態(tài)。
[0005]儀控組合功能模塊功能強(qiáng)大，邏輯復(fù)雜，在核電站運(yùn)行中所擔(dān)負(fù)職責(zé)重要，不能出現(xiàn)任何影響安全經(jīng)濟(jì)的問(wèn)題，所以在儀控組合功能模塊的設(shè)計(jì)階段的驗(yàn)證就是必不可少的。因此，在儀控組合功能模塊的邏輯設(shè)計(jì)領(lǐng)域中，迫切需求一種適于儀控功能模塊的邏輯驗(yàn)證測(cè)試方案以保證儀控功能模塊的正確性和準(zhǔn)確性。

【發(fā)明內(nèi)容】

[0006]本發(fā)明要解決的技術(shù)問(wèn)題在于，針對(duì)現(xiàn)在新技術(shù)的發(fā)展，提供一種可以保證儀控功能模塊正確性和準(zhǔn)確性的核電站儀控邏輯功能模塊的測(cè)試方法及系統(tǒng)。
[0007]為了實(shí)現(xiàn)上述發(fā)明目的，本發(fā)明提供了一種核電站儀控邏輯功能塊的測(cè)試方法，該方法包括:
[0008]根據(jù)接收的核電站儀控邏輯功能塊索引信息，運(yùn)行所述邏輯功能塊對(duì)應(yīng)的真值表測(cè)試程序；
[0009]接收賦值的輸入變量，并根據(jù)所述輸入變量調(diào)用所述真值表測(cè)試程序和所述邏輯功能塊對(duì)應(yīng)的執(zhí)行時(shí)間進(jìn)行邏輯運(yùn)算，以獲取輸出變量的運(yùn)算值；
[0010]判斷所述輸出變量的運(yùn)算值與預(yù)先設(shè)置的所述輸出變量的預(yù)期值是否一致；
[0011]若判斷一致，則輸出結(jié)果正確信息；否則，則輸出結(jié)果錯(cuò)誤信息。
[0012]作為本發(fā)明核電站儀控邏輯功能塊的測(cè)試方法的一種改進(jìn)，所述方法還包括:
[0013]根據(jù)邏輯功能塊的內(nèi)部邏輯構(gòu)建仿真模塊邏輯程序模塊；
[0014]將所述仿真模塊邏輯程序模塊的內(nèi)部邏輯與所述邏輯功能塊的內(nèi)部邏輯均轉(zhuǎn)換為文本文件,進(jìn)行一致性檢查。
[0015]作為本發(fā)明核電站儀控邏輯功能塊的測(cè)試方法的一種改進(jìn)，所述方法還包括:
[0016]構(gòu)建基于CSV格式的真值表測(cè)試程序，所述真值表中包括邏輯功能塊的索引信息、輸入變量、輸出變量、輸入變量的賦值信息、輸出變量的預(yù)期值和執(zhí)行時(shí)間。
[0017]作為本發(fā)明核電站儀控邏輯功能塊的測(cè)試方法的一種改進(jìn)，所述方法還包括:
[0018]對(duì)所述邏輯功能塊進(jìn)行初始化操作。
[0019]作為本發(fā)明核電站儀控邏輯功能塊的測(cè)試方法的一種改進(jìn)，所述方法還包括:
[0020]存儲(chǔ)所述測(cè)試結(jié)果正確信息和/或結(jié)果錯(cuò)誤信息。
[0021]本發(fā)明提供了一種核電站儀控邏輯功能塊的測(cè)試系統(tǒng)，所述系統(tǒng)包括:
[0022]運(yùn)行單元:用于根據(jù)接收的核電站儀控邏輯功能塊索引信息，運(yùn)行所述邏輯功能塊對(duì)應(yīng)的真值表測(cè)試程序；
[0023]運(yùn)算單元:用于接收賦值的輸入變量，并根據(jù)所述輸入變量調(diào)用所述真值表測(cè)試程序和所述邏輯功能塊對(duì)應(yīng)的執(zhí)行時(shí)間進(jìn)行邏輯運(yùn)算，以獲取輸出變量的運(yùn)算值；
[0024]判斷單元:用于判斷所述輸出變量的運(yùn)算值與預(yù)先設(shè)置的所述輸出變量的預(yù)期值是否一致；
[0025]輸出單元:若判斷一致，則輸出結(jié)果正確信息；否則，則輸出結(jié)果錯(cuò)誤信息。
[0026]作為本發(fā)明核電站儀控邏輯功能塊的測(cè)試系統(tǒng)的一種改進(jìn)，所述系統(tǒng)還包括:
[0027]構(gòu)建單元用于:根據(jù)邏輯功能塊的內(nèi)部邏輯構(gòu)建仿真模塊邏輯程序模塊；
[0028]檢查單元，所述檢查單元用于將所述仿真模塊邏輯程序模塊的內(nèi)部邏輯與所述邏輯功能塊的內(nèi)部邏輯均轉(zhuǎn)換為文本文件，進(jìn)行一致性檢查。
[0029]作為本發(fā)明核電站儀控邏輯功能塊的測(cè)試系統(tǒng)的一種改進(jìn)，所述構(gòu)建單元還用于:構(gòu)建基于CSV格式的真值表測(cè)試程序，所述真值表中包括邏輯功能塊的索引信息、輸入變量、輸出變量、輸入變量的賦值信息、輸出變量的預(yù)期值和執(zhí)行時(shí)間。
[0030]作為本發(fā)明核電站儀控邏輯功能塊的測(cè)試系統(tǒng)的一種改進(jìn)，所述系統(tǒng)還包括:
[0031]初始化操作單元:用于對(duì)所述邏輯功能塊進(jìn)行初始化操作。
[0032]作為本發(fā)明核電站儀控邏輯功能塊的測(cè)試系統(tǒng)的一種改進(jìn)，所述系統(tǒng)還包括:
[0033]存儲(chǔ)單元:用于存儲(chǔ)所述測(cè)試結(jié)果正確信息和/或結(jié)果錯(cuò)誤信息。
[0034]本發(fā)明提供的一種核電站儀控邏輯功能模塊的測(cè)試方法及系統(tǒng)，具有以下優(yōu)點(diǎn):
[0035]第一、通過(guò)建立與邏輯功能塊外形和內(nèi)部邏輯一致的仿真模型，實(shí)行邏輯動(dòng)態(tài)驗(yàn)證，使驗(yàn)證簡(jiǎn)單直觀；
[0036]第二，通過(guò)構(gòu)建基于CSV格式的真值表和測(cè)試程序來(lái)進(jìn)行驗(yàn)證測(cè)試，便于修改及調(diào)整；
[0037]第三，全自動(dòng)的測(cè)試過(guò)程，減少人因失誤，提高測(cè)試效率；[0038]第四，自動(dòng)生成測(cè)試結(jié)果和定位錯(cuò)誤，便于設(shè)計(jì)錯(cuò)誤的檢查。
【專利附圖】

【附圖說(shuō)明】
[0039]下面將結(jié)合附圖及實(shí)施方式對(duì)本發(fā)明作進(jìn)一步說(shuō)明，附圖中:
[0040]圖1是本發(fā)明實(shí)施例中一種核電站儀控邏輯功能塊的測(cè)試方法的流程圖。
[0041]圖2是本發(fā)明實(shí)施例中另一種核電站儀控邏輯功能塊的測(cè)試方法的流程圖。
[0042]圖3是本發(fā)明實(shí)施例中一種核電站儀控邏輯功能塊的測(cè)試系統(tǒng)的結(jié)構(gòu)示意圖。
[0043]圖4是本發(fā)明實(shí)施例中另一種核電站儀控邏輯功能塊的測(cè)試系統(tǒng)的結(jié)構(gòu)示意圖。
【具體實(shí)施方式】
[0044]為了使本發(fā)明的發(fā)明目的、技術(shù)方案及其有益技術(shù)效果更加清晰，以下結(jié)合附圖和【具體實(shí)施方式】，對(duì)本發(fā)明進(jìn)行進(jìn)一步詳細(xì)說(shuō)明。應(yīng)當(dāng)理解的是，本說(shuō)明書中描述的【具體實(shí)施方式】?jī)H僅是為了解釋本發(fā)明，并非為了限定本發(fā)明。
[0045]如圖1所述，本發(fā)明實(shí)施例提供了一種核電站儀控邏輯功能塊的測(cè)試方法優(yōu)選實(shí)施例的流程圖。該方法包括:
[0046]S105、根據(jù)接收的核電站儀控邏輯功能塊索引信息，運(yùn)行邏輯功能塊對(duì)應(yīng)的真值表測(cè)試程序；
[0047]具體地，在核電站儀控驗(yàn)證平臺(tái)上讀取核電站邏輯功能塊索引信息，而后讀取與該邏輯功能塊對(duì)應(yīng)的真值表測(cè)試程序。由于每個(gè)真值表對(duì)應(yīng)唯一的測(cè)試程序，每個(gè)真值表有中包含唯一的邏輯功能塊索引信息，因此，通過(guò)讀取所述邏輯功能塊索引信息，即可調(diào)用與該邏輯功能塊索弓I信息對(duì)應(yīng)的測(cè)試程序。
[0048]S106、接收賦值的輸入變量，并根據(jù)所述輸入變量調(diào)用所述真值表測(cè)試程序和所述邏輯功能塊對(duì)應(yīng)的執(zhí)行時(shí)間進(jìn)行邏輯運(yùn)算，以獲取輸出變量的運(yùn)算值；
[0049]讀取所述輸入變量，并依據(jù)所述輸入變量的賦值信息對(duì)所述輸入變量進(jìn)行賦值，再依據(jù)調(diào)用的測(cè)試程序和執(zhí)行時(shí)間進(jìn)行邏輯運(yùn)算，得到輸出變量的輸出值。其中所述輸入變量可以為一個(gè)或多個(gè)，該輸入變量也可以為模擬量和/或數(shù)字量，所述輸入變量在構(gòu)建基于CSV格式的真值表時(shí)被設(shè)置。
[0050]當(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í)間。
[0051]本步驟中，上述執(zhí)行時(shí)間用于約束執(zhí)行的時(shí)序，通過(guò)調(diào)用所述測(cè)試程序來(lái)進(jìn)行邏輯運(yùn)算，最終得到輸出變量的輸出值。所述輸出變量可以為模擬量和/或數(shù)字量。
[0052]S107、判斷所述輸出變量的運(yùn)算值與預(yù)先設(shè)置的所述輸出變量的預(yù)期值是否一致；
[0053]在構(gòu)建基于CSV格式的真值表時(shí)，可以將輸出變量的預(yù)期值設(shè)置為模擬量和/或
數(shù)字量。
[0054]S108、若判斷一致，則輸出結(jié)果正確信息；否則，則輸出結(jié)果錯(cuò)誤信息。
[0055]若所述輸出變量的輸出值與所述輸出變量的預(yù)期值相同時(shí)，將輸出結(jié)果正確信息；若所述輸出變量的輸出值與所述輸出變量的預(yù)期值不同時(shí)，將輸出結(jié)果錯(cuò)誤信息。[0056]本步驟，可將上述所述結(jié)果正確信息和/或結(jié)果錯(cuò)誤信息輸出，以對(duì)基于CSV格式的真值表進(jìn)行改寫，隨后另存到指定的文件夾中。而且，可同時(shí)對(duì)輸出變量的輸出值與輸出變量的預(yù)期值進(jìn)行比較，將不一致的結(jié)果標(biāo)識(shí)出來(lái)，便于分析檢查。
[0057]如圖2所述，本發(fā)明實(shí)施例提供了一種核電站儀控邏輯功能塊的測(cè)試方法優(yōu)選實(shí)施例的流程圖。該方法包括:
[0058]S201、根據(jù)邏輯功能塊的內(nèi)部邏輯構(gòu)建仿真模塊邏輯程序模塊；
[0059]根據(jù)功能塊的內(nèi)部邏輯編寫可在驗(yàn)證仿真平臺(tái)上運(yùn)行的軟件程序模塊，其圖標(biāo)外形和內(nèi)部邏輯與要驗(yàn)證的邏輯功能塊圖標(biāo)外形和內(nèi)部邏輯相一致。建模完成需要對(duì)功能模塊進(jìn)行一致性檢查:將仿真模塊邏輯程序和功能塊的內(nèi)部邏輯皆轉(zhuǎn)換為文本文件，利用平臺(tái)工具進(jìn)行自動(dòng)對(duì)比，檢查其一致性，發(fā)現(xiàn)不一致之處則用不同顏色標(biāo)記，以利于檢查修改，修改后再進(jìn)行檢查，完全一致后可進(jìn)行下一步工作。
[0060]S202、將所述仿真模塊邏輯程序模塊的內(nèi)部邏輯與所述邏輯功能塊的內(nèi)部邏輯均轉(zhuǎn)換為文本文件，進(jìn)行一致性檢查。
[0061]S203、構(gòu)建基于CSV格式的真值表測(cè)試程序，所述真值表中包括邏輯功能塊的索引信息、輸入變量、輸出變量、輸入變量的賦值信息、輸出變量的預(yù)期值和執(zhí)行時(shí)間。
[0062]構(gòu)建測(cè)試程序和基于CSV (Comma Separated value)格式的真值表,所述真值表中包括反應(yīng)堆的邏輯圖索引信息、輸入變量、參數(shù)、輸出變量、輸入變量的賦值信息、輸出變量的預(yù)期值和執(zhí)行時(shí)間。所謂CSV，即為CSV逗號(hào)分隔值文件，是一種用來(lái)存儲(chǔ)數(shù)據(jù)的純文本文件格式，通常用于電子表格或數(shù)據(jù)庫(kù)軟件。所謂邏輯功能塊索引信息，即為某邏輯功能塊的命名信息，每個(gè)邏輯功能塊對(duì)應(yīng)唯一的邏輯功能塊索引信息。
[0063]構(gòu)建真值表測(cè)試程序時(shí)，需要考慮儀控邏輯功能塊的參數(shù)值的設(shè)定，因?yàn)閮x控邏輯功能塊的參數(shù)值代表了儀控邏輯功能塊不同功能，所以其參數(shù)值設(shè)定的不同，相應(yīng)的輸出值也不同，而在實(shí)際應(yīng)用過(guò)程中，參數(shù)值在設(shè)定完成調(diào)試后是基本不改變的，所以對(duì)每個(gè)儀控功能塊的不同參數(shù)皆要編寫與之相對(duì)應(yīng)的真值表測(cè)試程序。每個(gè)真值表對(duì)應(yīng)唯一的測(cè)試程序，每個(gè)真值表有中包含唯一的邏輯功能塊索弓I信息。
[0064]S204、對(duì)所述邏輯功能塊進(jìn)行初始化操作。
[0065]進(jìn)行初始化操作，比如，操作界面、某些變量的初始化等，使在每執(zhí)行所述運(yùn)行真值表測(cè)試程序時(shí)，保持相同的操作界面、變量設(shè)置等。
[0066]S205、根據(jù)接收的核電站儀控邏輯功能塊索引信息，運(yùn)行邏輯功能塊對(duì)應(yīng)的真值表測(cè)試程序；
[0067]具體地，在核電站儀控驗(yàn)證平臺(tái)上讀取核電站邏輯功能塊索引信息，而后讀取與該邏輯功能塊對(duì)應(yīng)的真值表測(cè)試程序。由于每個(gè)真值表對(duì)應(yīng)唯一的測(cè)試程序，每個(gè)真值表有中包含唯一的邏輯功能塊索引信息，因此，通過(guò)讀取所述邏輯功能塊索引信息，即可調(diào)用與該邏輯功能塊索弓I信息對(duì)應(yīng)的測(cè)試程序。
[0068]S206、接收賦值的輸入變量，并根據(jù)所述輸入變量調(diào)用所述真值表測(cè)試程序和所述邏輯功能塊對(duì)應(yīng)的執(zhí)行時(shí)間進(jìn)行邏輯運(yùn)算，以獲取輸出變量的運(yùn)算值；
[0069]讀取所述輸入變量，并依據(jù)所述輸入變量的賦值信息對(duì)所述輸入變量進(jìn)行賦值，再依據(jù)調(diào)用的測(cè)試程序和執(zhí)行時(shí)間進(jìn)行邏輯運(yùn)算，得到輸出變量的輸出值。其中所述輸入變量可以為一個(gè)或多個(gè)，該輸入變量也可以為模擬量和/或數(shù)字量，所述輸入變量在構(gòu)建基于CSV格式的真值表時(shí)被設(shè)置。
[0070]當(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í)間。
[0071]本步驟中，上述執(zhí)行時(shí)間用于約束執(zhí)行的時(shí)序，通過(guò)調(diào)用所述測(cè)試程序來(lái)進(jìn)行邏輯運(yùn)算，最終得到輸出變量的輸出值。所述輸出變量可以為模擬量和/或數(shù)字量。
[0072]S207、判斷所述輸出變量的運(yùn)算值與預(yù)先設(shè)置的所述輸出變量的預(yù)期值是否一致；
[0073]在構(gòu)建基于CSV格式的真值表時(shí)，可以將輸出變量的預(yù)期值設(shè)置為模擬量和/或
數(shù)字量。
[0074]S208、若判斷一致，則輸出結(jié)果正確信息；否則，則輸出結(jié)果錯(cuò)誤信息。
[0075]若所述輸出變量的輸出值與所述輸出變量的預(yù)期值相同時(shí)，將輸出結(jié)果正確信息；若所述輸出變量的輸出值與所述輸出變量的預(yù)期值不同時(shí)，將輸出結(jié)果錯(cuò)誤信息。
[0076]本步驟，可將上述所述結(jié)果正確信息和/或結(jié)果錯(cuò)誤信息輸出，以對(duì)基于CSV格式的真值表進(jìn)行改寫，隨后另存到指定的文件夾中。而且，可同時(shí)對(duì)輸出變量的輸出值與輸出變量的預(yù)期值進(jìn)行比較，將不一致的結(jié)果標(biāo)識(shí)出來(lái)，便于分析檢查。
[0077]S209、存儲(chǔ)所述測(cè)試結(jié)果正確信息和/或結(jié)果錯(cuò)誤信息。
[0078]存儲(chǔ)所述結(jié)果正確信息和結(jié)果錯(cuò)誤信息，可以以驗(yàn)證報(bào)告的形式進(jìn)行保存，并標(biāo)識(shí)出輸出變量的輸出值與輸出變量的預(yù)期值不一致的部分，便于對(duì)比分析。
[0079]結(jié)束步驟:分析檢查輸出結(jié)果，如果輸出變量的輸出值與輸出變量的預(yù)期值一致，則說(shuō)明所測(cè)試儀控邏輯功能塊的這部分邏輯功能正確；反之，如果輸出變量的輸出值與輸出變量的預(yù)期值不一致，則說(shuō)明所測(cè)試儀控邏輯功能塊的這部分邏輯功能與要求功能不符合，則需具體分析其邏輯，提出解決方案，與設(shè)計(jì)者交流，待修改完成后，再進(jìn)行驗(yàn)證。
[0080]在其它實(shí)施例中，在所述實(shí)施例的基礎(chǔ)上，在步驟S205中，還可對(duì)該步驟進(jìn)行跟蹤，若測(cè)試程序中預(yù)計(jì)需執(zhí)行10步，但執(zhí)行到第7步時(shí)就停止了，即可跟蹤出在執(zhí)行第7步的時(shí)候出了差錯(cuò)，以便于用戶定位分析問(wèn)題。另外，也可設(shè)置程序復(fù)位，使測(cè)試流程返回到步驟S205。
[0081]本發(fā)明實(shí)施例提供的一種核電站儀控邏輯功能塊的測(cè)試方法具有以下優(yōu)點(diǎn):
[0082]第一、通過(guò)建立與邏輯功能塊外形和內(nèi)部邏輯一致的仿真模型，實(shí)行邏輯動(dòng)態(tài)驗(yàn)證，使驗(yàn)證簡(jiǎn)單直觀；
[0083]第二，通過(guò)構(gòu)建基于CSV格式的真值表和測(cè)試程序來(lái)進(jìn)行驗(yàn)證測(cè)試，便于修改及調(diào)整；
[0084]第三，全自動(dòng)的測(cè)試過(guò)程，減少人因失誤，提高測(cè)試效率；
[0085]第四，自動(dòng)生成測(cè)試結(jié)果和定位錯(cuò)誤，便于設(shè)計(jì)錯(cuò)誤的檢查。
[0086]如圖3所示，本發(fā)明實(shí)施例提供了一種核電站儀控邏輯功能塊的測(cè)試系統(tǒng)的結(jié)構(gòu)示意圖。該系統(tǒng)包括:
[0087]運(yùn)行單元101:用于根據(jù)接收的核電站儀控邏輯功能塊索引信息，運(yùn)行所述邏輯功能塊對(duì)應(yīng)的真值表測(cè)試程序；
[0088]運(yùn)算單元103:用于接收賦值的輸入變量，并根據(jù)所述輸入變量調(diào)用所述真值表測(cè)試程序和所述邏輯功能塊對(duì)應(yīng)的執(zhí)行時(shí)間進(jìn)行邏輯運(yùn)算，以獲取輸出變量的運(yùn)算值；
[0089]判斷單元105:用于判斷所述輸出變量的運(yùn)算值與預(yù)先設(shè)置的所述輸出變量的預(yù)期值是否一致；
[0090]輸出單元107:若判斷一致，則輸出結(jié)果正確信息；否則，則輸出結(jié)果錯(cuò)誤信息。
[0091]如圖4所示，本發(fā)明實(shí)施例提供了又一種核電站儀控邏輯功能塊的測(cè)試系統(tǒng)的結(jié)構(gòu)示意圖。該系統(tǒng)包括:
[0092]構(gòu)建單元201用于:根據(jù)邏輯功能塊的內(nèi)部邏輯構(gòu)建仿真模塊邏輯程序模塊；
[0093]檢查單元202，所述檢查單元用于將所述仿真模塊邏輯程序模塊的內(nèi)部邏輯與所述邏輯功能塊的內(nèi)部邏輯均轉(zhuǎn)換為文本文件，進(jìn)行一致性檢查。
[0094]所述構(gòu)建單元201還用于:構(gòu)建基于CSV格式的真值表測(cè)試程序，所述真值表中包括邏輯功能塊的索引信息、輸入變量、輸出變量、輸入變量的賦值信息、輸出變量的預(yù)期值和執(zhí)行時(shí)間。
[0095]初始化操作單元203:用于對(duì)所述邏輯功能塊進(jìn)行初始化操作。
[0096]運(yùn)行單元204:用于根據(jù)接收的核電站儀控邏輯功能塊索引信息，運(yùn)行所述邏輯功能塊對(duì)應(yīng)的真值表測(cè)試程序；
[0097]運(yùn)算單元205:用于接收賦值的輸入變量，并根據(jù)所述輸入變量調(diào)用所述真值表測(cè)試程序和所述邏輯功能塊對(duì)應(yīng)的執(zhí)行時(shí)間進(jìn)行邏輯運(yùn)算，以獲取輸出變量的運(yùn)算值；
[0098]判斷單元206:用于判斷所述輸出變量的運(yùn)算值與預(yù)先設(shè)置的所述輸出變量的預(yù)期值是否一致；
[0099]輸出單元207:若判斷一致，則輸出結(jié)果正確信息；否則，則輸出結(jié)果錯(cuò)誤信息。
[0100]存儲(chǔ)單元208:用于存儲(chǔ)所述測(cè)試結(jié)果正確信息和/或結(jié)果錯(cuò)誤信息。
[0101]本發(fā)明實(shí)施例提供的一種核電站儀控邏輯功能塊的測(cè)試系統(tǒng)具有以下優(yōu)點(diǎn):
[0102]第一、通過(guò)建立與邏輯功能塊外形和內(nèi)部邏輯一致的仿真模型，實(shí)行邏輯動(dòng)態(tài)驗(yàn)證，使驗(yàn)證簡(jiǎn)單直觀；
[0103]第二，通過(guò)構(gòu)建基于CSV格式的真值表和測(cè)試程序來(lái)進(jìn)行驗(yàn)證測(cè)試，便于修改及調(diào)整；
[0104]第三，全自動(dòng)的測(cè)試過(guò)程，減少人因失誤，提高測(cè)試效率；
[0105]第四，自動(dòng)生成測(cè)試結(jié)果和定位錯(cuò)誤，便于設(shè)計(jì)錯(cuò)誤的檢查。
[0106]以上所述僅為本發(fā)明的實(shí)施例，并不用以限制本發(fā)明，凡在本發(fā)明的精神和原則內(nèi)所作的任何修改、等同替換或改進(jìn)等，均應(yīng)包含在本發(fā)明的保護(hù)范圍內(nèi)。
【權(quán)利要求】
1.一種核電站儀控邏輯功能塊的測(cè)試方法，其特征在于，所述方法包括: 根據(jù)接收的核電站儀控邏輯功能塊索引信息，運(yùn)行所述邏輯功能塊對(duì)應(yīng)的真值表測(cè)試程序； 接收賦值的輸入變量，并根據(jù)所述輸入變量調(diào)用所述真值表測(cè)試程序和所述邏輯功能塊對(duì)應(yīng)的執(zhí)行時(shí)間進(jìn)行邏輯運(yùn)算，以獲取輸出變量的運(yùn)算值； 判斷所述輸出變量的運(yùn)算值與預(yù)先設(shè)置的所述輸出變量的預(yù)期值是否一致； 若判斷一致，則輸出結(jié)果正確信息；否則，則輸出結(jié)果錯(cuò)誤信息。
2.根據(jù)權(quán)利要求1所述的測(cè)試方法，其特征在于，所述方法還包括: 根據(jù)邏輯功能塊的內(nèi)部邏輯構(gòu)建仿真模塊邏輯程序模塊； 將所述仿真模塊邏輯程序模塊的內(nèi)部邏輯與所述邏輯功能塊的內(nèi)部邏輯均轉(zhuǎn)換為文本文件，進(jìn)行一致性檢查。
3.根據(jù)權(quán)利要求2所述的測(cè)試方法，其特征在于，所述方法還包括: 構(gòu)建基于CSV格式的真值表測(cè)試程序，所述真值表中包括邏輯功能塊的索引信息、輸入變量、輸出變量、輸入變量的賦值信息、輸出變量的預(yù)期值和執(zhí)行時(shí)間。
4.根據(jù)權(quán)利要求3所述的測(cè)試方法，其特征在于，所述方法還包括: 對(duì)所述邏輯功能塊進(jìn)行初始化操作。
5.根據(jù)權(quán)利要求1至4中任一項(xiàng)所述的測(cè)試方法，其特征在于，所述方法還包括: 存儲(chǔ)所述測(cè)試結(jié)果正確信息和/或結(jié)果錯(cuò)誤信息。
6.一種核電站儀控邏輯功能塊的測(cè)試系統(tǒng)，其特征在于，所述系統(tǒng)包括: 運(yùn)行單元:用于根據(jù)接收的核電站儀控邏輯功能塊索引信息，運(yùn)行所述邏輯功能塊對(duì)應(yīng)的真值表測(cè)試程序； 運(yùn)算單元:用于接收賦值的輸入變量，并根據(jù)所述輸入變量調(diào)用所述真值表測(cè)試程序和所述邏輯功能塊對(duì)應(yīng)的執(zhí)行時(shí)間進(jìn)行邏輯運(yùn)算，以獲取輸出變量的運(yùn)算值； 判斷單元:用于判斷所述輸出變量的運(yùn)算值與預(yù)先設(shè)置的所述輸出變量的預(yù)期值是否一致； 輸出單元:若判斷一致，則輸出結(jié)果正確信息；否則，則輸出結(jié)果錯(cuò)誤信息。
7.根據(jù)權(quán)利要求6所述的測(cè)試系統(tǒng)，其特征在于，所述系統(tǒng)還包括: 構(gòu)建單元用于:根據(jù)邏輯功能塊的內(nèi)部邏輯構(gòu)建仿真模塊邏輯程序模塊； 檢查單元，所述檢查單元用于將所述仿真模塊邏輯程序模塊的內(nèi)部邏輯與所述邏輯功能塊的內(nèi)部邏輯均轉(zhuǎn)換為文本文件，進(jìn)行一致性檢查。
8.根據(jù)權(quán)利要求7所述的測(cè)試系統(tǒng)，其特征在于，所述構(gòu)建單元還用于:構(gòu)建基于CSV格式的真值表測(cè)試程序，所述真值表中包括邏輯功能塊的索引信息、輸入變量、輸出變量、輸入變量的賦值信息、輸出變量的預(yù)期值和執(zhí)行時(shí)間。
9.根據(jù)權(quán)利要求8所述的測(cè)試系統(tǒng)，其特征在于，所述系統(tǒng)還包括: 初始化操作單元:用于對(duì)所述邏輯功能塊進(jìn)行初始化操作。
10.根據(jù)權(quán)利要求6至9中任一項(xiàng)所述的測(cè)試系統(tǒng)，其特征在于，所述系統(tǒng)還包括: 存儲(chǔ)單元:用于存儲(chǔ)所述測(cè)試結(jié)果正確信息和/或結(jié)果錯(cuò)誤信息。
【文檔編號(hào)】G05B23/02GK103869801SQ201210537303
【公開日】2014年6月18日 申請(qǐng)日期:2012年12月13日 優(yōu)先權(quán)日:2012年12月13日
【發(fā)明者】平嘉臨, 盧超, 顏振宇, 段奇志, 謝紅云 申請(qǐng)人:中廣核工程有限公司, 中國(guó)廣東核電集團(tuán)有限公司