分段式混合执行测试方法的研究
| 摘要 | 第1-7页 |
| ABSTRACT | 第7-11页 |
| 第一章 绪论 | 第11-18页 |
| ·研究背景 | 第11-13页 |
| ·国内外研究现状 | 第13-15页 |
| ·解决方案 | 第15-16页 |
| ·分段式混合执行测试 | 第15-16页 |
| ·混合执行测试工具 | 第16页 |
| ·本文的主要贡献 | 第16页 |
| ·本文的组织结构 | 第16-18页 |
| 第二章 混合执行测试技术 | 第18-26页 |
| ·基本概念 | 第18页 |
| ·符号执行技术与静态测试自动生成 | 第18-20页 |
| ·混合执行测试与测试数据自动生成 | 第20-25页 |
| ·现有工具的分类 | 第22页 |
| ·CREST | 第22-25页 |
| ·本章小结 | 第25-26页 |
| 第三章 分段式混合执行测试 | 第26-36页 |
| ·分段式符号分析技术SSA | 第26-30页 |
| ·Helium框架 | 第26-30页 |
| ·分段式混合执行测试方法 | 第30-33页 |
| ·可行性分析 | 第30-32页 |
| ·分段式混合执行测试方法概况 | 第32-33页 |
| ·sCREST原型系统设计 | 第33-35页 |
| ·设计目的 | 第33-34页 |
| ·sCREST的执行流程 | 第34-35页 |
| ·本章小结 | 第35-36页 |
| 第四章 sCREST原型系统的实现 | 第36-40页 |
| ·sCREST详细原型框架 | 第36-37页 |
| ·具体实现 | 第37-39页 |
| ·本章小结 | 第39-40页 |
| 第五章 实验与结果分析 | 第40-50页 |
| ·实验方法与结果 | 第40-41页 |
| ·实验过程与详细结果分析 | 第41-48页 |
| ·总体分析 | 第48-49页 |
| ·本章小结 | 第49-50页 |
| 第六章 总结与展望 | 第50-52页 |
| ·本文的主要工作 | 第50页 |
| ·进一步工作 | 第50-52页 |
| 参考文献 | 第52-57页 |
| 致谢 | 第57-58页 |
| 附录 攻读学位期间发表的学术论文 | 第58页 |
