一種基于UML的集成測試線索生成方法.pdf

1、隨著信息技術(shù)的發(fā)展，軟件規(guī)模不斷擴(kuò)大，如何保證和提高軟件質(zhì)量成為軟件工程最為關(guān)心的問題之一。軟件測試能夠有效地發(fā)現(xiàn)軟件中的缺陷和故障，是保證軟件質(zhì)量的關(guān)鍵技術(shù)。隨著 UML模型的廣泛使用，基于 UML模型的軟件測試越來越受到人們的關(guān)注。本文對基于 UML設(shè)計(jì)模型的生成集成測試線索方法和程序多態(tài)性的測試問題進(jìn)行了深入研究。
　　首先，根據(jù)集成測試線索提供的兩層測試統(tǒng)一視圖，針對在不同層次上提取測試線索遇到的問題，提出了生成集成測試線

2、索的框架。該框架是由一系列解決方案構(gòu)成的，系統(tǒng)地展示在用例間層次和用例層次上提取線索的詳細(xì)方案。在系統(tǒng)用例間層次上，針對集成測試線索容易產(chǎn)生組合爆炸、生成線索冗余的問題，本文利用用例圖和活動(dòng)圖，并在用例間引入商業(yè)邏輯，從而構(gòu)造了用例間順序依賴關(guān)系的活動(dòng)圖（UCSDAD）。該圖包含用例的商業(yè)邏輯信息，有效地減少了線索的冗余，降低了產(chǎn)生組合爆炸的可能性。由于要達(dá)到判定覆蓋的要求，并且進(jìn)一步控制線索的冗余，所以用DD路徑作為UCSDAD測試覆

3、蓋的準(zhǔn)則，從而可有效解決在用例間之間集成測試線索生成中遇到的問題。在用例層次上，由于UML協(xié)作圖側(cè)重于以圖形化的方式從空間的角度展示對象的交互，導(dǎo)致了從UML協(xié)作圖直接生成測試線索并不方便，因此將其轉(zhuǎn)化為等價(jià)的形式――函數(shù)間約束的控制流圖（IRCFG）。但是函數(shù)間約束的控制流圖模型沒有結(jié)合類圖信息，不能對程序中包含的多態(tài)信息進(jìn)行測試，所以本文提出了多態(tài)性擴(kuò)展的結(jié)合類信息的函數(shù)間約束的控制流圖（PCIRCFG）模型，并對其進(jìn)行了形式化的描

4、述。同時(shí)給出了適用于 PCIRCFG的四種測試覆蓋準(zhǔn)則，根據(jù)實(shí)際需要，可以靈活的采用不同的覆蓋準(zhǔn)則從相應(yīng)的PCIRCFG模型生成集成測試線索，以達(dá)到不同的測試要求。
　　其次，根據(jù)提取集成測試線索的框架，本文實(shí)現(xiàn)了一個(gè)自動(dòng)化生成集成線索工具。該工具基于目前成熟的商業(yè)建模工具 PowerDesinger上，通過解析模型文件自動(dòng)提取系統(tǒng)的集成測試線索，證明了該方法的可行性。
　　最后，通過圖書館管理系統(tǒng)的例子說明了該基于 UML