摘要Web服务的健康发展离不开测试方法的与时俱进，开发一种高效、稳定、便捷、简单的测试方法迫在眉睫。代数规约语言由于其自身独立于服务实现的特点，在自动化测试用例生成方面有得天独厚的优势，被广大研究者应用于自动化测试工具开发中。然而由于研究时间所限，目前尚未有完善的基于代数规约的自动化测试工具。本文在基于代数规约的Web服务测试用例生成基础上，大量研究了相关文献资料，总结前人完成的框架研究，提出了自己的测试执行框架，并结合StackService的例子介绍了框架的运行过程。75479

毕业论文关键词  Web服务；代数规约；测试执行；接口调用

毕业设计说明书外文摘要

Title    The Research of Web Service Testing Execution Technology  based on Algebraic Specification                               

Abstract The healthy development of Web Services can not be separated from the development of testing methods。 The question of Web Service testing is how to delelop a testing method which is more efficient,stable,convenient and simple。Because of the characteristics that it’s realization is independent of Web Service,the algebraic specification language has a unique advantage in the field of automated generation of test case。 It has been used in the development of automated testing tools。 However, due to the limitation of research time , there is not yet a complete automatic testing tool based on algebraic specification。After the exploration of related documents,this paper gives a new test execution framework which has preliminarily solved the problem about how to call the interface of Web Services。This paper also introduced the running process of this framework。

Keywords  Web Service;algebraic specification;testing execution;call interface

目   次

1  引言 3

1。1  研究背景与意义 3

1。2  国内外研究现状 4

1。3  研究内容 6

1。4  本文档组织结构 6

2。  本课题涉及的原理与关键技术 7

2。1  形式化方法 7

2。2  代数规约语言 8

2。3  主流Web服务 11

2。4  JAXB标准 18

2。5  自动化测试工具Selenium 18

3。  Web服务测试序列执行框架 20

3。1  整体框架 20

3。2  实验环境搭建 22

4。  案例研究 33

4。1  基于SOAP的Web服务接口调用 33

4。2  RESTful Web服务 38

结  论 39

参 考 文 献 40

1  引言

1。1  研究背景与意义

1。1。1  研究背景

软件市场渐渐成熟，人们对软件作用也有了越来越高的期望值，软件的健壮性、效率、可靠性等方面也正逐渐被人们越来越多的重视。软件供应商处于无时无刻不在竞争的行业洪流中，质量达不到要求的软件产品会导致软件供应商的维护费用和用户的使用成本大大增加，更严重的是可能产生相应的责任风险，导致公司信誉受到损害，继而严重影响股票市场。某些特殊领域的关键应用 (如航空订票系统、银行交易系统、证券交易系统、无人机控制系统、军事设施和核电站控制系统等) 中使用质量不过关的次品软件，很可能导致难以预料的灾难性后果。