基于UML提取系統(tǒng)測試線索方法的研究.pdf

1、測試是軟件開發(fā)過程中重要和不可或缺的部分。隨著軟件開發(fā)方法和軟件工程過程的發(fā)展，軟件測試技術(shù)和方法也不斷演化進(jìn)步。80年代以來，隨著面向?qū)ο蠹夹g(shù)的廣泛應(yīng)用和CASE工具的飛速發(fā)展，軟件工程過程也由傳統(tǒng)的瀑布模型發(fā)展到支持增量開發(fā)和功能迭代的USDP，RUP和XP。這都對(duì)傳統(tǒng)的軟件測試方法和技術(shù)提出挑戰(zhàn)，迫切需要研究面向?qū)ο筌浖y試和測試自動(dòng)化。考慮到面向?qū)ο髨D形化的分析設(shè)計(jì)方式，基于模型的軟件測試的研究才能從根本上解決測試領(lǐng)域面臨的問題

2、。 現(xiàn)在，統(tǒng)一建模語言已經(jīng)受到業(yè)界的廣泛認(rèn)可，OMG也在不斷改進(jìn)UML使其能更好地支持測試。因此，基于被測系統(tǒng)（SUT）的UML模型的測試及其自動(dòng)化方法和技術(shù)的研究是當(dāng)前測試界研究的熱點(diǎn)。目前，相關(guān)研究大都處于理論和試驗(yàn)階段，而且大都是針對(duì)類測試和集成測試。國外部分IT企業(yè)的基于UML的自動(dòng)化軟件測試CASE工具也還處于研發(fā)期間。在這種背景下，本課題的研究對(duì)于提高我國軟件測試?yán)碚摵图夹g(shù)有著重要的學(xué)術(shù)和實(shí)用意義。 系統(tǒng)測試

3、是基于系統(tǒng)描述測試整個(gè)系統(tǒng)。對(duì)基于面向?qū)ο蠹夹g(shù)和UML分析設(shè)計(jì)方法開發(fā)的軟件系統(tǒng)而言，這意味著系統(tǒng)測試需求源于UML分析文檔，如用例及其相應(yīng)的時(shí)序圖、協(xié)作圖、活動(dòng)圖、類圖及所有這些UML模型中必要的對(duì)象約束。 因此，為研究基于UML提取系統(tǒng)測試線索的方法，本文首先分析了當(dāng)前基于UML的各種軟件測試研究的現(xiàn)狀，探討了各種UML圖對(duì)測試的支持狀況，并根據(jù)這些分析選擇用例圖和活動(dòng)圖做為獲取系統(tǒng)測試線索的基本依據(jù)。隨后，深入探討了用例圖

4、、活動(dòng)圖和OCL語義，及以它們?yōu)橐罁?jù)提取系統(tǒng)測試線索必須解決的問題。然后，本文提出了一種針對(duì)交互式系統(tǒng)（如：基于命令行和圖形用戶界面的系統(tǒng)）的基于UML提取系統(tǒng)測試線索的方法。該方法通過擴(kuò)展用例圖和描述用例實(shí)現(xiàn)的活動(dòng)圖，構(gòu)建描述系統(tǒng)用例間順序依賴關(guān)系的活動(dòng)圖UCSDAD，以及限定覆蓋準(zhǔn)則為獲取系統(tǒng)測試線索提供充足的支持。從中提取的系統(tǒng)測試線索由含參數(shù)的用戶/系統(tǒng)的交互方法序列和保證系統(tǒng)按線索執(zhí)行的相關(guān)參數(shù)的約束序列組成。 本文最