一种面向对象程序的分层切片方法  

An Approach for Hierarchy Slicing Object-Oriented Program

作　　者：李必信[1,2] 刘小东[1,2] 郑滔[1,2] 李宣东[1,2] 郑国梁[1,2] 

机构地区：[1]南京大学计算机软件新技术国家重点实验室,江苏南京210093 [2]中国科学技术大学计算机科学技术系,安徽合肥230056

出　　处：《软件学报》2001年第12期1810-1817,共8页Journal of Software

基　　金：国家 8 6 3青年基金资助项目 (86 3- 30 6 - QN2 0 0 0 - 2 )~~

摘　　要：程序切片是一种程序分析技术 ,广泛应用于程序的调试、测试、理解和维护等软件开发的各个阶段 .在研究静态类型面向对象的程序切片时发现 ,利用系统依赖图计算程序切片虽然是一种有效的方法 ,但构造 OO程序的系统依赖图是一件非常复杂的工作 ,而且构造过程中容易出错 ,这会导致切片的结果不正确 ,造成前功尽弃 .为此 ,从程序逻辑分层的角度提出一种 OO程序的层次模型 ,然后在 OO程序的层次模型基础上采用逐步求精算法来分层计算 OO程序的切片 .Program slicing is an important method for debugging, testing, analyzing, understanding and maintaining object-oriented software. In this paper, a new hierarchy slicing approach is presented so as to replace old slicing methods based on SDG (system dependence graph). The main idea of hierarchy slice and algorithm are discussed in this paper, and the application of hierarchy slicing algorithm is also presented at the end of this paper.

关 键 词：层次模型 分层切片 面向对象 程序分析 软件开发 

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