面向方面程序中的影響分析及應(yīng)用.pdf

1、在軟件開發(fā)過程中，變化影響分析是一項(xiàng)非常重要的技術(shù)。這項(xiàng)技術(shù)可以用于分析得到一個(gè)階段中代碼的改變對整個(gè)程序所產(chǎn)生的影響，并且將這種影響有效地返回給程序員，使程序員在后續(xù)的工作中能夠做出正確的決定。目前，已經(jīng)存在很多方法來實(shí)現(xiàn)基于面向過程和面向?qū)ο蟪绦虻淖兓绊懛治?，卻很少涉及到面向方面編程的領(lǐng)域。本文以面向方面編程語言為目標(biāo)，提出了一種新的變化影響分析技術(shù)。基于所提出的模型，討論了變化影響分析技術(shù)的三種典型應(yīng)用： ⑴軟件自動(dòng)化調(diào)

2、試。提出了一種新的程序自動(dòng)化調(diào)試方法。該方法將程序的原子變化作用于增量調(diào)試算法，用來縮小尋找那些導(dǎo)致錯(cuò)誤的代碼變化范圍。使用變化影響分析找出一個(gè)導(dǎo)致測試用例運(yùn)行失敗的原子變化集合，將這個(gè)集合中的原子變化用所提出的啟發(fā)式算法排序，運(yùn)用增量調(diào)試算法找出一個(gè)能夠?qū)е洛e(cuò)誤的最小子集。對原始的增量調(diào)試算法進(jìn)行了改進(jìn)，使之運(yùn)用于程序代碼的多個(gè)層次：從粗粒度的方法層到細(xì)粒度的語句層。并且算法所生成的大部分程序中間版本均合乎語法規(guī)則，因此減少了由于輸入

3、不一致導(dǎo)致的不必要的重復(fù)測試。 ⑵系統(tǒng)調(diào)用圖的增量式構(gòu)建。軟件系統(tǒng)的調(diào)用圖被廣泛地應(yīng)用在軟件測試、程序理解，以及編譯器優(yōu)化等任務(wù)中。在軟件系統(tǒng)的演化過程中，系統(tǒng)調(diào)用圖需要在保持精度不變的前提下，隨著軟件的修改而得到及時(shí)地更新。然而如果對每一次的程序修改來重新構(gòu)建系統(tǒng)調(diào)用圖將會(huì)帶來昂貴的分析代價(jià)。為了降低軟件演化過程中系統(tǒng)調(diào)用圖的更新成本，提出了一種基于變化影響分析的增量式系統(tǒng)調(diào)用圖構(gòu)建技術(shù)，用于顯著減少更新所需要的時(shí)間和空間代價(jià)

4、。 ⑶軟件變化度量指標(biāo)的評估。目前的軟件度量研究主要集中在衡量系統(tǒng)的復(fù)雜性上，很少有研究者提出用于衡量軟件變化影響程度的度量指標(biāo)?；谧兓绊懛治瞿Ｐ吞岢隽嗣嫦蚍矫孳浖凶兓攘康母拍?。該度量能夠定量地反映軟件變化給整個(gè)系統(tǒng)所造成的影響程度，并為程序員提供有價(jià)值的反饋信息?；谒岢龅募夹g(shù)，實(shí)現(xiàn)了一個(gè)面向方面程序的變化影響分析框架Celadon。在Celadon 框架中，集成了面向方面程序的自動(dòng)化調(diào)試技術(shù)、系統(tǒng)調(diào)用圖增量式構(gòu)建技