程序切片技术在程序理解中的应用研究

摘要

在软件项目的开发中,利用已有的遗产软件系统服务于新的业务需求,已经成为软件工程的一个发展方向.基于此,对现有遗产软件进行维护、重用以及逆向工程的需求促进了对程序理解方法和工具的研究.程序理解是当今软件理论界的一个研究热点,是通过一定的方法或者工具来弄清一个程序是

目录

文摘

英文文摘

原创性声明及关于学位论文使用授权的声明

第一章 引言

1.1 课题的意义

1.2 课题背景

1.3 本文的组织

第二章 程序理解概述

2.1 程序理解的困难性

2.2 程序理解的任务

2.3 程序理解模型

2.4 程序理解方法

2.5 面向对象软件的程序理解

2.5.1 面向对象程序理解的困难性

2.5.2 面向对象程序的理解方式

第三章 程序切片技术概述

3.1 程序切片概念

3.2 程序切片分类

3.2.1 静态切片和动态切片

3.2.2 后向切片和前向切片

3.2.3 过程内切片和过程间切片

3.3 程序切片准则

3.4 程序切片算法

3.4.1 基于数据流方程的算法

3.4.2 基于依赖图的图形可达性算法

3.4.3 基于语句波动图的算法思想

第四章 面向对象程序切片

4.1 传统系统依赖图的缺陷分析

4.2 面向对象系统依赖图(OSDG)

4.2.1 面向对象系统依赖图(OSDG)的语义表示

4.2.2 类的依赖表示

4.3 面向对象系统依赖图的构造算法

4.4 面向对象系统依赖图的大小

4.5 基于OSDG的程序切片

第五章 面向对象程序切片工具模型设计

5.1 SPT的结构模型

5.2 SPT的待完善之处

第六章 结束语

参考文献

致谢

硕士研究生期间发表的论文

学位论文评阅及答辩情况表