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

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

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

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

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