基于UML的測試技術(shù)的研究.pdf

1、隨著信息技術(shù)的發(fā)展,軟件規(guī)模不斷擴大,如何保證和提高軟件質(zhì)量成為軟件工程最為關(guān)心的問題之一。軟件測試作為保證軟件質(zhì)量的關(guān)鍵技術(shù)之一,能夠有效地發(fā)現(xiàn)軟件中的故障。但是,隨著軟件開發(fā)方法和軟件工程的發(fā)展,特別是面向?qū)ο蠹夹g(shù)的廣泛應(yīng)用,面向?qū)ο蠹夹g(shù)自身的各種特性給軟件測試帶來了新的挑戰(zhàn)。傳統(tǒng)的軟件測試方法和技術(shù)是基于結(jié)構(gòu)化思想的,較少考慮面向?qū)ο蠹夹g(shù)的特性,很多情況下它們不能適應(yīng)面向?qū)ο筌浖臏y試。為了對面向?qū)ο筌浖M行有效的測試,就迫切需要

2、研究面向?qū)ο筌浖臏y試方法與技術(shù)。
　　統(tǒng)一建模語言(Unified Modeling Language,UML)是一種描述能力強大并且涵義直觀的標(biāo)準(zhǔn)建模語言。統(tǒng)一建模語言是一種圖形化的建模語言,用于明確規(guī)定和構(gòu)建軟件系統(tǒng)開發(fā)過程中形成的產(chǎn)品,它提供多種圖元從不同的角度和應(yīng)用層次刻畫系統(tǒng)特性以及復(fù)雜的運行環(huán)境。使用統(tǒng)一建模語言UML建立的模型圖能夠很好的描述面向?qū)ο筌浖鱾€方面的特性,從而為測試工作提供了不少方便,而傳統(tǒng)的軟件測試

3、技術(shù)無法有效的對其進行測試。因此,基于被測試軟件系統(tǒng)的UML模型圖的測試及其自動化方法和技術(shù)的研究也就成為當(dāng)前測試領(lǐng)域研究的熱點之一。本文對基于UML模型圖的測試用例生成方法進行了相應(yīng)的研究和探討。
　　測試充分性準(zhǔn)則是整個軟件測試的核心,它直接決定了測試用例的生成,而測試用例生成是軟件測試的關(guān)鍵。本文研究分析了基于UML狀態(tài)圖的面向?qū)ο箢惣墱y試用例生成技術(shù),所做的研究工作有:將UML狀態(tài)圖轉(zhuǎn)換成相應(yīng)的有限狀態(tài)機,根據(jù)有限狀態(tài)機的

4、規(guī)格說明信息,按照不同的測試充分性標(biāo)準(zhǔn),分別提出算法1,通過遍歷相應(yīng)的測試樹,生成滿足狀態(tài)覆蓋標(biāo)準(zhǔn)的測試用例集,和算法2,生成滿足遷移覆蓋標(biāo)準(zhǔn)的測試用例集,并結(jié)合一個具體的狀態(tài)圖實例說明了該方法的使用過程。論文最后還通過一個基于UML的研究生管理系統(tǒng)的框架設(shè)計,對UML的其他模型圖進行相應(yīng)的測試策略分析。與傳統(tǒng)的軟件測試方法相比較,基于UML模型圖的軟件測試具有比較明顯的優(yōu)勢,體現(xiàn)在:1、通用性,測試完全基于UML的模型圖,減少了模型建