發(fā)布時(shí)間：2021-08-06 15:34

　　現(xiàn)如今,隨著軟件復(fù)雜度的提升,基于組件的軟件開發(fā)方法越來越被開發(fā)人員所青睞,相關(guān)的質(zhì)量保證技術(shù)和方法也成為重要的研究?jī)?nèi)容。雖然組件在集成到應(yīng)用環(huán)境之前,已經(jīng)進(jìn)行了嚴(yán)格的單元測(cè)試,但這并不能保證集成后的軟件系統(tǒng)不會(huì)出現(xiàn)問題。同時(shí),考慮到測(cè)試成本問題,有必要使用自動(dòng)化集成測(cè)試技術(shù)來保證基于組件的軟件系統(tǒng)質(zhì)量。在基于組件的軟件系統(tǒng)中,集成測(cè)試主要檢測(cè)組件間的交互是否被正確地實(shí)現(xiàn),所以也被稱為組件交互測(cè)試。UML協(xié)作圖作為UML交互圖之一,使用有序消息描述了組件間的協(xié)作和交互關(guān)系,是良好的集成測(cè)試模型。另外,合約作為組件間的交互規(guī)則,描述了調(diào)用組件前后必須滿足的約束條件,能夠?yàn)闇y(cè)試用例的生成提供依據(jù)。據(jù)此,本文通過在UML協(xié)作圖中嵌入合約,提出了基于組件執(zhí)行樹模型的自動(dòng)集成測(cè)試方法。本文的研究工作主要分為以下三個(gè)方面:（1）提出了組件執(zhí)行樹模型及其構(gòu)建方法�；诮M件的軟件系統(tǒng)通過一個(gè)個(gè)組件之間的交互,實(shí)現(xiàn)特定的功能。本文以組件執(zhí)行樹的形式,將系統(tǒng)功能執(zhí)行過程中,組件之間的交互關(guān)系清晰直觀地展示出來。同時(shí),利用協(xié)作圖中的控制流信息,結(jié)合作為組件規(guī)范的合約,建立組件執(zhí)行樹模型。（2）提出了基于組件... 

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

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

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

【部分圖文】：

一個(gè)簡(jiǎn)單的協(xié)作圖

含故障類型 B（或稱為故障類型 A 強(qiáng)于故障類型 B，記作 A→B），這意味著測(cè)試用例集 S 如果能檢測(cè)出故障類型 A，則它也一定能檢測(cè)出故障類型 B。根據(jù)故障類型之間的包含關(guān)系，可以集中精力測(cè)試較強(qiáng)的故障類型，從而降低測(cè)試成本。不同故障類型之間的包含關(guān)系研究主要是面向 DNF 和 GF 布爾表達(dá)式。對(duì)于 DNF 布爾表達(dá)式，不同故障類型之間的包含關(guān)系研究工作[26] -[30]以逐層遞進(jìn)的方式，從表達(dá)式層次開始，逐漸深入細(xì)化到乘積項(xiàng)、操作符、變量、文字和括號(hào)層次。然而，在實(shí)際應(yīng)用中，原始的布爾表達(dá)式更多是以 GF 形式呈現(xiàn)，而且從 GF 到 IDNF 的轉(zhuǎn)換也可能將原本的單個(gè)故障擴(kuò)大為多個(gè)故障[31]。因此，有研究者探索了 GF 布爾表達(dá)式的部分故障類型包含關(guān)系[32] -[33]。圖 2.2 總結(jié)了現(xiàn)有的故障類型包含關(guān)系。

軟件工程總工作量的 40%以上。因此，使該過程自動(dòng)化便具有重要意義，這樣可以顯著降低軟件測(cè)試的成本并提高其效率。為了實(shí)現(xiàn)基于組件的軟件系統(tǒng)的自動(dòng)化集成測(cè)試，本章根據(jù)上一章介紹的方法，開發(fā)了一個(gè)基于組件執(zhí)行樹模型的測(cè)試工具。4.1 測(cè)試工具的設(shè)計(jì)4.1.1 工具架構(gòu)基于組件執(zhí)行樹模型的測(cè)試工具主要由 UML 協(xié)作圖和合約信息獲取模塊、組件執(zhí)行樹模型建立模塊、路徑約束確定模塊和集成測(cè)試用例生成模塊等幾部分組成，具體架構(gòu)如圖 4.1 所示。

【參考文獻(xiàn)】：
期刊論文
[1]求解SAT問題的算法的研究進(jìn)展[J]. 郭瑩,張長(zhǎng)勝,張斌.  計(jì)算機(jī)科學(xué). 2016(03)
[2]SMT求解技術(shù)簡(jiǎn)述[J]. 金繼偉,馬菲菲,張健.  計(jì)算機(jī)科學(xué)與探索. 2015(07)
[3]一種面向交互代碼的構(gòu)件合約化測(cè)試方法[J]. 趙艷妮,郭華磊.  西安科技大學(xué)學(xué)報(bào). 2014(03)
[4]基于合約狀態(tài)檢查的構(gòu)件易測(cè)試研究[J]. 趙艷妮,郭華磊.  現(xiàn)代電子技術(shù). 2014(10)
[5]帶OCL約束的多態(tài)路徑測(cè)試線索生成方法[J]. 曾一,劉青香,王翠欽,洪豪.  計(jì)算機(jī)工程. 2013(08)
[6]基于UML模型和OCL約束的類間交互測(cè)試用例生成方法研究[J]. 柴玉梅,馮秋燕,王黎明.  電子學(xué)報(bào). 2013(06)
[7]基于故障的布爾表達(dá)式測(cè)試技術(shù)綜述[J]. 孫昌愛,程慶順.  計(jì)算機(jī)科學(xué). 2013(03)
[8]一種新的布爾規(guī)格測(cè)試用例生成算法[J]. 李磊芳,徐寶文,陳振宇,章曉芳,董國偉.  東南大學(xué)學(xué)報(bào)(自然科學(xué)版). 2010(02)



本文編號(hào)：3326033