基于ISDG的面向对象程序分片技术研究  

On slicing of object-oriented programs via ISDG

作　　者：朱炎[1] 蔡国永[1] 

机构地区：[1]桂林电子工业学院计算机系,广西桂林541004

出　　处：《计算机工程与应用》2007年第4期85-89,136,共6页Computer Engineering and Applications

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

关 键 词：程序分片 系统依赖图 方法分片 面向对象 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]