對AOP程序進行單元測試的研究.pdf

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

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

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

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