-
目前，国内外在Web服务测试自动化技术上已经有了一定的基础。在Tsai[1][2]中，作者提出了一种技术来生成用于网络服务保障和可信性的测试用例。使用一种称为瑞士奶酪的测试用例选择方法，测试用例生成执行积极的（所需的功能）和消极（未指明的输入或攻击）的测试。测试过程涉及到转换一个OWL-S规范到场景，提取每个场景的布尔表达式，并生成选择最为关键的基于一个称作瑞士奶酪的模型的测试用例。瑞士奶酪映射是用来表示布尔表达式的一个扩展多文卡诺图。测试用例的选择使用标准的汉明距离（HD）和边界计数（BC）施加在瑞士奶酪的映射上。 HD和BC是用于评估故障检测效力的措施。该案例研究进行显示的故障检测和验证的排名策略。20267
- 上一篇：信号调制技术研究现状和发展方向
- 下一篇：金融发展与收入差距研究现状
Chan[3]提出了在线服务测试的一种变质的方法。蜕变测试是一种使用多输入 - 输出对的定义良好的关系处理与oracle的问题的方法。它使用一个初始成功的利用这些关系产生一个新的后续。他们使用测试用例进行离线测试作为初步测试集。变质服务被用作访问封装并实现关系。在在线测试中，它可以通过验证如果一个服务可以使用后续的测试集正确地与其他服务进行交互。实验用一个面向服务的计算器进行。它包含了16类和2,480行代码。他们用组合测试生成初始测试集。在此之后，他们创造了错误的版本以评估故障检测。
Bertolino[4]提出了一种基于对web服务产生存根的方法的模型。存根产生于服务水平协议（SLA）合同和功能性合同（状态机）下面。该STS标记被用来指定对于调用参数的正确值，消息的正确顺序和哪些是所提供的服务的消息的功能。一个支持工具，命名为PUPPET，使用作为输入STS模型，WS-协议规范和WSDL文件生成一个对于服务的存根。生成的存根都能够模拟服务的功能和额外的功能的行为。作者认为是两个 QoS属性：延迟和可靠性（故障在给定时间窗的最大数量）。这项工作的重点是对客户-供应商-仓库案例研究和PUPPET支持工具。案例研究验证生成的存根和功能和额外功能性故障的检测。
Park[5]提出了一种自动测试为基础的方法来发现web服务。δ-文法（GT规则）是用来描述先决条件及对每个服务的操作的影响，类似Heckel及Mariani[6]的工作。发现进程启动同时客户端使用GT的规则发送一个请求用语义信息使用。关键字是从规则提取并在WSDL库中搜索。一个简单的签名匹配，提出映射请求和规则。使用产品及细化实施，抽象的测试用例随机产生。测试用例是同时为每个选定的候选服务执行。测试结果用Web服务的数据，测试用例的信息，及QoS属性记录。
Mei[7]提出了一个多层次的覆盖模型来捕捉BPEL，XPath和WSDL工件的覆盖范围。该模型被用于支持回归测试和一族测试用例优先级提出的技术也被提出。他们的目标是重新排列测试套件按照覆盖数据。多层次的覆盖模型包括：第1级 - CM-1（工作流），第2级 - CM-2（工作流程，XPath）的，和第3级 - CM-3级（工作流程，XPath，WSDL）。 CM-1主要涉及工作流程分支的覆盖面; CM-2涉及XRG分支的覆盖面;和CM-3包括WSDL元素的覆盖范围。两种策略用来处理多种类型的工件：求和（均匀地对待不同的工件）和改进（使用另一个工件只有当工件已经提到不能帮助）。实验结果表明，提出的技术显著优于常规技术，并确认以水平要考虑工件的水平是一种有效的策略。
可以从几个方面总结对于支持Web服务的形式化的测试的主要模式：（1）基于模型的状态——在这一组，研究使用基于模型的状态来支持测试活动，从简单到复杂的模型。这些模型是有限状态机（FSM）及扩展（Benharref[8];Keum[9]），标记迁移系统（LTS）及扩展（BERTOLINO[4][10];Frantzen [11];Mei [12]），流的X机（SXM）（Dranidis [13];Ramollari [14]），有限状态自动机（Baldoni [15]），定时自动机（Lallali [16]），和Web服务自动机（WSA）（Zheng [17]）。该模型被用于描述控制流，数据流和时序特性。虽然大多数研究重复使用或调整建立的模型，Zheng [17]提出了WSA代表BPEL语言的语义操作。（2）控制流图及扩展——控制流图（CFG）及著名的扩展像高清 - 使用图表（Rapps及Weyuker [18]）不断被用于支持结构测试。在所选择的集合，CFGS和扩展主要用于测试基于服务组合的BPEL。然而，一些研究没有使用CFGS支持结构测试。在Li [19]，测试状态服务操作的CFGS模型序列。Ruth [20]及Mei [7]应用CFGS和覆盖标准，以支持回归测试。（3）图形变换规则——图形变换（GT）的规则来加强服务规范用前置条件，效果和状态的概念。一个GT的规则细化服务操作，添加的参数介绍和内部数据信息。服务状态可以被记录为一个图形的属性，虽然GT的规则不是基于模型的状态。因此，基于方法的GT规则是足够的无状态及状态服务，支持发现，监控，自动测试和回归测试。（4）瑞士国际象棋模型——瑞士国际象棋模型的基础是Tsai [1][2][21]。它是一种基于布尔表达式的模式，从语义规范（OWL-S）中提取，是由卡诺图及应受瑞士奶酪图表示。该模型被用于产生正和负的测试用例。