计算机工程与应用 ›› 2007, Vol. 43 ›› Issue (4): 85-89.

• 产品、研发、测试 • 上一篇    下一篇

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

朱炎 蔡国永   

  1. 广西桂林电子工业学院 桂林电子工业学院计算机系
  • 收稿日期:2006-01-09 修回日期:1900-01-01 出版日期:2007-02-01 发布日期:2007-02-01
  • 通讯作者: 朱炎

On Slicing of Object-Oriented Programs via ISDG

  • Received:2006-01-09 Revised:1900-01-01 Online:2007-02-01 Published:2007-02-01

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

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.