| 摘要 | 第4-6页 |
| Abstract | 第6-8页 |
| 第一章 绪论 | 第14-24页 |
| 1.1 概述 | 第14-16页 |
| 1.2 研究问题和目标 | 第16-18页 |
| 1.3 主要工作 | 第18-20页 |
| 1.4 论文组织结构 | 第20-24页 |
| 第二章 软件测试覆盖准则与符号执行技术 | 第24-40页 |
| 2.1 基于控制流的测试覆盖准则 | 第24-29页 |
| 2.2 符号执行技术 | 第29-39页 |
| 2.2.1 概述 | 第29-32页 |
| 2.2.2 发展及现状 | 第32-39页 |
| 2.3 本章小结 | 第39-40页 |
| 第三章 基于控制流的软件测试覆盖准则LSC(n) | 第40-58页 |
| 3.1 LSC(n)：一种统一的路径覆盖准则 | 第41-45页 |
| 3.1.1 LSC(n)：长度为n的子路径覆盖准则 | 第41-42页 |
| 3.1.2 LSC(n)的性质 | 第42-45页 |
| 3.2 LSC(n)覆盖度度量 | 第45-50页 |
| 3.2.1 构建控制流图 | 第45-47页 |
| 3.2.2 程序插桩 | 第47-49页 |
| 3.2.3 计算覆盖度 | 第49-50页 |
| 3.3 LSC(n)覆盖度度量工具n-cov | 第50-54页 |
| 3.3.1 工具实现 | 第50-51页 |
| 3.3.2 实验评估 | 第51-54页 |
| 3.4 相关工作 | 第54-55页 |
| 3.4.1 软件测试充分性覆盖准则 | 第54-55页 |
| 3.4.2 覆盖度度量工具 | 第55页 |
| 3.5 本章小结 | 第55-58页 |
| 第四章 面向程序中罕至部分的符号执行制导方法 | 第58-76页 |
| 4.1 基于LSC(n)频率的制导策略 | 第58-73页 |
| 4.1.1 算法设计 | 第58-64页 |
| 4.1.2 工具实现 | 第64-65页 |
| 4.1.3 实验评估 | 第65-73页 |
| 4.2 相关工作 | 第73-74页 |
| 4.3 本章小结 | 第74-76页 |
| 第五章 面向程序中重点部分的符号执行制导方法 | 第76-90页 |
| 5.1 基于Length-n Subpath权重的制导策略 | 第76-88页 |
| 5.1.1 算法设计 | 第76-83页 |
| 5.1.2 工具实现 | 第83页 |
| 5.1.3 实验评估 | 第83-88页 |
| 5.2 相关工作 | 第88-89页 |
| 5.3 本章小结 | 第89-90页 |
| 第六章 面向程序中特定目标组的符号执行制导方法及其应用 | 第90-118页 |
| 6.1 基于Length-n Subpath的目标制导制导策略 | 第91-97页 |
| 6.1.1 目标可达性分析 | 第91-94页 |
| 6.1.2 目标指导的制导策略 | 第94-97页 |
| 6.2 实例研究：面向缓存区溢出警报的审查及修复 | 第97-115页 |
| 6.2.1 面向缓存区溢出警报自动审查 | 第98-105页 |
| 6.2.2 面向缓存区溢出漏洞的修复 | 第105-108页 |
| 6.2.3 工具实现 | 第108-110页 |
| 6.2.4 实验评估 | 第110-114页 |
| 6.2.5 讨论 | 第114-115页 |
| 6.3 相关工作 | 第115-117页 |
| 6.3.1 基于路径约减的符号执行搜索技术 | 第115页 |
| 6.3.2 静态程序分析 | 第115-116页 |
| 6.3.3 自动修复技术 | 第116-117页 |
| 6.4 本章小结 | 第117-118页 |
| 第七章 总结及展望 | 第118-122页 |
| 7.1 论文主要工作 | 第118-120页 |
| 7.2 进一步工作 | 第120-122页 |
| 参考文献 | 第122-134页 |
| 科研成果 | 第134-136页 |
| 致谢 | 第136-138页 |
