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

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

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