基于UML的軟件測(cè)試自動(dòng)化研究.pdf

1、本文對(duì)基于UML狀態(tài)圖的測(cè)試用例自動(dòng)生成方法進(jìn)行了比較完整、系統(tǒng)的研究，它是一種針對(duì)面向?qū)ο筌浖念惢蝾惔丶?jí)測(cè)試。下面從幾個(gè)方面來(lái)介紹本文的主要研究?jī)?nèi)容： 分析了在軟件設(shè)計(jì)過程中進(jìn)行軟件測(cè)試的重要性和實(shí)現(xiàn)測(cè)試過程自動(dòng)化的必要性，論述了研究基于UML的軟件測(cè)試自動(dòng)化的意義和價(jià)值。 分析了面向?qū)ο筌浖y(cè)試技術(shù)的特點(diǎn)，討論了面向?qū)ο筌浖y(cè)試的幾種方法，其中包括基于方法序列規(guī)范的測(cè)試、基于狀態(tài)的測(cè)試、基于類流圖的測(cè)試和基于UML

2、的測(cè)試；介紹了常見的面向?qū)ο筌浖y(cè)試的層次劃分方法,通常把面向?qū)ο筌浖y(cè)試劃分為四個(gè)層次：方法測(cè)試、類測(cè)試、類簇測(cè)試、系統(tǒng)測(cè)試； 分析研究了UML (unified modeling language)狀態(tài)圖的操作語(yǔ)義：根據(jù)UML的語(yǔ)義文檔，給出描述對(duì)象狀態(tài)機(jī)的UML狀態(tài)圖的形式化操作語(yǔ)義，為UML狀態(tài)圖的測(cè)試用例生成奠定基礎(chǔ)。 研究了將UML狀態(tài)圖轉(zhuǎn)換為EFSM(Extended Finite State Machin

3、e)的方法：由于UML狀態(tài)圖中的狀態(tài)層次和并發(fā)結(jié)構(gòu)，使得傳統(tǒng)的流分析測(cè)試技術(shù)不能直接得到應(yīng)用，這里可以先消除其中的層次和并發(fā)，將其轉(zhuǎn)換為EFSM，并根據(jù)這種EFSM來(lái)分析狀態(tài)圖中的控制流和數(shù)據(jù)流，然后通過對(duì)EFSM進(jìn)行遍歷得到相應(yīng)的測(cè)試序列。 對(duì)基于有限狀態(tài)機(jī)的測(cè)試方法進(jìn)行了對(duì)比分析，重點(diǎn)討論了UIO方法的測(cè)試覆蓋準(zhǔn)則和狀態(tài)不可達(dá)問題，并對(duì)其提出了改進(jìn)方法，使產(chǎn)生的測(cè)試用例由原來(lái)能達(dá)到的狀態(tài)覆蓋擴(kuò)展為狀態(tài)一轉(zhuǎn)換覆蓋，并對(duì)狀態(tài)不可