| 摘要 | 第1-4页 |
| ABSTRACT | 第4-8页 |
| 引言 | 第8-10页 |
| 1. 绪论 | 第10-13页 |
| ·研究的目的与意义 | 第10页 |
| ·研究现状 | 第10-11页 |
| ·课题研究内容和方法 | 第11-12页 |
| ·论文组织结构 | 第12-13页 |
| 2. 相关理论和主要的技术知识 | 第13-28页 |
| ·Web服务概述 | 第13-17页 |
| ·Web服务描述语言-WSDL | 第14-15页 |
| ·Web服务组合BPEL | 第15-17页 |
| ·模型检测概述 | 第17-21页 |
| ·系统建模语言LOTOS | 第18-20页 |
| ·CADP工具集 | 第20-21页 |
| ·TTCN3核心语言 | 第21页 |
| ·模型检测与测试混合策略 | 第21-28页 |
| ·建模 | 第22-26页 |
| ·验证 | 第26-27页 |
| ·测试 | 第27-28页 |
| 3. LOTOS复杂数据类型的扩展 | 第28-33页 |
| 4. WSDL服务的LOTOS建模过程中测试数据的生成方法 | 第33-37页 |
| 5. 模型检测与测试相结合的测试流程的设计实现与工具集成 | 第37-54页 |
| ·模型检测与测试相结合的测试流程的整体设计 | 第37-40页 |
| ·整合后BPELtoLOTOS建模工具的实现 | 第37-39页 |
| ·整合后WSDLtoTTCN3抽象测试套自动生成工具的实现 | 第39-40页 |
| ·工具集成 | 第40-42页 |
| ·案例 | 第42-54页 |
| ·含有死锁的房屋贷款案例 | 第43-49页 |
| ·含有不可用服务的房屋贷款案例 | 第49-54页 |
| 结论 | 第54-55页 |
| 参考文献 | 第55-57页 |
| 申请学位期间的研究成果及发表的学术论文 | 第57-58页 |
| 致谢 | 第58页 |
