面向方面程序指向分析工具的設(shè)計(jì)與實(shí)現(xiàn).pdf

1、面向方面的編程（AOP）是一種編程范式，它允許對(duì)應(yīng)用于某種宿主語(yǔ)言的關(guān)注點(diǎn)的分離，并且提供一種可以描述那些橫切其他組件的關(guān)注點(diǎn)的描述機(jī)制。這些橫切關(guān)注點(diǎn)可以是異常處理、同步、性能優(yōu)化以及資源共享，而這些關(guān)注點(diǎn)很難在已有的程序設(shè)計(jì)技術(shù)中表達(dá)清晰。面向方面的技術(shù)能夠控制代碼糾纏，使關(guān)注點(diǎn)的表示更加清晰，從而使程序更易于開(kāi)發(fā)、維護(hù)和進(jìn)化。AspecJ 是一種通用的面向方面編程語(yǔ)言，是一種基于Java語(yǔ)言的面向方面的無(wú)縫擴(kuò)展。AspectJ中增

2、加了新的概念，諸如連接點(diǎn)、通知、方面等。AspectJ 程序通常可以分成兩個(gè)部分：基代碼以及方面代碼?；a包括類、接口以及Java語(yǔ)言的其他一些結(jié)構(gòu)。方面代碼包括一些方面。方面是一個(gè)橫切關(guān)注點(diǎn)實(shí)現(xiàn)的模塊化的單位。每一個(gè)方面封裝能夠橫切其它類或方面的機(jī)能。方面依據(jù)一些包含在其中的說(shuō)明和它所橫切的類結(jié)合到一起。指向分析是一種基本的程序分析技術(shù)，其基本思想是計(jì)算出程序中的引用變量有可能指向的對(duì)象創(chuàng)建點(diǎn)的集合。作為一種基本技術(shù)，指針?lè)治鲈诰幾g

3、器優(yōu)化以及軟件工程等方面有著廣泛的應(yīng)用。盡管目前有許多指向分析算法用于分析面向過(guò)程語(yǔ)言和面向?qū)ο笳Z(yǔ)言，如對(duì)C和Java語(yǔ)言的分析，但是迄今為止還沒(méi)有針對(duì)面向方面語(yǔ)言的指向分析算法。 本文基于Andersen 風(fēng)格的Java語(yǔ)言指向分析技術(shù)，提出了一種針對(duì)AspectJ語(yǔ)言的流非敏感、上下文非敏、的指向分析方法。其主要是能夠使指向分析的算法跨越類與方面的界限，從而能夠處理面向方面的特性。為了檢驗(yàn)所提出的指向分析技術(shù)的有效性，實(shí)現(xiàn)了

4、一個(gè)基于ajc 編譯器的AspectJ 程序指向分析工具，并應(yīng)用九個(gè)廣泛使用的AspectJ基準(zhǔn)程序?qū)υ摴ぞ哌M(jìn)行了試驗(yàn)評(píng)估。試驗(yàn)的結(jié)果顯示，與已有的基于字節(jié)碼的Java語(yǔ)言指向分析技術(shù)相比，我們的方法能夠在比較小的時(shí)間和空間代價(jià)下能夠顯著地提高分析的精度。本文的貢獻(xiàn)主要有三點(diǎn)：①定義了一個(gè)通用的針對(duì)AspectJ語(yǔ)言的指向分析語(yǔ)義，該語(yǔ)義擴(kuò)展了Rountev等人提出的針對(duì)Java的Andersen風(fēng)格的指向分析。②基于AspectJ的a