基于模型检测的Web服务测试方法研究

摘要	第1-5页
Abstract	第5-8页
1 引言	第8-12页
·课题研究的目的和意义	第8-9页
·研究现状	第9页
·课题研究内容与方法	第9-10页
·论文结构	第10-12页
2 相关理论和技术介绍	第12-23页
·Web服务概述	第12-18页
·Web服务原理与技术	第13-16页
·Web服务测试	第16-18页
·EVALUATOR与TTCN-3简介	第18-23页
·EVALUATOR	第18-20页
·TTCN-3核心语言	第20-23页
3 基于模型检测反例的测试例生成算法	第23-29页
·测试用例选择方案	第23-25页
·模拟数据的映射	第25-28页
·测试例选择算法	第28-29页
4 服务的TTCN-3测试套自动生成方法研究	第29-41页
·映射关系：WSDL文件与TTCN-3文件	第29-31页
·Web服务基于TTCN-3的测试套框架	第31-35页
·测试套自动生成算法	第35-37页
·编解码器和适配器的实现	第37-41页
·编解码器的实现	第38-39页
·适配器的实现	第39-41页
5 服务测试工具的设计与实现	第41-67页
·测试平台的整体系统设计	第41-42页
·文档解析模块	第42-48页
·中间代码结构的设计	第43-45页
·代码实现	第45-48页
·Web服务测试执行模块	第48-49页
·实际案例研究	第49-67页
·房屋贷款案例的测试	第50-59页
·飞机订票服务案例	第59-64页
·随机数服务案例的测试	第64-67页
6 结论	第67-68页
参考文献	第68-70页
申请学位期间发表的学术论文	第70-71页
致谢	第71页