基于测试空间静态约简的动态测试方法研究
| 摘要 | 第4-5页 |
| Abstract | 第5页 |
| 1 绪论 | 第8-12页 |
| 1.1 研究背景及意义 | 第8页 |
| 1.2 国内外研究现状 | 第8-10页 |
| 1.3 论文主要研究内容 | 第10页 |
| 1.4 论文组织结构 | 第10-12页 |
| 2 测试空间静态约简 | 第12-21页 |
| 2.1 设计思路 | 第12-14页 |
| 2.2 源代码预处理 | 第14页 |
| 2.3 提取有效调用链 | 第14-16页 |
| 2.4 相关函数脆弱性评估 | 第16-19页 |
| 2.5 选取关键调用链 | 第19-20页 |
| 2.6 本章小结 | 第20-21页 |
| 3 基于测试空间静态约简的动态测试方法 | 第21-30页 |
| 3.1 基于测试空间静态约简的动态测试流程 | 第21页 |
| 3.2 函数调用图生成 | 第21-22页 |
| 3.3 相关函数调用图生成 | 第22-24页 |
| 3.4 提取有效调用链 | 第24-25页 |
| 3.5 函数内部分支剪除 | 第25-26页 |
| 3.6 植入测试代码 | 第26-29页 |
| 3.7 本章小结 | 第29-30页 |
| 4 基于测试空间静态约简的动态测试系统实现 | 第30-50页 |
| 4.1 系统框架 | 第30-31页 |
| 4.2 IR结构介绍 | 第31-33页 |
| 4.3 提取有效调用链 | 第33-38页 |
| 4.4 相关函数脆弱性评估 | 第38-44页 |
| 4.5 分支语句替换 | 第44页 |
| 4.6 植入测试代码 | 第44-47页 |
| 4.7 测试数据生成 | 第47-49页 |
| 4.8 本章小结 | 第49-50页 |
| 5 实验与结果分析 | 第50-54页 |
| 5.1 实验环境 | 第50页 |
| 5.2 实验用例 | 第50页 |
| 5.3 实验结果 | 第50-53页 |
| 5.4 本章小结 | 第53-54页 |
| 6 总结与展望 | 第54-55页 |
| 致谢 | 第55-56页 |
| 参考文献 | 第56-59页 |
