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

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

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

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