| 摘要 | 第1-5页 |
| Abstract | 第5-8页 |
| 1 引言 | 第8-12页 |
| ·课题研究的目的和意义 | 第9页 |
| ·课题研究内容与方法 | 第9-10页 |
| ·论文结构 | 第10-12页 |
| 2 相关理论和技术介绍 | 第12-28页 |
| ·Web服务原理及测试方法 | 第12-21页 |
| ·Web服务原理 | 第12-17页 |
| ·Web服务测试的基本概念 | 第17-21页 |
| ·TTCN-3简介 | 第21-28页 |
| ·TTCN-3核心语言 | 第22-25页 |
| ·TTCN-3测试体系结构 | 第25-28页 |
| 3 基于TTCN-3的Web服务测试方法的研究 | 第28-42页 |
| ·WSDL到TTCN-3描述的总体转换规则 | 第28-31页 |
| ·WSDL到TTCN-3的转换实现 | 第31-40页 |
| ·WSDL到TTCN-3抽象测试套自动生成的算法 | 第40-41页 |
| ·Web服务性能测试的TTCN-3抽象测试套 | 第41-42页 |
| 4 Web服务测试系统编/解码器和适配器的实现 | 第42-50页 |
| ·Web服务测试系统编/解码器的实现方案 | 第42-45页 |
| ·编码过程实现方案 | 第43页 |
| ·解码过程实现方案 | 第43-44页 |
| ·通用的Web服务测试系统编/解码器的实现方案 | 第44-45页 |
| ·Web服务测试系统适配器的实现方案 | 第45-50页 |
| ·Web服务测试系统适配器的运行时接口 | 第45-46页 |
| ·通用的Web服务被测系统适配器的实现方案 | 第46-50页 |
| 5 Web服务应用系统自动化测试平台的实现 | 第50-56页 |
| ·测试平台的整体系统设计 | 第50-52页 |
| ·WSDL自动转换TTCN-3抽象测试套生成向导的实现 | 第52-54页 |
| ·Web服务通用测试工程模板Template的实现 | 第54-55页 |
| ·Web服务测试平台执行模块 | 第55-56页 |
| 6 Web服务自动化测试模拟平台的应用 | 第56-66页 |
| ·国家货币信息查询Web服务的测试案例 | 第56-58页 |
| ·国家货币信息查询Web服务的测试步骤 | 第56-58页 |
| ·国家货币信息查询Web服务测试套在测试平台上的执行 | 第58页 |
| ·股票查询Web服务的测试案例 | 第58-66页 |
| ·股票查询Web服务的抽象测试套的自动生成 | 第60-62页 |
| ·股票查询Web服务的编/解码器的实现 | 第62-63页 |
| ·股票查询Web服务系统适配器的实现 | 第63页 |
| ·股票查询Web服务测试套在测试平台上的执行 | 第63-66页 |
| 结论 | 第66-68页 |
| 参考文献 | 第68-72页 |
| 申请学位期间发表的学术论文 | 第72-74页 |
| 致谢 | 第74页 |
