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

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

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

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