基于UML statecharts測(cè)試方法的研究.pdf

1、統(tǒng)一建模語(yǔ)言(UnifiedModelingLanguage,UML)是一種描述能力強(qiáng)大且涵義直觀的可視化建模語(yǔ)言，它提供多種圖元從不同角度和應(yīng)用層次刻畫系統(tǒng)特性以及復(fù)雜的運(yùn)行環(huán)境。基于UML的軟件開發(fā)過程和建模環(huán)境已被工業(yè)界廣泛接受，其中包括航天、國(guó)防、汽車等許多安全攸關(guān)領(lǐng)域。如何保證和提高軟件質(zhì)量成為軟件界最為關(guān)心的問題之一。軟件測(cè)試作為保證軟件質(zhì)量的關(guān)鍵技術(shù)之一，能夠有效地發(fā)現(xiàn)軟件中的故障。因而，基于UML軟件測(cè)試成為了軟件工程的

2、一個(gè)重要研究方向。軟件測(cè)試的關(guān)鍵是測(cè)試用例的產(chǎn)生。本文對(duì)基于UMLstatecharts圖的測(cè)試用例生成方法進(jìn)行了研究和探討。 直接從含有層次和并發(fā)結(jié)構(gòu)的UMLstatecharts圖產(chǎn)生類的測(cè)試用例是比較困難的，本文提出了基于UMLstatecharts圖的測(cè)試框架：先利用現(xiàn)有的UML工具(如ArgoUML等)畫出UMLstatecharts圖，并產(chǎn)生它的XMI(XMLMetadataInterchange)格式的規(guī)格說明文件

3、；然后根據(jù)UMLstatecharts圖的語(yǔ)義，層次和并發(fā)結(jié)構(gòu)被展平，UMLstatecharts圖的規(guī)格說明XML文件轉(zhuǎn)換成FREE(FlattenedRegularExpression)模型的規(guī)格說明信息；最后根據(jù)FREE模型的規(guī)格說明信息，按照不同的充分性測(cè)試準(zhǔn)則，分別產(chǎn)生測(cè)試用例集。 UMLstatecharts圖是一種圖形符號(hào)，描述了UML框架的行為，它是UML語(yǔ)言的一個(gè)重要組成部分。然而，UMLstatecharts

4、圖缺乏精確的語(yǔ)法和語(yǔ)義。本文用Z語(yǔ)言定義了UMLstatecharts圖的形式化語(yǔ)法和語(yǔ)義。按照這個(gè)精確語(yǔ)義，UMLstatecharts圖被轉(zhuǎn)換成了FREE模型。這個(gè)FREE模型不僅有助于確定軟件設(shè)計(jì)是否是一致的、無(wú)歧義的和完整的，而且也有利于軟件測(cè)試。 測(cè)試充分性準(zhǔn)則是整個(gè)軟件測(cè)試的核心，它直接決定了測(cè)試用例的生成。目前基于UML狀態(tài)圖生成測(cè)試用例的充分性準(zhǔn)則：狀態(tài)覆蓋準(zhǔn)則、遷移覆蓋準(zhǔn)則、全謂詞公式覆蓋準(zhǔn)則和遷移對(duì)覆蓋準(zhǔn)則，

5、它們沒有解決測(cè)試循環(huán)的問題。在測(cè)試時(shí)，循環(huán)被執(zhí)行一次是很不充分的，按照不完全歸納法的思想，本文提出了ZOT循環(huán)覆蓋準(zhǔn)則，也就是使循環(huán)分別執(zhí)行0次、1次、2次；針對(duì)A.J.Offutt等人給出的覆蓋準(zhǔn)則“完全序列準(zhǔn)則”(completesequencelevel)，由于它的操作性極弱，無(wú)法在工具中實(shí)現(xiàn)，在此基礎(chǔ)上結(jié)合ZOT循環(huán)覆蓋準(zhǔn)則，本文還提出了全ZOT路徑覆蓋準(zhǔn)則。并給出了狀態(tài)覆蓋、遷移覆蓋、全謂詞公式覆蓋、遷移對(duì)覆蓋、ZOT循環(huán)覆蓋

6、和全ZOT路徑覆蓋這6條覆蓋準(zhǔn)則的應(yīng)用，還討論了這些覆蓋準(zhǔn)則之間的包含關(guān)系。 A.J.Offutt給出的兩條測(cè)試準(zhǔn)則(全謂詞公式覆蓋和遷移對(duì)覆蓋)產(chǎn)生測(cè)試用例的算法只適用于以下情況：一方面只對(duì)使能遷移產(chǎn)生測(cè)試，另一方面它需要所有的變量都是布爾型的。本文針對(duì)這兩個(gè)方面的問題進(jìn)行了擴(kuò)充，不僅可以測(cè)試使能遷移，還能測(cè)試非法遷移，變量也不再要求它是布爾型的，而提出了由FREE模型根據(jù)全謂詞公式覆蓋準(zhǔn)則和遷移對(duì)覆蓋準(zhǔn)則分別產(chǎn)生有限的遷移序