核電廠安全級DCS是保障核反應(yīng)堆正常運行的核心控制系統(tǒng),DCS系統(tǒng)軟件的可靠性至關(guān)重要。安全級DCS軟件系統(tǒng)由組態(tài)算法模塊搭建而成,組態(tài)算法模塊的每一條控制路徑應(yīng)符合期望值,對路徑的高效測試成為需要研究的問題。符號執(zhí)行技術(shù)在單元路徑測試方面較為成功,而安全級DCS組態(tài)算法模塊由較多的基礎(chǔ)算法組態(tài)搭建而成,DCS控制組態(tài)算法模塊的符號執(zhí)行面臨挑戰(zhàn)。本文在研究符號執(zhí)行和安全級DCS組態(tài)的基礎(chǔ)上,提出了安全級DCS的符號執(zhí)行方法:1)在對安全級DCS控制信號類型的研究基礎(chǔ)上,提出了類型標(biāo)準(zhǔn)化方法解決內(nèi)存建模問題,避免了復(fù)雜的指針和別名分析,保證了符號執(zhí)行的精確度。2)在對安全級DCS基礎(chǔ)算法塊的耦合性研究基礎(chǔ)上,結(jié)合最小切割思想和權(quán)值分析,給出了多耦合變量長路徑約束公式的優(yōu)化方法。3)在研究安全級DCS組態(tài)算法模塊的工作模式基礎(chǔ)上,給出了預(yù)置變量常量化方法約減共參復(fù)雜長路徑約束公式的方法。4)在對安全級DCS符號執(zhí)行的路徑規(guī)模的研究基礎(chǔ)上,結(jié)合安全級DCS實際生產(chǎn)環(huán)境,給出了DCS符號執(zhí)行實際規(guī)模的參考。5)給出了完整的安全級DCS自動化測試框架,并設(shè)計了自動化執(zhí)行工具。使用自動化執(zhí)行工具對... 

【文章來源】：南華大學(xué)湖南省

【文章頁數(shù)】：64 頁

【學(xué)位級別】：碩士

【部分圖文】：

DCS組態(tài)設(shè)計流程

南華大學(xué)碩士學(xué)位論文10圖2.3路徑結(jié)構(gòu)2)循環(huán)少：循環(huán)少是因為除了一些高階算子會翻譯成循環(huán)的迭代訪問外，其他代碼結(jié)構(gòu)很少包含循環(huán)，高階算子的模型和代碼如圖2.4所示。圖2.4高階算子C代碼3)外部系統(tǒng)調(diào)用少：DCS軟件控制算法處理的是信號的運算，在計算階段很少與外部進(jìn)行交互，所有的交互在計算完成之后進(jìn)行。4)復(fù)雜數(shù)據(jù)類型多:如DCS信號封裝為結(jié)構(gòu)體，這是由DCS系統(tǒng)特性所設(shè)定的。因為DCS的處理信號常常包含狀態(tài)和數(shù)據(jù)，通常將狀態(tài)和數(shù)據(jù)使用一個結(jié)構(gòu)體進(jìn)行封裝。如輸入信號I在代碼中表示為structI{boolstatus,boolvalue}。2.2核電V&V軟件驗證和確認(rèn)（verificationandvalidation，V&V）是一種過程方法[33]，因其流程規(guī)范，被廣泛使用在高安全系統(tǒng)的質(zhì)量保障上。在規(guī)范的實施V&V所規(guī)定的各項要求后，軟件的質(zhì)量能保持較高的可信度。在核電的V&V中，目前主要分為兩大標(biāo)準(zhǔn)。一種是美國主導(dǎo)美標(biāo)[34]，另一種是國際原子能機(jī)構(gòu)（InternationalAtomicEnergyAgency，IAEA）主導(dǎo)的歐標(biāo)[35]。美標(biāo)和歐標(biāo)在流程和具體實施細(xì)則上存在一些差異，但各有其優(yōu)缺點。核電的V&V是一個世界難題，在我國的核電V&V體系的建設(shè)中，實際上是參考了兩種標(biāo)準(zhǔn)體系開始建立的。但在實際的操作層面，我國也在不斷探索和完善。在核電V&V中，

南華大學(xué)碩士學(xué)位論文10圖2.3路徑結(jié)構(gòu)2)循環(huán)少：循環(huán)少是因為除了一些高階算子會翻譯成循環(huán)的迭代訪問外，其他代碼結(jié)構(gòu)很少包含循環(huán)，高階算子的模型和代碼如圖2.4所示。圖2.4高階算子C代碼3)外部系統(tǒng)調(diào)用少：DCS軟件控制算法處理的是信號的運算，在計算階段很少與外部進(jìn)行交互，所有的交互在計算完成之后進(jìn)行。4)復(fù)雜數(shù)據(jù)類型多:如DCS信號封裝為結(jié)構(gòu)體，這是由DCS系統(tǒng)特性所設(shè)定的。因為DCS的處理信號常常包含狀態(tài)和數(shù)據(jù)，通常將狀態(tài)和數(shù)據(jù)使用一個結(jié)構(gòu)體進(jìn)行封裝。如輸入信號I在代碼中表示為structI{boolstatus,boolvalue}。2.2核電V&V軟件驗證和確認(rèn)（verificationandvalidation，V&V）是一種過程方法[33]，因其流程規(guī)范，被廣泛使用在高安全系統(tǒng)的質(zhì)量保障上。在規(guī)范的實施V&V所規(guī)定的各項要求后，軟件的質(zhì)量能保持較高的可信度。在核電的V&V中，目前主要分為兩大標(biāo)準(zhǔn)。一種是美國主導(dǎo)美標(biāo)[34]，另一種是國際原子能機(jī)構(gòu)（InternationalAtomicEnergyAgency，IAEA）主導(dǎo)的歐標(biāo)[35]。美標(biāo)和歐標(biāo)在流程和具體實施細(xì)則上存在一些差異，但各有其優(yōu)缺點。核電的V&V是一個世界難題，在我國的核電V&V體系的建設(shè)中，實際上是參考了兩種標(biāo)準(zhǔn)體系開始建立的。但在實際的操作層面，我國也在不斷探索和完善。在核電V&V中，

【參考文獻(xiàn)】：
期刊論文
[1]核電項目DCS工廠測試用例自動化生成工具[J]. 劉劍,杜文艷,劉飛.  數(shù)字技術(shù)與應(yīng)用. 2019(04)
[2]一種基于改進(jìn)遺傳算法的路徑測試用例生成方法[J]. 包曉安,熊子健,張唯,吳彪,張娜.  計算機(jī)科學(xué). 2018(08)
[3]基于蟻群算法的猜測符號執(zhí)行的路徑搜索[J]. 李航,臧洌,甘露.  計算機(jī)科學(xué). 2018(06)
[4]基于FPGA的算法組態(tài)技術(shù)在安全級數(shù)字化I&C中的應(yīng)用[J]. 劉志凱,王嵚峰,王冬,張柯.  儀器儀表用戶. 2017(11)
[5]反應(yīng)堆保護(hù)系統(tǒng)應(yīng)用軟件集成測試方法[J]. 康禮鴻,郭小星,廖一波.  核電子學(xué)與探測技術(shù). 2017(07)
[6]質(zhì)量流量計與DCS通訊難點詳解[J]. 鄒凱開,陳亮.  自動化與儀器儀表. 2017(S1)
[7]非安全級DCS軟件典型問題分析[J]. 劉鐘,宋明亮,吳佳潔.  核動力工程. 2017(03)
[8]基于模型代數(shù)的基本路徑集的自動生成[J]. 趙會群,盧飛.  計算機(jī)科學(xué). 2017(04)
[9]DCS軟件界面自動化測試技術(shù)研究與應(yīng)用[J]. 劉紅剛,黃太新,宋立新,孟廣國.  自動化博覽. 2017(04)
[10]核電廠DCS安全級應(yīng)用軟件的集成測試方法[J]. 徐展,夏丹陽.  自動化博覽. 2015(06)



本文編號：3524321