基于控制流與數(shù)據(jù)流的面向方面測試方法研究.pdf

1、面向方面編程(AOP)作為一種新的軟件開發(fā)技術(shù)，為系統(tǒng)帶來了很多的優(yōu)點，但是方面和傳統(tǒng)模塊中存在的各種依賴關(guān)系以及AOP帶來的新特征給測試帶來了新的問題。由于AOP引入了新的特征，使得目前應(yīng)用于面向過程和面向?qū)ο蟪墒斓臏y試方法不能完全適用于面向方面程序，需要在已有的方法上進行擴展或者提出新的面向方面程序軟件測試技術(shù)，因此對AOP測試方法進行研究是非常必要的，具有重要的理論意義和實用價值。
　　 針對AOP的特征，本文提出了一種基

2、于控制流與數(shù)據(jù)流的結(jié)構(gòu)測試方法，在前人的基礎(chǔ)上完善了一種測試覆蓋標準，并將粒子群優(yōu)化算法(PSO)應(yīng)用于面向方面測試數(shù)據(jù)自動生成中，以提高生成效率。主要內(nèi)容包括:
　　 首先，闡述了AOP的可測性、AOP測試的必要性與特殊性，并對目前應(yīng)用于AOP的測試方法進行了分析與比較。雖然大多數(shù)方法設(shè)計了測試覆蓋標準，如語句覆蓋、分支覆蓋和路徑覆蓋等，但是還是不能保證測試完全充分。目前對面向方面測試數(shù)據(jù)自動生成方法研究較少。
　　

3、其次，提出了一種基于控制流與數(shù)據(jù)流的結(jié)構(gòu)測試方法。該方法采用模塊定義使用控制(BDUC)表達式表示待測AOP程序的控制流與數(shù)據(jù)流。根據(jù)BDUC表達式生成測試子路徑，然后生成測試數(shù)據(jù)覆蓋這些子路徑。為了達到充分覆蓋，本文在前人研究的基礎(chǔ)上完善了一種測試覆蓋標準，此測試覆蓋標準包括兩種基于控制流的測試覆蓋標準,以及一種基于數(shù)據(jù)流的測試覆蓋標準。實例研究和實驗結(jié)果表明該測試方法通過增加少量的測試數(shù)據(jù)，達到了更多的子路徑覆蓋，從而使得測試覆蓋更

4、加充分。在此工作基礎(chǔ)上，本文設(shè)計并且部分實現(xiàn)了一種面向方面控制流與數(shù)據(jù)流的測試工具(CDTT-AJ)，該工具主要包括BD UC表達式生成器、測試需求生成器、程序插裝器、測試執(zhí)行器、測試度量器五個部件，外部輸入為待測源程序、測試覆蓋標準和測試數(shù)據(jù)，輸出測試報告。
　　 最后，提出了一種基于粒子群優(yōu)化算法的面向方面測試數(shù)據(jù)自動生成方法。該方法基于BDUC表達式和完善后的測試覆蓋標準生成測試子路徑，然后利用粒子群優(yōu)化算法自動生成覆蓋這