1Web服务测试数据生成为了便于程序员使用开发、测试等工具以及获取Web服务的描述信息，Web服务需要一种既能让机器阅读，又能让程序员阅读的描述文档——WSDL。WSDL 用于描述Web服务及其函数、参数和返回值，所以目前主流的Web服务测试数据生成方法是基于WSDL的测试数据生成方法。 82995

     Tsai 等人从并发序列、输入/输出依赖性、服务间调用序列和功能层次关系等四个方面扩展了WSDL的定义，来扩大其描述范围，增加其描述方式[5]。 Martin 等人开发了一套测试工具，它可以用WSDL产生Java 客户端的测试代码，然后将测试代码中的封装类输入到 JUnit 中，从而生成Web服务测试数据[6]。Sneed 通过增加WSDL中数据类型的约束定义， 与 WSDL 树结点相结合生成相应的测试数据[7,8]。但是，这种方法生成测试数据的时间过长并且数量巨大。 Bertolino 等人提出了一种基于权重策略的方法来生成Web服务测试数据。该方法基本思想是对WSDL中各个输入参数赋予不同的权重值，然后根据它们的权重值从测试数据集中选择不同数量且具有代表性的测试数据[9]。但是,该方法中的权重一般是用户或者测试人员手动输入的，具有较大的不确定因素,存在误删有用测试数据的偶然性。 Noikajana 等人将决策表应用于测试用例生成中[10]。这种方法只需要生成更少的测试用例，但是决策表的构造比较困难。姜瑛等人提出一种基于贪心算法的方法来生成测试用例，该方法首先通过分析 WSDL 文档生成测试数据，再使用贪心算法和变异算法将有效的测试数据从生成的测试数据中筛选出来[11]。但是，这种方法生成时间过长，并且只能生成Int、Float和Double等简单的数值型数据。论文网

2 基于代数规约的测试数据生成

    随着形式化代数规约的发展与完善，许多人开始代数规约应用测试用例生成技术，Gannon[12]提出一个测试用例生成方法，即分别向代数规约公理中等式的左右两侧输入参数值，并且调用一个由用户提供的等价检测函数检查等式两边的输出，如果两边输出一致，则表示输入正确，反之则表示发现错误。Bernot提出了基于代数规约的软件测试的一般理论，包括规则性、 一致性和预言假设。在该理论基础之上，使用基项替换公理中的所有变量，包括局部变量和全局变量来生成测试用例[13]。 Doong和Frankl[14]提出的一种类似于面向对象的代数规约语言LOBAS，该语言更适合于面向对象类级测试。并且在LOBAS和 Jalote工作的基础上，他们开发了测试工具ASTOOT，该工具通过重写等价项来构造测试用例。在Doong和Frankl的ASTOOT方法基础上，Chen[15]进一步发展了基于可观察上下文测试预言自动化生成的理论和方法，提出TACCLE的测试方法，使用等价基项基础对，而不是通过等价基项产生类级的测试用例。