對象級粗粒度切片方法研究.pdf

1、軟件工程的一個重要領(lǐng)域是程序理解,隨著軟件規(guī)模越來越大,對源程序的理解成了一個較難的問題,在這個問題的需求下,程序切片技術(shù)應(yīng)運(yùn)而生。程序切片技術(shù)是一種程序分解技術(shù),用于分解出感興趣的程序片段等,對理解程序有較大做用。然而對于大型程序來說傳統(tǒng)的程序切片技術(shù)計(jì)算過程復(fù)雜,所得結(jié)果依然龐大難于理解,特別是對面向?qū)ο蟪绦騺碚f,傳統(tǒng)的程序切片技術(shù)較難發(fā)掘面向?qū)ο蟪绦蛟O(shè)計(jì)框架。
　　 目前的面向?qū)ο蟪绦蚯衅墓ぷ鬏^多集中在結(jié)合了程序結(jié)構(gòu)的語

2、句級切片。也有較多對象間的關(guān)系的研究,少有專門對對象做切片的研究,而對象的研究無疑是面向?qū)ο蟪绦蛟O(shè)計(jì)的重要方面。在本文之前也有學(xué)者做對面向?qū)ο蟪绦蜃龃至６惹衅?有方法級粒度的也有對象級粒度的,但是這些粗粒度切片方法都是基于系統(tǒng)依賴圖的,計(jì)算過程依然比較復(fù)雜,且只能反映出對象間的部分關(guān)系。本文所研究的切片方法是基于對象間語法級以及語義級關(guān)系做切片的,較為全面地研究了現(xiàn)階段面向?qū)ο蟪绦蛟O(shè)計(jì)存在的對象間關(guān)系,并在此基礎(chǔ)上研究了對象級粗粒度切片

3、方法。該方法針對的是面向?qū)ο蟪绦?粒度級別是對象級,所獲取的對象級粗粒度切片對于理解面向?qū)ο蟪绦蚪Y(jié)構(gòu)有輔助做用。
　　 本文的具體工作有如下兩點(diǎn):第一點(diǎn),基于面向?qū)ο蟪绦虻膶ο箝g語法級關(guān)系,提出了一種對象語法級粗粒度切片方法。該方法建立在繼承關(guān)系這種語法級關(guān)系的基礎(chǔ)上,首先構(gòu)造繼承關(guān)系樹,然后在繼承關(guān)系樹的基礎(chǔ)上獲取對象級粒度繼承關(guān)系前向切片和對象級粒度繼承關(guān)系后向切片等。第二點(diǎn),基于面向?qū)ο蟪绦虻膶ο箝g語義級關(guān)系,提出了一種對

4、象語義級粗粒度切片方法,該方法并非基于傳統(tǒng)的程序依賴圖或系統(tǒng)依賴圖,而是建立在對象間的關(guān)聯(lián)、組合等語義級關(guān)系的基礎(chǔ)之上。首先依據(jù)對象間語義級關(guān)系構(gòu)造程序的對象圖,然后在對象圖的基礎(chǔ)上獲取所需各種語義級切片。
　　 顯然這種粗粒度切片效率和可理解性較語句級切片有優(yōu)勢。鑒于面向?qū)ο蟮幕窘Y(jié)構(gòu)是對象,這種對象級粒度的切片是有其實(shí)用意義的。本文的概念都是建立在面向?qū)ο筇卣鞅容^明顯的JaVa程序的基礎(chǔ)上,對其他面向?qū)ο笳Z言的有待研究。