程序切片技术研究及其在软件测试数据生成中的应用
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-10页 |
| 符号说明 | 第10-11页 |
| 第一章 绪论 | 第11-17页 |
| ·课题研究的背景和意义 | 第11-12页 |
| ·国内外的研究现状和发展动态 | 第12-15页 |
| ·测试数据生成方法 | 第12-13页 |
| ·程序切片技术 | 第13-15页 |
| ·本文的主要工作及组织结构 | 第15-16页 |
| ·研究目标及内容 | 第15页 |
| ·本文的组织结构 | 第15-16页 |
| ·本章小结 | 第16-17页 |
| 第二章 程序切片技术 | 第17-28页 |
| ·程序切片技术简介 | 第17-19页 |
| ·程序切片技术发展历史 | 第17-18页 |
| ·程序切片技术的应用 | 第18-19页 |
| ·程序切片定义 | 第19-20页 |
| ·程序切片分类 | 第20-22页 |
| ·静态切片和动态切片 | 第20-21页 |
| ·前向切片和后向切片 | 第21页 |
| ·过程内切片和过程间切片 | 第21-22页 |
| ·程序切片准则 | 第22-23页 |
| ·程序切片算法 | 第23-27页 |
| ·常用的静态切片算法 | 第23-26页 |
| ·常用的动态切片算法 | 第26-27页 |
| ·本章小结 | 第27-28页 |
| 第三章 基于前向分析的动态切片算法的研究 | 第28-37页 |
| ·现有动态程序切片算法的不足 | 第28-29页 |
| ·基本术语 | 第29-30页 |
| ·动态切片算法思想 | 第30-33页 |
| ·动态切片算法的形式描述 | 第33-34页 |
| ·实例分析 | 第34-35页 |
| ·本章小结 | 第35-37页 |
| 第四章 动态程序切片技术在测试数据生成中的应用 | 第37-51页 |
| ·基于路径的测试数据生成 | 第37-39页 |
| ·分支函数 | 第37页 |
| ·测试数据生成过程 | 第37-39页 |
| ·输入变量的调整方式 | 第39页 |
| ·基于程序切片技术的测试数据生成 | 第39-41页 |
| ·应用动态切片技术的动因 | 第41-42页 |
| ·一种测试数据生成系统框架 | 第42-43页 |
| ·系统框架 | 第42-43页 |
| ·测试数据生成系统工作流程 | 第43页 |
| ·设计实现 | 第43-47页 |
| ·预处理模块实现 | 第44页 |
| ·计算动态程序切片实现 | 第44-46页 |
| ·数据调整模块实现 | 第46-47页 |
| ·实例说明 | 第47-50页 |
| ·本章小结 | 第50-51页 |
| 第五章 结束语 | 第51-53页 |
| ·本文的主要工作 | 第51页 |
| ·进一步的工作 | 第51-53页 |
| 参考文献 | 第53-58页 |
| 附录Ⅰ | 第58-59页 |
| 致谢 | 第59-60页 |
| 攻读学位期间发表的论文目录 | 第60页 |
