约束覆盖导向的Web服务测试数据生成

摘要 Web服务广泛应用于复杂信息系统的构建.为了保证 Web 服务的质量，目前已有大量的工作致力于 Web 服务测试技术的研究，其中，基于规约的测试已被证明是有效的，且易于使用，但现有的基于规约的Web服务测试方法很难生成高覆盖率的测试数据，也不能为具有复杂关联关系的变量生成测试数据.为此，针对 Web 服务的测试数据生成问题，本文提出了一种基于规约约束的新方法，使用一阶逻辑公式表示服务输入参数之间的约束，可以处理不同参数之间各种复杂的关联关系，并使用 Z3 约束求解器为服务输入自动生成数据；然后，提出了几种规约约束级测试覆盖准则，并以此为基础提出了新的Web服务测试数据生成算法.最后，通过测试两个典型的Web服务，证明本文提出的方法能够生成覆盖率较高的测试集，并且具有较高的生成效率