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

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

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

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

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