核電產(chǎn)業(yè)高速成長(zhǎng),為國(guó)民帶來(lái)改善經(jīng)濟(jì)水平的機(jī)遇、降低環(huán)境污染的可能,并被作為保障國(guó)家安全穩(wěn)定的手段。然而在獲利的同時(shí),也蘊(yùn)藏許多風(fēng)險(xiǎn)。其中部分風(fēng)險(xiǎn)的發(fā)生會(huì)造成難以估量的損失。核電產(chǎn)業(yè)的安全性受到了多方矚目,為提升安全性,需要對(duì)核電產(chǎn)業(yè)相關(guān)軟件系統(tǒng)進(jìn)行軟件測(cè)試。數(shù)字化儀控系統(tǒng)（Digital Instrument And Control System,DCS）,在核電領(lǐng)域應(yīng)用廣泛。DCS系統(tǒng)經(jīng)由高安全性應(yīng)用開(kāi)發(fā)環(huán)境（Safety-Critical Application Development Environment,SCADE）平臺(tái)進(jìn)行開(kāi)發(fā),通過(guò)構(gòu)建組件模型刻畫(huà)軟件系統(tǒng)特征。在核電DCS系統(tǒng)基于組件模型的自動(dòng)化測(cè)試用例生成引入合約的概念,通過(guò)合約定義軟件系統(tǒng)中組件的交互規(guī)則,并以此作為驗(yàn)證組件執(zhí)行正確性的手段,生成測(cè)試用例�，F(xiàn)有方法有手工測(cè)試及系統(tǒng)合約求解測(cè)試兩種。前者存在效率低、工作量大、復(fù)用性差,由于個(gè)體差異影響,導(dǎo)致測(cè)試充分度難以保障等問(wèn)題。后者應(yīng)對(duì)大型復(fù)雜系統(tǒng)時(shí),存在NP完全問(wèn)題,求解難度高,耗時(shí)長(zhǎng)等問(wèn)題。據(jù)此,為提高測(cè)試效率,降低求解測(cè)試用例難度,本文基于組件合約模型,將排列... 

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

【文章頁(yè)數(shù)】：68 頁(yè)

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

【部分圖文】：

映射后的合約關(guān)系

南華大學(xué)碩士學(xué)位論文12Invariance條件，使用本文方法逐級(jí)求解測(cè)試用例。2.4.3接口傳遞的數(shù)據(jù)類型定義根據(jù)定義2.2知，其中組件接口分為輸入接口（II）、輸出接口（OI）及參數(shù)接口（PI）。接口傳遞數(shù)據(jù)信號(hào)，調(diào)用組件方法。共有外部輸入數(shù)據(jù)、內(nèi)部傳遞數(shù)據(jù)及輸出數(shù)據(jù)三種數(shù)據(jù)類型。不同接口將傳遞不同類型的數(shù)據(jù)。II將傳遞外部輸入數(shù)據(jù)及內(nèi)部傳遞數(shù)據(jù)。OI將傳遞輸出數(shù)據(jù)。PI將傳遞外部輸入數(shù)據(jù)。本文方法將使用外部輸入數(shù)據(jù)生成初始輸入數(shù)據(jù)，獲取并存儲(chǔ)測(cè)試用例外部輸入?yún)?shù)值、狀態(tài)及組件參數(shù)值；使用存儲(chǔ)的初始輸入數(shù)據(jù)及內(nèi)部傳遞數(shù)據(jù)實(shí)現(xiàn)組件方法調(diào)用；使用輸入數(shù)據(jù)求解被調(diào)用方法的輸出數(shù)據(jù)，補(bǔ)充完整測(cè)試用例。接口傳遞數(shù)據(jù)類型及合約對(duì)應(yīng)關(guān)系見(jiàn)圖2.2：圖2.2傳遞數(shù)據(jù)類型及合約對(duì)應(yīng)關(guān)系定義2.3SCCS（擴(kuò)展組件合約集）：引入合約化設(shè)計(jì)理論，并結(jié)合數(shù)據(jù)類型再劃分的合約關(guān)系，可被視為一個(gè)四元組::<Pre-初始輸入數(shù)據(jù)合約，Pre-方法調(diào)用判別合約，Post-輸出數(shù)據(jù)求解合約，Invariance>。外部輸入數(shù)據(jù)：軟件系統(tǒng)中，除因存在依賴關(guān)系而導(dǎo)致的數(shù)據(jù)流傳輸以外的數(shù)據(jù)。即：1）軟件系統(tǒng)首個(gè)組件預(yù)啟動(dòng)前產(chǎn)生的首批外部輸入?yún)?shù)值、外部輸入?yún)?shù)狀態(tài)；2）組件與外部環(huán)境產(chǎn)生的外部輸入?yún)?shù)值、外部輸入?yún)?shù)狀態(tài)；3）軟件系統(tǒng)中所有組件個(gè)體存在組件參數(shù)值。此部分?jǐn)?shù)據(jù)應(yīng)用于軟件系統(tǒng)進(jìn)行自動(dòng)化測(cè)試用例集生成時(shí)初始輸入數(shù)據(jù)生成，即映射后的Pre、Invariance條件。定義2.4初始輸入數(shù)據(jù)：初始輸入數(shù)據(jù)可視為一個(gè)三元組::<外部輸入?yún)?shù)值集，外

南華大學(xué)碩士學(xué)位論文18賴關(guān)系。即時(shí)依賴及時(shí)序依賴，均是依靠數(shù)據(jù)流傳遞，調(diào)用組件中某方法，實(shí)現(xiàn)系統(tǒng)相應(yīng)功能�，F(xiàn)給出兩種依賴關(guān)系的形式化定義：定義3.2即時(shí)依賴（Rf）：整合接口依賴（Ri）及輸入輸出依賴（Rio）。組件Cb中存在方法P，方法P的執(zhí)行需要依賴組件Cb的輸入接口IB接收來(lái)自此輪被依賴組件Ca的輸出接口輸出的數(shù)據(jù)流OA。此時(shí)，稱組件Ca、Cb間存在即時(shí)依賴關(guān)系。定義3.3時(shí)序依賴（Rts）：整合接口依賴（Ri）及時(shí)間依賴（Rt）。組件Cb中存在方法P1，方法P1的執(zhí)行需要獲取上一輪執(zhí)行軟件系統(tǒng)時(shí)P1的輸出的數(shù)據(jù)流OB，此時(shí)，稱組件Cb存在時(shí)序依賴關(guān)系。上述依賴關(guān)系中數(shù)據(jù)流傳遞包含兩種類型的數(shù)據(jù)：狀態(tài)及數(shù)值。兩者又分別滿足狀態(tài)依賴（Rs）及數(shù)值依賴（Rd）的依賴關(guān)系。其中狀態(tài)依賴限制輸入狀態(tài)必須處于特定狀態(tài)時(shí)，方法才可能被執(zhí)行；數(shù)值依賴限制輸入數(shù)值必須處于特定區(qū)間范圍內(nèi)時(shí)，方法才可能被執(zhí)行。狀態(tài)滿足或數(shù)值滿足通常為方法執(zhí)行的必要不充分條件。兩者同時(shí)滿足為方法執(zhí)行的充要條件。其中存在一種特殊情況，個(gè)別組件方法的觸發(fā)僅需滿足狀態(tài)依賴，此刻狀態(tài)滿足為方法執(zhí)行的充要條件。例，軟件系統(tǒng)中存在五個(gè)組件(A，B，C，D，E)，組件間依賴關(guān)系下：RfCA,RfBA，RfED,RfEC,RfEB，RtsDD。則，軟件系統(tǒng)的組件依賴圖如圖3.1所示：圖3.1組件依賴圖示例此刻組件C與組件A，組件B與組件A，組件E與組件D，組件E與組件C，組件E與組件B之間存在即時(shí)依賴關(guān)系。組件D存在時(shí)序依賴關(guān)系。

【參考文獻(xiàn)】：
期刊論文
[1]核電項(xiàng)目DCS工廠測(cè)試用例自動(dòng)化生成工具[J]. 劉劍,杜文艷,劉飛.  數(shù)字技術(shù)與應(yīng)用. 2019(04)
[2]基于UML的軍用軟件運(yùn)行剖面元模型研究[J]. 孫媛,唐金國(guó),徐吉輝.  計(jì)算機(jī)與數(shù)字工程. 2018(02)
[3]模型自動(dòng)轉(zhuǎn)換與一致性驗(yàn)證方法[J]. 張建,吳俊,方景龍.  計(jì)算機(jī)工程與設(shè)計(jì). 2017(09)
[4]SCADE開(kāi)發(fā)既有系統(tǒng)中單個(gè)模塊方法的研究[J]. 李文婷.  鐵路通信信號(hào)工程技術(shù). 2017(03)
[5]集成測(cè)試中的類測(cè)試順序生成技術(shù)述評(píng)[J]. 張艷梅,姜淑娟,張妙,鞠小林.  計(jì)算機(jī)學(xué)報(bào). 2018(03)
[6]基于合約的SCADE測(cè)試工具設(shè)計(jì)與實(shí)現(xiàn)[J]. 劉小同,熊夢(mèng),陽(yáng)小華,劉杰.  電腦知識(shí)與技術(shù). 2017(11)
[7]DCS軟件界面自動(dòng)化測(cè)試技術(shù)研究與應(yīng)用[J]. 劉紅剛,黃太新,宋立新,孟廣國(guó).  自動(dòng)化博覽. 2017(04)
[8]依賴距離主導(dǎo)的向量化方法研究[J]. 丁麗麗,韓林,王冬,張素平,王鵬翔,于海寧.  計(jì)算機(jī)應(yīng)用研究. 2017(05)
[9]基于UML模型集成測(cè)試工具的建模與設(shè)計(jì)[J]. 樊鑫,鄭巍,楊豐玉.  計(jì)算機(jī)測(cè)量與控制. 2015(12)
[10]基于依賴圖等價(jià)代換的SSDG構(gòu)建算法[J]. 徐東,狄效國(guó),孟宇龍,馮曉寧.  計(jì)算機(jī)工程. 2015(12)

碩士論文
[1]基于SCADE模型的車載ATP軟件測(cè)試方法[D]. 湯圣杰.北京交通大學(xué) 2019
[2]基于二部圖及合約的測(cè)試用例自動(dòng)生成方法研究與實(shí)現(xiàn)[D]. 郭華楊.昆明理工大學(xué) 2013
[3]COM組件系統(tǒng)依賴分析方法與回歸測(cè)試研究[D]. 劉倩.華中科技大學(xué) 2011
[4]基于依賴的構(gòu)件集成測(cè)試方法研究[D]. 陳祖文.華中科技大學(xué) 2011



本文編號(hào)：2987774