基于UML的軟件測試自動化研究.pdf

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

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

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