多文件程序切片算法研究及其在回歸測(cè)試中的應(yīng)用.pdf

1、程序切片技術(shù)是一種重要的分析和理解程序的技術(shù)，具有簡(jiǎn)化程序，縮小目標(biāo)范圍的特點(diǎn)。程序切片在程序調(diào)試、軟件維護(hù)、測(cè)試、度量、逆向工程等許多方面都有著廣泛應(yīng)用。
　　 對(duì)于面向過(guò)程的程序切片技術(shù)，國(guó)內(nèi)外都做了大量的研究，提出了許多面向過(guò)程的程序切片計(jì)算方法，主要包括過(guò)程內(nèi)程序切片和過(guò)程間程序切片。但是這些切片方法大都是針對(duì)單個(gè)過(guò)程的程序或是只有一個(gè)源文件的多過(guò)程程序提出的，對(duì)于計(jì)算包含多個(gè)源文件的程序切片還存在著不足。隨著軟件技術(shù)的

2、發(fā)展，程序規(guī)模越來(lái)越大，一個(gè)程序要分成多個(gè)功能模塊，包含多個(gè)源程序文件。因此，需要一種新的切片計(jì)算方法，可以更好的處理多文件的程序切片計(jì)算問(wèn)題。本文提出的基于工程依賴(lài)圖的程序切片算法便是這種可以計(jì)算多文件程序切片的方法。
　　 本文的主要研究工作是在已有過(guò)程間程序切片算法的基礎(chǔ)上，通過(guò)添加全局變量依賴(lài)、條件編譯依賴(lài)和外部引用依賴(lài)等依賴(lài)關(guān)系的分析，構(gòu)造一種新的程序依賴(lài)關(guān)系圖--工程依賴(lài)圖以及基于工程依賴(lài)圖的切片算法，并且將該算法應(yīng)