對(duì)象級(jí)粗粒度切片方法研究.pdf

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

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

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

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