UML與類(lèi)狀態(tài)測(cè)試技術(shù)研究.pdf

1、類(lèi)測(cè)試中的基于狀態(tài)的測(cè)試一般是以狀態(tài)機(jī)模型為基礎(chǔ)的測(cè)試。類(lèi)狀態(tài)機(jī)用于刻畫(huà)對(duì)象響應(yīng)各種事件時(shí)狀態(tài)發(fā)生遷移的情況。測(cè)試執(zhí)行時(shí)根據(jù)相應(yīng)的覆蓋標(biāo)準(zhǔn)對(duì)狀態(tài)轉(zhuǎn)換圖進(jìn)行遍歷，產(chǎn)生類(lèi)狀態(tài)測(cè)試序列，并依據(jù)規(guī)約檢查每個(gè)有效測(cè)試數(shù)據(jù)驅(qū)動(dòng)的測(cè)試序列是否使被測(cè)對(duì)象達(dá)到了預(yù)定的狀態(tài)。UML狀態(tài)圖作為有限自動(dòng)機(jī)(FSM)的變體，是一種能清晰描述類(lèi)狀態(tài)轉(zhuǎn)換的模型。
　　 鑒于UML狀態(tài)圖模型文件內(nèi)容層次布局的特點(diǎn)，本文采用面向?qū)ο笏枷朐O(shè)計(jì)了一種基于正則表達(dá)式的

2、UML狀態(tài)圖文件解析方案，并分析了被測(cè)類(lèi)滿(mǎn)足狀態(tài)覆蓋及遷移覆蓋的測(cè)試序列生成技術(shù)。
　　 針對(duì)類(lèi)狀態(tài)測(cè)試可能遺漏數(shù)據(jù)錯(cuò)誤問(wèn)題，本文利用數(shù)據(jù)流分析技術(shù)對(duì)生成的測(cè)試序列進(jìn)行分析，找出數(shù)據(jù)流異常進(jìn)而對(duì)其改進(jìn)，能較好地解決數(shù)據(jù)錯(cuò)誤問(wèn)題。
　　 類(lèi)狀態(tài)測(cè)試序列依賴(lài)測(cè)試數(shù)據(jù)的驅(qū)動(dòng)執(zhí)行，測(cè)試數(shù)據(jù)的選取與狀態(tài)遷移前置條件相關(guān)。本文在分析了基于UML，狀態(tài)圖生成的類(lèi)狀態(tài)測(cè)試序列的特性以及測(cè)試序列和測(cè)試數(shù)據(jù)的關(guān)系后，提出了在類(lèi)狀態(tài)測(cè)試數(shù)據(jù)生

3、成中運(yùn)用AOP源程序注入技術(shù)代替源程序插裝實(shí)現(xiàn)測(cè)試變量值跟蹤。
　　 狀態(tài)測(cè)試執(zhí)行時(shí)需要插裝代碼來(lái)跟蹤狀態(tài)轉(zhuǎn)換以便進(jìn)行可行性檢測(cè)分析，需要通過(guò)改寫(xiě)被測(cè)類(lèi)代碼來(lái)解決類(lèi)封裝性限制進(jìn)行類(lèi)狀態(tài)驗(yàn)證，導(dǎo)致測(cè)試腳本臃腫、強(qiáng)聚合和被測(cè)類(lèi)代碼版本不一致。為解決該問(wèn)題，本文提出了一種基于AOP類(lèi)狀態(tài)測(cè)試執(zhí)行方法，它通過(guò)分離關(guān)注點(diǎn)、突破類(lèi)封裝性限制，能有效地解決這些問(wèn)題。
　　 基于上述思想，本文提出了一種類(lèi)狀態(tài)測(cè)試模型并設(shè)計(jì)實(shí)現(xiàn)了一個(gè)類(lèi)狀