對(duì)AOP程序進(jìn)行單元測(cè)試的研究.pdf

1、面向方面編程AOP（Aspect-Oriented Programs）是一種全新的軟件開(kāi)發(fā)技術(shù)，它解決了在面向?qū)ο缶幊蘋(píng)OP（Object-Oriented Programming）中由橫切關(guān)注點(diǎn)（crosscutting concern）所引起的代碼分散（code scatter）和代碼糾纏(code tangling)問(wèn)題。迄今為止，對(duì)面向方面軟件開(kāi)發(fā)的研究都主要集中在需求分析、設(shè)計(jì)和實(shí)現(xiàn)上，而很少關(guān)注對(duì)它進(jìn)行測(cè)試，盡管測(cè)試是軟件開(kāi)

2、發(fā)過(guò)程中一個(gè)非常重要的環(huán)節(jié)，也是保證軟件質(zhì)量的重要手段。 因?yàn)锳OP程序引入了一些新的特性，如切入點(diǎn)（pointcut），通知（advice），類(lèi)型間聲明（intertype）等，使得對(duì)其進(jìn)行測(cè)試具有一定的特殊性，所以用傳統(tǒng)的一些測(cè)試方法來(lái)測(cè)試AOP程序是不合適的，急切需要提出新的測(cè)試方法。而單元測(cè)試是軟件開(kāi)發(fā)過(guò)程中進(jìn)行的最基本的測(cè)試，能在開(kāi)發(fā)過(guò)程中盡早發(fā)現(xiàn)錯(cuò)誤，因此，在本篇論文中，主要研究針對(duì)AOP程序的單元測(cè)試。對(duì)AOP程序

3、進(jìn)行單元測(cè)試的理論研究和開(kāi)發(fā)自動(dòng)化測(cè)試工具都對(duì)AOP領(lǐng)域的研究具有極為重要的意義。 在本文中，為AOP程序定義了三類(lèi)單元測(cè)試模塊，分別是Normal-method, Method-advice 和 Advice-method，并執(zhí)行兩個(gè)層次的單元測(cè)試：一是模塊內(nèi)測(cè)試；二是模塊間測(cè)試。為了對(duì)測(cè)試用例的優(yōu)劣進(jìn)行評(píng)價(jià)，還提出了兩種新的面向方面的測(cè)試覆蓋度量準(zhǔn)則，即橫切節(jié)點(diǎn)覆蓋和橫切邊覆蓋。 首先，介紹了AOP程序中的新特性對(duì)傳

4、統(tǒng)控制流圖（Control Flow Graph，CFG）所產(chǎn)生的影響，并提出新的方法構(gòu)造面向方面程序的控制流圖。通過(guò)分析程序控制流圖，根據(jù)給定的測(cè)試覆蓋準(zhǔn)則，導(dǎo)出基本的可執(zhí)行測(cè)試路徑集合。尋找路徑所采用的核心算法是改進(jìn)的深度優(yōu)先搜索（DFS）算法。 接著，對(duì)測(cè)試路徑集中的每一條路徑，分別生成測(cè)試數(shù)據(jù)。本文對(duì)目前已經(jīng)存在的測(cè)試數(shù)據(jù)自動(dòng)生成方法進(jìn)行了述評(píng)，并最終選定用改進(jìn)的松弛迭代算法作為測(cè)試數(shù)據(jù)自動(dòng)生成的核心算法。該算法將路徑中