基于UML序列圖的測試方法研究與工具實(shí)現(xiàn).pdf

1、在軟件生命周期中，軟件測試是保證軟件質(zhì)量的關(guān)鍵環(huán)節(jié)之一，隨著面向?qū)ο蠹夹g(shù)的廣泛應(yīng)用，使得面向?qū)ο蟮能浖y試的研究也越來越受到重視。但面向?qū)ο蟪绦虻姆庋b、繼承、多態(tài)和異常處理機(jī)制等新特性卻給軟件測試帶來新的挑戰(zhàn)。探索出適應(yīng)面向?qū)ο筇卣鞯臏y試?yán)碚撆c技術(shù)非常重要。面向?qū)ο鬁y試系統(tǒng)的測試劃分為四級：方法級、類級、簇級和系統(tǒng)級測試。方法級和系統(tǒng)級的測試方法與傳統(tǒng)的結(jié)構(gòu)性測試方法類似，而類級和簇級的測試面臨新的問題。
　　 UML(Unif

2、ied Model Language)是一種功能強(qiáng)大的建模語言，它提出了一些建模機(jī)制和一系列的可視化圖幫助開發(fā)者設(shè)計(jì)系統(tǒng)。UML對系統(tǒng)的描述簡練而精確，在軟件領(lǐng)域得到廣泛的應(yīng)用。因此對于面向?qū)ο蟮某绦蜻M(jìn)行基于UML圖的測試具有現(xiàn)實(shí)意義?；赨ML的測試能夠在類級和類簇級生成測試用例，這樣使測試工作提前進(jìn)入開發(fā)流程，保證被測試程序與設(shè)計(jì)的一致性。
　　 一種基于UML 序列圖的面向?qū)ο箢惔丶墱y試方法TMBSD基于序列圖的語義提取對

3、象交互信息，并生成測試用例，根據(jù)測試用例使用測試驅(qū)動器對程序源碼生成測試樁、插樁，測試驅(qū)動器編譯并執(zhí)行插樁后的代碼，比較測試用例的預(yù)期輸出得到測試結(jié)果。UML2.0中對序列圖提供了許多新特性以擴(kuò)展序列圖的符號和語義，如分支，循環(huán)等，這種測試方法提供了對這些新特性的支持。
　　 為了驗(yàn)證理論的正確性，實(shí)現(xiàn)的原型系統(tǒng)SDUnit對該方法進(jìn)行了檢驗(yàn)。SDUnit提供了基于UML 序列圖對面向?qū)ο蟪绦蜻M(jìn)行類簇級測試，能夠有效的檢測出程序