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

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

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

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

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