程序切片技术研究及切片方案设计
| 摘要 | 第5-6页 |
| abstract | 第6-7页 |
| 第一章 绪论 | 第11-16页 |
| 1.1 课题研究背景 | 第11页 |
| 1.2 程序切片技术国内外研究历史及现状 | 第11-13页 |
| 1.3 论文主要工作 | 第13-14页 |
| 1.4 论文的组织结构 | 第14-16页 |
| 第二章 程序切片技术 | 第16-28页 |
| 2.1 程序切片概述 | 第16页 |
| 2.2 切片流程 | 第16-17页 |
| 2.3 切片方向 | 第17-19页 |
| 2.3.1 前向切片 | 第17-18页 |
| 2.3.2 后向切片 | 第18-19页 |
| 2.4 切片角度 | 第19-22页 |
| 2.4.1 静态切片 | 第19-20页 |
| 2.4.2 动态切片 | 第20-21页 |
| 2.4.3 条件切片 | 第21页 |
| 2.4.4 其它切片角度 | 第21-22页 |
| 2.5 计算方法 | 第22-23页 |
| 2.6 应用范围 | 第23-27页 |
| 2.6.1 程序调试 | 第23页 |
| 2.6.2 程序测试 | 第23-24页 |
| 2.6.3 软件维护 | 第24-25页 |
| 2.6.4 软件重用 | 第25-26页 |
| 2.6.5 逆向工程 | 第26页 |
| 2.6.6 软件度量 | 第26-27页 |
| 2.7 小结 | 第27-28页 |
| 第三章 数据流方程算法与图可达性算法 | 第28-43页 |
| 3.1 数据流方程算法 | 第28-32页 |
| 3.1.1 控制流图 | 第28-31页 |
| 3.1.2 数据流方程算法步骤 | 第31-32页 |
| 3.2 图可达性算法 | 第32-40页 |
| 3.2.1 基于程序依赖图的图可达性算法 | 第32-36页 |
| 3.2.1.1 程序依赖图 | 第32-35页 |
| 3.2.1.2 基于PDG的图可达性算法 | 第35-36页 |
| 3.2.2 基于系统依赖图的图可达性算法 | 第36-40页 |
| 3.2.2.1 系统依赖图 | 第36-38页 |
| 3.2.2.2 基于SDG的图可达性算法 | 第38-40页 |
| 3.3 算法特性分析 | 第40-42页 |
| 3.3.1 数据流方程算法特性 | 第40-41页 |
| 3.3.2 图可达性算法特性 | 第41-42页 |
| 3.4 小结 | 第42-43页 |
| 第四章 基于块的切片方案设计 | 第43-65页 |
| 4.1 程序的块状表示 | 第43-46页 |
| 4.1.1 块的定义 | 第43-45页 |
| 4.1.2 程序的块状表示文法 | 第45页 |
| 4.1.3 依赖关系分析 | 第45-46页 |
| 4.2 预处理过程 | 第46-48页 |
| 4.2.1 建立块的符号表 | 第46-48页 |
| 4.2.2 建立块的信息表 | 第48页 |
| 4.3 切片准则 | 第48-49页 |
| 4.3.1 基本块切片准则 | 第48页 |
| 4.3.2 组合块切片准则 | 第48-49页 |
| 4.4 基本块切片过程 | 第49-53页 |
| 4.4.1 顺序基本块切片过程 | 第49-50页 |
| 4.4.2 分支基本块切片过程 | 第50-52页 |
| 4.4.3 循环基本块切片过程 | 第52-53页 |
| 4.5 组合块切片过程 | 第53-56页 |
| 4.5.1 组合块切片子进程 | 第53-54页 |
| 4.5.2 顺序组合块切片过程 | 第54-55页 |
| 4.5.3 分支组合块切片过程 | 第55页 |
| 4.5.4 循环组合块切片过程 | 第55-56页 |
| 4.6 函数调用切片过程 | 第56页 |
| 4.7 整体切片流程 | 第56-57页 |
| 4.8 切片示例 | 第57-62页 |
| 4.8.1 切片示例程序的预处理 | 第57-60页 |
| 4.8.2 示例程序的切片过程 | 第60-62页 |
| 4.9 切片方案分析 | 第62-63页 |
| 4.10 小结 | 第63-65页 |
| 第五章 基于路径图的切片方案设计 | 第65-73页 |
| 5.1 路径图的定义 | 第65-67页 |
| 5.2 基于路径图的切片方案 | 第67-70页 |
| 5.3 切片方案分析 | 第70-72页 |
| 5.4 小结 | 第72-73页 |
| 第六章 总结与展望 | 第73-76页 |
| 6.1 论文总结 | 第73-75页 |
| 6.1.1 论文工作总结 | 第73-74页 |
| 6.1.2 论文创新之处 | 第74-75页 |
| 6.2 未来工作展望 | 第75-76页 |
| 致谢 | 第76-77页 |
| 参考文献 | 第77-81页 |
| 附录Ⅰ | 第81-84页 |
| 附录Ⅱ | 第84-87页 |
| 附录Ⅲ | 第87-90页 |
| 附录Ⅳ | 第90-94页 |
| 攻读硕士学位期间取得的研究成果 | 第94-95页 |
