程序切片技術(shù)在程序理解中的應(yīng)用研究.pdf

1、在軟件項(xiàng)目的開(kāi)發(fā)中,利用已有的遺產(chǎn)軟件系統(tǒng)服務(wù)于新的業(yè)務(wù)需求,已經(jīng)成為軟件工程的一個(gè)發(fā)展方向.基于此,對(duì)現(xiàn)有遺產(chǎn)軟件進(jìn)行維護(hù)、重用以及逆向工程的需求促進(jìn)了對(duì)程序理解方法和工具的研究.程序理解是當(dāng)今軟件理論界的一個(gè)研究熱點(diǎn),是通過(guò)一定的方法或者工具來(lái)弄清一個(gè)程序是"做什么"以及"如何做"的問(wèn)題.理解一個(gè)程序系統(tǒng)本質(zhì)上是對(duì)該系統(tǒng)從底層到高層的抽象行為,需要靜態(tài)和動(dòng)態(tài)兩方面的信息,這對(duì)逆向工程以及軟件維護(hù)有著重要的意義.程序切片是一種輔助理解

2、程序的分析技術(shù),該技術(shù)針對(duì)源程序中某個(gè)興趣點(diǎn)把程序減少到只包含與該興趣點(diǎn)相關(guān)的那些語(yǔ)句,準(zhǔn)確地回答了"哪些程序語(yǔ)句潛在地影響了語(yǔ)句s中變量v的值"這樣一個(gè)問(wèn)題.程序切片可以應(yīng)用于程序理解、程序分析、調(diào)試、測(cè)試、軟件維護(hù)和軟件質(zhì)量保證等諸多方面.面向?qū)ο蟪绦蛱赜械膶哟谓Y(jié)構(gòu)以及消息傳遞、類(lèi)、對(duì)象、繼承、多態(tài)、動(dòng)態(tài)聯(lián)編等特性,使得適用于過(guò)程化的分析技術(shù)不足以表示面向?qū)ο蟮某绦蛳到y(tǒng),因此關(guān)于面向?qū)ο蟪绦虻那衅夹g(shù)在近些年越來(lái)越受到重視.本文以標(biāo)