1、本文以統(tǒng)一建模語言UML為基礎(chǔ)，從UML描述的軟件系統(tǒng)需求規(guī)約中生成測試用例，測試基于組件的軟件系統(tǒng)。具體工作如下： 1.首先分析組件系統(tǒng)的特點(diǎn)，從整體上研究了基于UML模型的組件測試方法，給出基于UML模型的測試策略，并對部分模型圖進(jìn)行了可測性與測試策略分析。 2.針對組件系統(tǒng)集成測試中組件間的交互問題，提出UML協(xié)作圖是測試的重要依據(jù)。重點(diǎn)研究了基于UML協(xié)作圖模型的測試用例設(shè)計(jì)與生成方法，對協(xié)作圖的語法、語義進(jìn)行了

2、形式化的描述和定義。 3.給出了基于UML協(xié)作圖模型生成測試用例的總體策略，包括基于協(xié)作圖模型控制流結(jié)構(gòu)的測試場景生成，和針對輸入量的測試數(shù)據(jù)生成；通過擴(kuò)展傳統(tǒng)測試中的路徑覆蓋準(zhǔn)則，提出了一個(gè)基于協(xié)作圖模型的消息序列覆蓋準(zhǔn)則。 4.對基于UML協(xié)作圖模型的測試腳本設(shè)計(jì)與生成進(jìn)行了初步探索，給出了基于協(xié)作圖模型的測試腳本生成基本策略。 5.通過與UML建模工具RationalRose的集成，實(shí)現(xiàn)了一個(gè)從UML協(xié)作圖