2009年提出的Web Service技术，拥有着传统软件行业没有的种种特点，如可以在避免复杂的协议转换基础上实现不同应用程序（甚至这些应用程序处于不同系统平台上，或者用不同语言编写）之间通信；无需额外设备，只要求支持HTTP和XML 技术，便可以拥有和访问Web Service；即便有防火墙，只要可以维持HTTP连接，Web Service 就可以穿越防火墙，实现真正的自由通信等。正因为这些特点，使得Web Service在提出伊始就得到了广泛关注，并在接下来的几年里得到了飞速发展。然而Web Service的发展速度始终囿于一些固有的问题，不能实现真正意义上的广泛应用。

究其主要原因，还是用户对于Web Service这样的新生事物的不信任。这种不信任集中表现在Web Service的实现特点上：除Web Service服务开发人员以外，其他用户仅能访问提供的服务接口，而难以得到服务的设计文档，更不必说源代码。这样的特点极大的阻碍了Web Service的测试工作，也使用户对于Web Service的可靠性与性能产生不信任，延缓了Web Service发展的速度。现有的软件测试技术还不足以应对Web Service的挑战。

虽然逐渐有技术可以通过服务描述文档，如WSDL，基于规约进行测试。但由于缺乏统一的规约标准，而且规约往往不能完整的描述服务，给测试带来很大的困难。另外，由于Web Service必须通过网络访问，这要求测试人员必须在线测试，也为Web测试带来一定的阻碍。

此外，目前的Web测试工作仍存在测试效率低下的问题。

为了解决上述问题，人们达成一定共识。

首先：自动化测试工具能够提升测试效率，并降低成本。近年来，自动化测试成为研究热点，涌现出大批自动化测试工具。如QTP（全名HP QuickTest Professional software）、WinRunner（由Mercury Interactive公司开发，用于检测应用程序是否能够达到预期的功能，主要测试方式是自动录制、检测和回放）、Rational Robot（包含一定的管理功能）、AdventNet QEngine（应用广泛，可用于Web功能、性能测试，Java应用功能、API测试等；独立于平台，支持HTML、JSP、ASP、。NET、PHP、JavaScript/VBScript、XML、SOAP、WSDL、e-commerce、传统客户端/服务器等开发）、SilkTest（一套测试工具，有效的提高了测试效率），其他的还有Test Partner、Holodeck、Telelogic TAU、AutoRunner等。自动化测试工具的大量出现显示了软件供应商的热情。

其次：形式化规约是实现自动化测试的重要基础。自动化测试离不开统一的描述语言，这种语言需要具有精确的语义形式，能够书写程序的功能描述，并具有一致性和完备性。而形式化语言符合这些要求。

再次：代数规约可以很好的兼容Web服务。而且，代数规约高度抽象，完全独立于软件实现细节，从而不需要知道 实现细节也可以描述服务的 为。这样的特点使代数规约被认为是开启自动化Web服务测试发展的钥匙。

1。1。2  研究意义

Web应用使信息共享的全球化成为现实，在很短的时间内，迅速增长了大量用户。这样，人们对于Web应用的安全性也有了更高的需求。Web应用提供商也不得不扩大测试的规模。然而Web 应用测试规模的扩大也带来一些问题，如测试过程不得不一次一次重复之前的工作，这些工作往往相对简单但数量庞大，而且种类繁多。据统计软件开发过程中有40%的时间用在测试工作上，一些对可靠性要求较高的软件,测试工作所用时间占比更高。为了解决这一问题，前人提出了基于代数规约的测试用例生成技术，并在不断优化测试用例生成的方式。但在测试执行方面，研究尚处于空白阶段，对于不同的Web服务发布方式也没有很好的分类总结。本课题较为详细的分析了不同Web服务发布方式下接口调用的异同，初步解决了测试用例的执行问题，对于Web服务测试的总体研究做出了贡献。