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

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

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

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