基于UML的面向?qū)ο筌浖y試方法研究.pdf

1、軟件測試是軟件工程中的一個(gè)階段，是保證軟件質(zhì)量的一個(gè)重要手段。隨著面向?qū)ο筌浖_發(fā)技術(shù)的廣泛應(yīng)用和軟件測試自動(dòng)化的要求，特別是基于UML的軟件開發(fā)技術(shù)的逐漸普及，基于UML的面向?qū)ο筌浖y試正日益受到關(guān)注。本文的主要內(nèi)容就是基于UML圖，生成面向?qū)ο筌浖煌瑴y試級別的測試用例。首先分析了面向?qū)ο筌浖奶攸c(diǎn)、測試難點(diǎn)與測試層次，介紹了UML及其與面向?qū)ο筌浖y試的關(guān)系，然后詳細(xì)探討了基于UML狀態(tài)圖的類級測試用例生成與基于順序圖的集成級測

2、試用例生成。在類級測試，本文將可能存在復(fù)雜結(jié)構(gòu)的UML狀態(tài)圖轉(zhuǎn)換為易測試的擴(kuò)展的有限狀態(tài)機(jī)（EFSM），介紹了EFSM的幾種覆蓋準(zhǔn)則與基于EFSM生成測試序列的方法，采用分段梯度最優(yōu)下降算法自動(dòng)選取滿足測試序列執(zhí)行的測試數(shù)據(jù)。在集成級測試，針對順序圖中協(xié)作對象狀態(tài)對交互的影響，構(gòu)建了包含來自狀態(tài)圖和類圖信息的帶OCL約束的順序圖；針對集成測試序列數(shù)量容易膨脹的現(xiàn)象，用過程間受限控制流圖（IRCFG）描述順序圖的消息間邏輯控制關(guān)系；并介紹