Abstract: An effective way to program’s analysis is program slicing which, according to a given slicing criterion, extracts the necessary part of a program for analyzing, such as program debugging, program testing, program refactoring and etc. Slicing technique has been successfully applied in structural programs. But to object-oriented programs, many problems would still occur when traditional slicing techniques are applied. ISDG, an improved system dependence graph, is proposed in order to better describe relationships in object-oriented programs. ISDG solves the description problem of parameterized objects. Moreover, a novel slicing criterion and related slicing algorithm based on ISDG are presented.

摘要： 程序分片是一种有效的程序分析技术，它能根据给定的分片准则从源程序中提取出所需部分进行分析，如进行程序调试、测试、程序重构分析等。程序分片技术在结构化程序中已有较广泛的应用，但对于面向对象语言程序，其研究与应用还存在一些待解决的问题。针对面向对象语言程序，提出了一种改进后的系统依赖图：ISDG，用来更好的表示面向对象程序中的依赖关系，从而解决了对象类型参数和属性的表示问题。基于ISDG模型，提出了一种新的面向对象语言程序的分片准则，以及相应的分片算法。