一種基于UML的集成測(cè)試線(xiàn)索生成方法.pdf

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

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

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

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