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

被引：39

作者：

李必信

刘小东

郑滔

李宣东

郑国梁

机构：

[1] 南京大学计算机软件新技术国家重点实验室

[2] 中国科学技术大学计算机科学技术系江苏南京

[3] 安徽合肥

来源：

软件学报 | 2001年 / 12期

关键词：

层次模型; 分层切片; 逐步求精; 类层次结构切片;

D O I：

暂无

中图分类号：

TP311.52 [];

学科分类号：

摘要：

程序切片是一种程序分析技术 ,广泛应用于程序的调试、测试、理解和维护等软件开发的各个阶段 .在研究静态类型面向对象的程序切片时发现 ,利用系统依赖图计算程序切片虽然是一种有效的方法 ,但构造 OO程序的系统依赖图是一件非常复杂的工作 ,而且构造过程中容易出错 ,这会导致切片的结果不正确 ,造成前功尽弃 .为此 ,从程序逻辑分层的角度提出一种 OO程序的层次模型 ,然后在 OO程序的层次模型基础上采用逐步求精算法来分层计算 OO程序的切片 .

引用

页码：1810 / 1817

页数：8