基于过程蓝图的程序切片技术研究
| 摘要 | 第1-4页 |
| ABSTRACT | 第4-5页 |
| 目录 | 第5-7页 |
| 第一章 绪论 | 第7-10页 |
| ·研究背景 | 第7页 |
| ·国内外研究现状分析 | 第7-8页 |
| ·研究目的和研究内容 | 第8页 |
| ·本文的组织 | 第8-10页 |
| 第二章 过程蓝图简介 | 第10-14页 |
| ·概述 | 第10页 |
| ·基本概念 | 第10-12页 |
| ·动作 | 第10-11页 |
| ·数据流 | 第11页 |
| ·控制流 | 第11页 |
| ·过程 | 第11页 |
| ·基本概念关系模型 | 第11-12页 |
| ·过程蓝图开发方法 | 第12-13页 |
| ·过程蓝图的用途 | 第13页 |
| ·过程蓝图的优势 | 第13页 |
| ·本章小结 | 第13-14页 |
| 第三章 程序切片技术 | 第14-24页 |
| ·程序切片概述 | 第14页 |
| ·程序切片的分类 | 第14-17页 |
| ·静态程序切片 | 第14-15页 |
| ·动态程序切片 | 第15-16页 |
| ·过程内切片与过程间切片 | 第16页 |
| ·不规则切片 | 第16页 |
| ·条件的、约束的和准静态的切片 | 第16-17页 |
| ·程序切片的计算方法 | 第17-21页 |
| ·基于数据流方程的算法 | 第17-19页 |
| ·基于依赖图的图形可达性算法 | 第19-21页 |
| ·其它算法 | 第21页 |
| ·程序切片技术的应用 | 第21-23页 |
| ·调试 | 第21-22页 |
| ·程序测试 | 第22页 |
| ·软件维护 | 第22-23页 |
| ·再工程和逆向工程 | 第23页 |
| ·本章小结 | 第23-24页 |
| 第四章 基于过程蓝图的程序切片 | 第24-45页 |
| ·概述 | 第24页 |
| ·定义WHILE语言 | 第24-26页 |
| ·推演规则方法 | 第26-30页 |
| ·切片上下文 | 第26-27页 |
| ·基本的演绎规则 | 第27-29页 |
| ·使用派生树切片 | 第29-30页 |
| ·过程间切片 | 第30-39页 |
| ·WHILE语言的扩展 | 第30-31页 |
| ·过程间规则 | 第31-35页 |
| ·加速切片 | 第35-37页 |
| ·构造规则 | 第37-38页 |
| ·递归调用 | 第38-39页 |
| ·更多的特征 | 第39-42页 |
| ·复杂表达式 | 第39-40页 |
| ·数组存取 | 第40-41页 |
| ·变量声明 | 第41页 |
| ·结构化跳转 | 第41-42页 |
| ·通用切片准则 | 第42页 |
| ·抽象实现结构图切片规则 | 第42-44页 |
| ·本章小结 | 第44-45页 |
| 第五章 过程蓝图切片工具的设计与实现 | 第45-51页 |
| ·设计背景 | 第45页 |
| ·过程蓝图编辑器子系统 | 第45-48页 |
| ·体系结构设计 | 第45-46页 |
| ·核心数据结构 | 第46页 |
| ·良构规则 | 第46页 |
| ·三层结构图之间的相互映射 | 第46-47页 |
| ·过程蓝图的存储与读取 | 第47-48页 |
| ·代码生成 | 第48页 |
| ·切片子系统 | 第48-50页 |
| ·切片上下文 | 第48-49页 |
| ·演绎规则 | 第49-50页 |
| ·小结 | 第50-51页 |
| 第六章 结论与展望 | 第51-52页 |
| 1.结论 | 第51页 |
| 2.今后的工作 | 第51-52页 |
| 主要参考文献 | 第52-55页 |
| 致谢 | 第55页 |
