| 摘要 | 第3-4页 |
| Abstract | 第4页 |
| 1 绪论 | 第8-16页 |
| 1.1 研究背景和意义 | 第8-9页 |
| 1.2 相关技术及研究现状 | 第9-14页 |
| 1.2.1 Web服务和面向服务架构 | 第9-10页 |
| 1.2.2 Web服务测试 | 第10-13页 |
| 1.2.3 基于代数规约的测试 | 第13-14页 |
| 1.3 本文的主要研究内容 | 第14-15页 |
| 1.4 本文的组织结构 | 第15-16页 |
| 2 面向Web服务的代数规约 | 第16-27页 |
| 2.1 代数规约的结构 | 第16-18页 |
| 2.1.1 基调单元 | 第16-17页 |
| 2.1.2 公理集 | 第17页 |
| 2.1.3 变量结构树 | 第17-18页 |
| 2.2 代数规约的语义 | 第18-19页 |
| 2.3 代数规约语言SOFIA | 第19-26页 |
| 2.3.1 SOFIA的整体结构 | 第19-20页 |
| 2.3.2 基调的语法 | 第20-23页 |
| 2.3.3 公理集的语法 | 第23-25页 |
| 2.3.4 用SOFIA表示Stack | 第25-26页 |
| 2.4 本章小结 | 第26-27页 |
| 3 基于代数规约的Web服务自动化测试框架 | 第27-41页 |
| 3.1 测试数据生成 | 第28-31页 |
| 3.2 测试执行 | 第31-33页 |
| 3.3 测试结果分析 | 第33-35页 |
| 3.4 Web服务自动化测试算法 | 第35-40页 |
| 3.4.1 算法TE | 第36-38页 |
| 3.4.2 算法TDG | 第38页 |
| 3.4.3 算法CC | 第38-39页 |
| 3.4.4 算法TP | 第39-40页 |
| 3.5 本章小结 | 第40-41页 |
| 4 基于代数规约的Web服务自动化测试工具 | 第41-47页 |
| 4.1 测试工具的整体架构 | 第41-43页 |
| 4.2 测试工具的工作流程 | 第43-46页 |
| 4.2.1 代数规约解析器 | 第43-44页 |
| 4.2.2 测试数据生成器 | 第44-45页 |
| 4.2.3 测试驱动器 | 第45页 |
| 4.2.4 测试结果分析器 | 第45-46页 |
| 4.3 本章小结 | 第46-47页 |
| 5 案例分析 | 第47-63页 |
| 5.1 案例一：火车时刻表查询服务 | 第50-56页 |
| 5.1.1 服务的代数规约描述 | 第50-54页 |
| 5.1.2 测试结果分析 | 第54-56页 |
| 5.2 案例二：AWSECommerceService服务 | 第56-62页 |
| 5.2.1 服务的代数规约描述 | 第56-59页 |
| 5.2.2 测试结果分析 | 第59-62页 |
| 5.3 本章小结 | 第62-63页 |
| 6 总结 | 第63-64页 |
| 致谢 | 第64-65页 |
| 参考文献 | 第65-69页 |
| 附录 | 第69页 |