PROGRAM SLICING
PROGRAM SLICING
复制标题
DOI：
10.1109/tse.1984.5010248
复制
发表时间：
1984-01-01
影响因子：
7.4
通讯作者：
WEISER, M
中科院分区：
文献类型：
--
作者：
WEISER, M
程序切片是一种通过分析程序的数据流和控制流来自动分解程序的方法。切片从程序行为的一个子集开始，将该程序减少到仍然产生该行为的最小形式。简化后的程序称为“切片”，是一个独立的程序，保证忠实地表示指定行为子集范围内的原始程序。给出了切片的一些性质。特别是，查找语句最小片通常是无法解决的，但是使用数据流分析就足以找到近似片。潜在的应用包括用于调试和并行处理切片的自动切片工具。
Program slicing is a method for automatically decomposing programs by analyzing their data flow and control flow. Starting from a subset of a program's behavior, slicing reduces that program to a minimal form which still produces that behavior. The reduced program, called a ``slice,'' is an independent program guaranteed to represent faithfully the original program within the domain of the specified subset of behavior. Some properties of slices are presented. In particular, finding statement-minimal slices is in general unsolvable, but using data flow analysis is sufficient to find approximate slices. Potential applications include automatic slicing tools for debuggng and parallel processing of slices.