基于服务需求的自动测试技术研究

中文摘要	第1-4页
英文摘要	第4-9页
1 绪论	第9-15页
·课题研究背景与意义	第9-10页
·国内外研究现状	第10-12页
·论文的主要工作	第12页
·论文组织结构	第12-13页
·本章小结	第13-15页
2 软件测试技术研究	第15-23页
·软件测试基本理论	第15-18页
·软件测试概述	第15页
·软件测试的目的和原则	第15-16页
·软件测试技术分类	第16-18页
·Web 服务测试方法	第18-21页
·Web 服务测试概述	第18-19页
·Web 服务测试与传统软件测试的异同	第19-20页
·Web 服务测试方法	第20-21页
·基于服务需求的测试方法	第21页
·本章小结	第21-23页
3 CCSOA 架构研究	第23-31页
·CCSOA 概述	第23-25页
·传统的SOA 概述	第23页
·以消费者为中心的SOA	第23-25页
·CCSOA 架构分析	第25-27页
·CCSOA 特点	第27-29页
·协同描述	第27页
·发现和匹配	第27-28页
·CCSOA 中的验证和确认	第28页
·应用程序分类	第28页
·应用程序和服务的连接	第28-29页
·CCSOA 中的快速应用程序生成	第29页
·CCSOA 下的服务验证与测试	第29-30页
·本章小结	第30-31页
4 Web 服务需求描述方法	第31-45页
·服务描述	第31-34页
·Web 服务描述语言	第31-33页
·服务需求描述语言	第33-34页
·基于合约设计的服务需求描述方法	第34-38页
·合约设计方法概述	第34页
·Web 服务合约	第34-35页
·基于合约设计的服务需求描述	第35页
·正则表达式对合约的描述	第35-36页
·加入合约设计的服务需求描述文档	第36-38页
·服务需求的工作流描述	第38-44页
·BPEL 简介	第38-39页
·BPEL 基本活动	第39-40页
·BPEL 结构化活动	第40-42页
·基于BPEL 的工作流需求描述	第42-44页
·本章小结	第44-45页
5 基于服务需求描述的测试方法	第45-59页
·基于单一Web 服务需求的测试方法	第45-47页
·服务需求与服务测试	第45页
·基于合约的测试方法	第45-46页
·测试覆盖准则概述	第46-47页
·基于WSRDL 文档的测试用例集生成	第47-50页
·基于合约测试的三元范式	第47-48页
·基于有限状态自动机的测试用例生成	第48页
·测试用例集生成算法	第48-49页
·实例分析	第49-50页
·基于UML 活动图的工作流需求解析	第50-56页
·UML 活动图概述	第50-51页
·UML 扩展机制	第51-52页
·UML 活动图的形式化定义	第52页
·BPEL 文档到UML 活动图的转换	第52-56页
·基于工作流需求描述的测试用例生成	第56-58页
·基于工作流需求的测试覆盖准则	第56页
·测试用例序列生成	第56-58页
·本章小结	第58-59页
6 仿真实验及分析	第59-71页
·实例需求分析	第59-60页
·基于单一Web 服务需求描述的测试用例生成实验	第60-62页
·订单验收的服务需求描述	第60-61页
·基于订单验收服务需求描述的测试用例生成	第61-62页
·基于工作流需求的测试序列生成实验	第62-69页
·购货业务的工作流需求描述	第62-66页
·基于购货业务工作流需求描述的测试用例生成	第66-69页
·本章小结	第69-71页
7 结论与展望	第71-73页
·结论	第71-72页
·工作展望	第72-73页
致谢	第73-75页
参考文献	第75-78页
附录	第78页