基于程序切片的软件测试研究
| 摘要 | 第1-5页 |
| Abstract | 第5-8页 |
| 第一章 绪论 | 第8-12页 |
| §1-1 课题研究的背景和意义 | 第8-9页 |
| §1-2 程序切片技术 | 第9-10页 |
| §1-3 本文的主要工作及组织结构 | 第10-11页 |
| 1-3-1 研究目标及内容 | 第10页 |
| 1-3-2 本文的组织结构 | 第10-11页 |
| §1-4 小结 | 第11-12页 |
| 第二章 可达路径问题 | 第12-15页 |
| §2-1 不可达路径的分析 | 第12页 |
| §2-2 可达路径分析 | 第12-13页 |
| 2-2-1 探测分支冲突 | 第13页 |
| 2-2-2 多种边选择法 | 第13页 |
| §2-3 小结 | 第13-15页 |
| 第三章 程序切片方法的阐述 | 第15-26页 |
| §3-1 程序切片的定义 | 第15页 |
| §3-2 程序切片技术发展过程 | 第15-16页 |
| §3-3 程序切片在软件工程中的应用 | 第16-18页 |
| §3-4 程序切片分类 | 第18-21页 |
| 3-4-1 静态切片与动态切片 | 第18-19页 |
| 3-4-2 后向切片与前向切片 | 第19页 |
| 3-4-3 面向对象切片 | 第19-20页 |
| 3-4-4 其他类型程序切片 | 第20-21页 |
| §3-5 程序切片准则 | 第21-22页 |
| §3-6 程序切片算法 | 第22-24页 |
| 3-6-1 静态切片算法 | 第22-23页 |
| 3-6-2 动态切片算法 | 第23-24页 |
| 3-6-3 面向对象切片算法 | 第24页 |
| §3-7 小结 | 第24-26页 |
| 第四章 基于程序切片的路径选择算法研究 | 第26-36页 |
| §4-1 程序切片在路径选择应用中 | 第26页 |
| §4-2 路径切片概念的提出 | 第26-28页 |
| §4-3 路径切片中的可达路径分析 | 第28-35页 |
| 4-3-1 路径切片算法基础 | 第28-30页 |
| 4-3-2 应用路径切片算法分析可达路径 | 第30-35页 |
| §4-4 小结 | 第35-36页 |
| 第五章 基于路径切片算法的路径选择实现 | 第36-45页 |
| §5-1 路径选择过程实现 | 第36-43页 |
| 5-1-1 词法和语法分析过程 | 第36-40页 |
| 5-1-2 切片计算及路径提取试验 | 第40-43页 |
| §5-2 小结 | 第43-45页 |
| 第六章 总结和展望 | 第45-47页 |
| §6-1 总结 | 第45页 |
| §6-2 展望 | 第45-47页 |
| 参考文献 | 第47-50页 |
| 致谢 | 第50-51页 |
| 攻读学位期间所取得的相关科研成果 | 第51页 |
