| 摘要 | 第10-12页 |
| ABSTRACT | 第12-13页 |
| 第一章 绪论 | 第14-40页 |
| 1.1 研究背景 | 第14-15页 |
| 1.2 符号执行方法简介 | 第15-26页 |
| 1.2.1 静态符号执行简介 | 第15-17页 |
| 1.2.2 动态符号执行简介 | 第17-19页 |
| 1.2.3 符号执行方法的应用 | 第19-21页 |
| 1.2.4 困难与挑战 | 第21-23页 |
| 1.2.5 典型工具 | 第23-26页 |
| 1.3 研究动机与研究内容 | 第26-32页 |
| 1.3.1 猜测符号执行提高静态符号执行的可扩展性 | 第26-27页 |
| 1.3.2 正规性质制导的动态符号执行提高动态符号执行的可扩展性 | 第27-29页 |
| 1.3.3 基于符号执行的Web服务测试 提高符号执行的可行性 | 第29-32页 |
| 1.4 相关工作 | 第32-38页 |
| 1.4.1 符号执行的可扩展性 | 第32-34页 |
| 1.4.2 猜测思想 | 第34页 |
| 1.4.3 程序正规性质检查方法 | 第34-36页 |
| 1.4.4 Web服务的符号执行 | 第36-38页 |
| 1.5 论文结构 | 第38-40页 |
| 第二章 猜测符号执行 | 第40-70页 |
| 2.1 方法简介及示例 | 第40-43页 |
| 2.2 方法介绍 | 第43-54页 |
| 2.2.1 算法 | 第43-44页 |
| 2.2.2 正确性证明 | 第44-47页 |
| 2.2.3 优化方法 | 第47-49页 |
| 2.2.4 讨论 | 第49-54页 |
| 2.3 工具实现 | 第54-60页 |
| 2.3.1 Symbolic Path Finder简介 | 第55-56页 |
| 2.3.2 S2PF介绍 | 第56-58页 |
| 2.3.3 处理符号化数组 | 第58-60页 |
| 2.4 实验评估 | 第60-66页 |
| 2.4.1 实验设计 | 第60-61页 |
| 2.4.2 实验结果 | 第61-66页 |
| 2.5 相关工作 | 第66-68页 |
| 2.6 本章总结 | 第68-70页 |
| 第三章 正规性质制导的动态符号执行 | 第70-102页 |
| 3.1 方法简介 | 第70-72页 |
| 3.2 运行示例 | 第72-76页 |
| 3.3 方法 | 第76-91页 |
| 3.3.1 算法框架 | 第76-77页 |
| 3.3.2 评估函数 | 第77-81页 |
| 3.3.3 评估分支的未来 | 第81-89页 |
| 3.3.4 讨论 | 第89-91页 |
| 3.4 实现与实验评估 | 第91-101页 |
| 3.4.1 实现平台简述 | 第91-92页 |
| 3.4.2 实验评估 | 第92-101页 |
| 3.5 本章总结 | 第101-102页 |
| 第四章 基于符号执行的Web服务测试 | 第102-128页 |
| 4.1 服务测试框架 | 第103-109页 |
| 4.1.1 典型服务测试场景 | 第103-104页 |
| 4.1.2 框架的设计 | 第104-106页 |
| 4.1.3 运行示例 | 第106-108页 |
| 4.1.4 关键技术问题 | 第108-109页 |
| 4.2 框架实现 | 第109-116页 |
| 4.2.1 软件测试本体STOWS | 第110-111页 |
| 4.2.2 符号执行工具能力描述 | 第111-112页 |
| 4.2.3 符号执行工具的集成 | 第112-113页 |
| 4.2.4 本体管理服务 | 第113-114页 |
| 4.2.5 测试中介 | 第114-116页 |
| 4.3 运行实例 | 第116-119页 |
| 4.3.1 集成符号执行工具 | 第118-119页 |
| 4.4 实验评估 | 第119-123页 |
| 4.4.1 案例研究：通用性 | 第119页 |
| 4.4.2 实验一：处理服务之间的区别 | 第119-121页 |
| 4.4.3 实验二：可扩展性 | 第121-123页 |
| 4.5 相关工作 | 第123-126页 |
| 4.6 本章总结 | 第126-128页 |
| 第五章 总结与展望 | 第128-132页 |
| 5.1 本文总结 | 第128-129页 |
| 5.2 将来的工作 | 第129-132页 |
| 致谢 | 第132-134页 |
| 参考文献 | 第134-150页 |
| 作者在学期间取得的学术成果 | 第150页 |
