程序切片技术综述.pdfVIP

学术论坛 程序切片技术综述 西安电子科技大学 王伟 陈平 （西安710071） 摘要：程序切片技术在软件维护、程序调试、测试、代码理解及 逆向工程等方面有许多应用。文章介绍了目前已有的程序切片技 术及其应用领域，提出面向对象程序应用技术时需要考虑的问题 及相应的解决方法。 关键词：程序切片技术，逆向工程 引言 变量 的值。 （，）称为切片准则 （ 1. v pv slicing 程序切片技术 （ ）在软 ）。” programslicing criterion 件维护、程序调试、测试、代码理解以及逆 静态切片技术 （ ） 2.1 staticslicing 向工程等方面有许多应用。比如在程序调 静态切片技术是指在计算程序切片时 试中，当错误特征出现时，我们希望能够通 使用的是静态的数据流和控制流分析方 过一种手段，找到可能产生该错误的源代 法。该技术对程序的输入不做任何假设，所 （图 一个例子及其切片） ! 码部分。我们或许不能对这样的源代码准 做的分析完全以程序的静态信息为依据。 确定位，但我们可以做到通过剔除程序中 使用该技术的工作量较大，因为要分析程 尚可满足这种要求：但对一个较大且比较 不可能产生该错误的部分，而把错误限定 序所有可能的执行轨迹，所以相对于动态 复杂的程序就不是件容易的事了。 在一个较小的范围中。程序切片就是一种 切片技术，静态切片技术一般用于程序理 年， 等人提出了 1991 KBGallagher 有效实现上述目的的技术。 解与软件维护方面。W 最初提出的程序切 分解切片技术，一种以把程序分解成不同 程序切片技术的发展史 片概念就属于静态切片范畴。 模块为目的程序切片技术。分解切片构成 2. 程序切片 （ ）这一概念最 动态切片技术 （ ） 的集合 （其本身仍是程序切片），可以捕获 programslice 2.2 dynamicslicing 早是由 在 年提出，此后出现了许 动态切片技术使用的是动态的数据流 程序中对某一个变量的所有计算。不同于 W 1979 多略有不同的定义以及用于计算切片的算 和控制流分析方法，因此切片的计算过程 传统的程序切片，分解切片不依赖于语句 法。大体上说，程序切片技术的发展经历了 依赖于程序的具体输入。采用这一技术，每 在程序中的位置 （常用的是行号）。那些构 从静态到动态、从前向到后向、从单一过程 一次的计算工作量较小，但每一次的计算 成分解切片的程序切片并非任意排列，而 到多个过程、从非分布程序到分布式程序 都不尽相同，因此动态切片技术多用于程 是按照一定的规则排列成网格 （ ）。