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

被引:39
作者
李必信
刘小东
郑滔
李宣东
郑国梁
机构
[1] 南京大学计算机软件新技术国家重点实验室
[2] 中国科学技术大学计算机科学技术系 江苏南京
[3] 安徽合肥
关键词
层次模型; 分层切片; 逐步求精; 类层次结构切片;
D O I
暂无
中图分类号
TP311.52 [];
学科分类号
摘要
程序切片是一种程序分析技术 ,广泛应用于程序的调试、测试、理解和维护等软件开发的各个阶段 .在研究静态类型面向对象的程序切片时发现 ,利用系统依赖图计算程序切片虽然是一种有效的方法 ,但构造 OO程序的系统依赖图是一件非常复杂的工作 ,而且构造过程中容易出错 ,这会导致切片的结果不正确 ,造成前功尽弃 .为此 ,从程序逻辑分层的角度提出一种 OO程序的层次模型 ,然后在 OO程序的层次模型基础上采用逐步求精算法来分层计算 OO程序的切片 .
引用
收藏
页码:1810 / 1817
页数:8
相关论文
共 3 条
[1]
一种基于类层次图的分析面向对象程序的框架 [J].
李必信 ;
梁佳 ;
张勇翔 ;
樊晓聪 ;
郑国梁 ;
nju.edu.cn .
软件学报, 2000, (05) :694-700
[2]
PSS/Ada程序切片系统的设计与实现 [J].
杨洪 ;
徐宝文 .
计算机研究与发展, 1997, (03)
[3]
Slicing class hierarchy in C++ Tip F; Choi J D; Field J; Ramalingam G; In: Proc of the llth Annual Conf on Object-OrientedProgramming; System; Language; and Application 1996,