基于謂詞動態(tài)切片技術的AOP測試用例生成方法研究.pdf

1、面向方面的軟件開發(fā)是一種新出現(xiàn)的軟件開發(fā)方法,面向方面程序設計是面向?qū)ο蟪绦蛟O計技術的補充和完善,它引入方面實現(xiàn)對橫切關注點的封裝,解決了代碼混亂和代碼分散的問題,提高了軟件開發(fā)效率。高效的面向方面程序(Aspect-oriented programming,AOP)測試方法是面向方面程序的質(zhì)量保證。
　　 目前,對于面向方面程序測試主要有四種方法:①由Zhao Jian-jun提出的基于數(shù)據(jù)流的單元測試方法。此方法主要關注程序

2、中每個變量的賦值分配情況,根據(jù)控制流圖構造方面、類的定義-使用(def-use)對,選取適當?shù)臏y試策略,它存在的主要問題是環(huán)繞建議(around advice)可能改變定義.使用對的構造結(jié)果;②由Xu Dian-xiang等人提出的基于狀態(tài)的測試方法。此方法是將面向方面的狀態(tài)模型(ASM)變換成樹的結(jié)構,由此得到的所有測試用例可對對象行為、方面以及類間的交互進行完備的測試,但沒有解決狀態(tài)組合爆炸的問題;③Xu Wei-feng等人利用方

3、面流圖(AFG)和遷移樹基于AFG進行測試,該方法依據(jù)覆蓋準則產(chǎn)生可執(zhí)行的測試用例,它主要檢測的是由控制流依賴改變導致的錯誤,可以表示靜態(tài)應用的建議(advice),但無法表示動態(tài)應用的建議;④方面的獨立測試。這種測試只針對特定的AOP語言,其重點在于對方面實現(xiàn)的測試,而對方面與類的交互沒有涉及。
　　 本文提出一種引入謂詞動態(tài)切片技術協(xié)助生成AOP測試用例的測試方法。首先,構造完整AOP語句控制流圖,它包含AOP的方面、切入點

4、、連接點、建議等因素。然后,將完整AOP語句控制流圖存儲在鄰接表中,通過對鄰接表的遍歷,得到AOP的所有路徑,針對每條路徑,構造其分支函數(shù),計算得到相應的測試數(shù)據(jù),在測試數(shù)據(jù)調(diào)整時,若判定路徑是不可執(zhí)行路徑,則不再為其生成測試數(shù)據(jù)。在這個過程中,引入謂詞動態(tài)切片來協(xié)助調(diào)整測試數(shù)據(jù),謂詞動態(tài)切片是依據(jù)AOP簡化動態(tài)依賴圖得到的,本文提出了構造AOP簡化動態(tài)依賴圖的算法和生成謂詞動態(tài)切片算法。最后,將各路徑的實際輸出數(shù)據(jù)與期望輸出數(shù)據(jù)相比較