| 摘要 | 第1-6页 |
| Abstract | 第6-8页 |
| 目录 | 第8-10页 |
| 图目录 | 第10-11页 |
| 表目录 | 第11-12页 |
| 第一章 引言 | 第12-17页 |
| ·研究背景 | 第12-13页 |
| ·研究现状 | 第13-15页 |
| ·研究内容和贡献 | 第15页 |
| ·本文的组织结构 | 第15-17页 |
| 第二章 动态测试技术 | 第17-27页 |
| ·Concolic测试 | 第17-18页 |
| ·数据库应用的测试用例生成方法 | 第18-21页 |
| ·基于状态模型的检测方法 | 第21-24页 |
| ·Web应用测试工具Apollo | 第24-25页 |
| ·本章小结 | 第25-27页 |
| 第三章 自动化Web测试框架APBFinder设计与实现 | 第27-41页 |
| ·APBFinder总体设计 | 第27-31页 |
| ·Executor | 第29页 |
| ·Input Generator | 第29-30页 |
| ·Database Manager | 第30页 |
| ·Bug Finder | 第30-31页 |
| ·路径约束生成 | 第31-34页 |
| ·数据库字段约束生成 | 第34-35页 |
| ·数据库状态约束生成 | 第35-37页 |
| ·约束求解 | 第37-38页 |
| ·Web环境状态和数据库状态管理 | 第38-39页 |
| ·约束最小化 | 第39页 |
| ·本章小结 | 第39-41页 |
| 第四章 实验评估 | 第41-44页 |
| ·APBFinder与Apollo | 第41-42页 |
| ·本章小结 | 第42-44页 |
| 第五章 总结与展望 | 第44-46页 |
| ·论文总结 | 第44页 |
| ·进一步工作展望 | 第44-46页 |
| 参考文献 | 第46-49页 |
| 致谢 | 第49-50页 |
| 附录一 | 第50-52页 |
| 发表论文 | 第52-53页 |
| 参与项目 | 第53-55页 |