1、本文對基于UML狀態(tài)圖的測試用例自動生成方法進行了比較完整、系統(tǒng)的研究，它是一種針對面向對象軟件的類或類簇級測試。下面從幾個方面來介紹本文的主要研究內容： 分析了在軟件設計過程中進行軟件測試的重要性和實現(xiàn)測試過程自動化的必要性，論述了研究基于UML的軟件測試自動化的意義和價值。 分析了面向對象軟件測試技術的特點，討論了面向對象軟件測試的幾種方法，其中包括基于方法序列規(guī)范的測試、基于狀態(tài)的測試、基于類流圖的測試和基于UML

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

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