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

李必信; 刘小东; 郑滔; 李宣东; 郑国梁

首页> 中文期刊> 《软件学报》 >一种面向对象程序的分层切片方法

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《软件学报》 |2001年第12期|1810-1817|共8页
作者
李必信; 刘小东; 郑滔; 李宣东; 郑国梁;
展开▼
作者单位

南京大学;

南京大学;

南京大学;

南京大学;

南京大学;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
层次模型; 分层切片; 逐步求精; 类层次结构切片;

相似文献

中文文献
外文文献
专利

1. 一种基于LTL性质的面向对象并发程序切片方法 [J] . 戎玫 ,何志学 ,张广泉 . 计算机应用 . 2008,第005期
2. 一种面向对象并发程序的动态切片方法 [J] . 何志学 ,张广泉 . 苏州大学学报（工科版） . 2007,第003期
3. 一种C++程序的分层切片方法 [J] . 任凌燕 ,刘坚 . 计算机工程与应用 . 2003,第023期
4. 一种基于JaVa程序分层模型的方法内切片生成算法 [J] . 陈雨亭 ,朱平 ,刘芳 . 计算机工程与应用 . 2002,第002期
5. 一种面向对象程序的过程间切片算法 [J] . 刘芳 ,陈雨亭 ,朱平 . 小型微型计算机系统 . 2002,第009期
6. 一种包含异常处理结构的面向对象切片方法 [C] . 郝杰 ,姜淑娟 . 2011年江苏省人工智能学术会议 . 2011
7. 结合程序切片技术的并行面向对象程序模型检查 [A] . 高鹏飞 . 2008

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

摘要

著录项

相似文献

相关主题

期刊订阅