| 内容提要 | 第1-5页 |
| 中文摘要 | 第5-8页 |
| Abstract | 第8-16页 |
| 第1章 绪论 | 第16-34页 |
| ·程序切片概念的提出 | 第16页 |
| ·程序切片技术的发展 | 第16-22页 |
| ·从基于数据流方程计算切片发展到基于程序依赖图计算切片 | 第17-18页 |
| ·从可执行的切片发展到不可执行的切片 | 第18-19页 |
| ·从静态切片发展到动态切片和有条件切片 | 第19页 |
| ·从后向切片发展到前向切片 | 第19页 |
| ·从源程序代码切片发展到软件规约切片 | 第19-21页 |
| ·从传统的单一的程序切片到五花八门的各种切片 | 第21-22页 |
| ·程序切片的基本方法 | 第22-24页 |
| ·数据流方程算法 | 第23页 |
| ·图可达性算法 | 第23-24页 |
| ·程序切片的应用 | 第24-32页 |
| ·软件调试 | 第24-25页 |
| ·软件维护 | 第25-27页 |
| ·软件测试 | 第27-28页 |
| ·软件度量 | 第28-30页 |
| ·软件重用 | 第30-31页 |
| ·程序验证 | 第31-32页 |
| ·本文完成的工作 | 第32-34页 |
| 第2章 面向对象模型语言切片工具的实现 | 第34-68页 |
| ·引言 | 第34-35页 |
| ·PERL语言简介 | 第35-39页 |
| ·Perl概述 | 第35页 |
| ·Perl的数据类型 | 第35页 |
| ·Perl的语句和声明 | 第35-36页 |
| ·Perl的文件句柄 | 第36页 |
| ·Perl的模式匹配 | 第36页 |
| ·Perl的子过程 | 第36-37页 |
| ·Perl的引用 | 第37-38页 |
| ·Perl的数据结构 | 第38页 |
| ·Perl的模块 | 第38-39页 |
| ·MOOL语言的文法定义 | 第39-41页 |
| ·MOOL语言特征 | 第39页 |
| ·MOOL语言语法说明 | 第39-41页 |
| ·MOOL语言的切片模型 | 第41-45页 |
| ·MOOL程序的层次结构模型 | 第41-42页 |
| ·MOOL程序的层次切片模型 | 第42-43页 |
| ·MOOL程序切片算法的基本思想 | 第43-45页 |
| ·MOOL语言层次切片模型的实现 | 第45-58页 |
| ·代码信息树的结构和生成算法 | 第45-49页 |
| ·各层依赖图的生成算法和切片算法 | 第49-58页 |
| ·MOOL语言切片工具－MST | 第58-66页 |
| ·MST概述 | 第58-60页 |
| ·MST的语法分析模块 | 第60-61页 |
| ·MST的切片生成模块 | 第61-66页 |
| ·本章小结 | 第66-68页 |
| 第3章 基于块的程序切片方法 | 第68-90页 |
| ·引言 | 第68-69页 |
| ·基础知识 | 第69-74页 |
| ·基本定义 | 第69-72页 |
| ·控制流分析 | 第72页 |
| ·数据流分析 | 第72-74页 |
| ·程序切片方法 | 第74-83页 |
| ·预处理 | 第74-75页 |
| ·切片准则 | 第75-76页 |
| ·原子块块内切片方法 | 第76-78页 |
| ·非原子块块内切片方法 | 第78-82页 |
| ·程序切片流程 | 第82-83页 |
| ·函数间程序切片算法 | 第83-86页 |
| ·实例分析 | 第86-88页 |
| ·本章小结 | 第88-90页 |
| 第4章 基于分层次本体依赖图的本体切片方法 | 第90-110页 |
| ·本体切片问题的提出 | 第90-93页 |
| ·研究背景 | 第90-91页 |
| ·研究意义 | 第91-92页 |
| ·研究现状 | 第92-93页 |
| ·基础知识 | 第93-99页 |
| ·本体的定义 | 第93-95页 |
| ·切片技术 | 第95-96页 |
| ·本体模块化 | 第96-97页 |
| ·本体定义元模型 | 第97页 |
| ·原有的本体切片方法的复杂度 | 第97-99页 |
| ·基于本体依赖图的本体切片方法 | 第99-108页 |
| ·本体依赖图及其构造 | 第99-100页 |
| ·分层本体依赖图的构造 | 第100-106页 |
| ·本体切片的形式化描述 | 第106页 |
| ·语义完整性策略 | 第106-108页 |
| ·本体切片评价方法 | 第108-109页 |
| ·本章小结 | 第109-110页 |
| 第5章 总结 | 第110-112页 |
| ·本文工作总结 | 第110页 |
| ·进一步工作 | 第110-112页 |
| 参考文献 | 第112-118页 |
| 攻读博士学位期间所取得的科研成果 | 第118-119页 |
| 致谢 | 第119页 |