%0 Journal Article %T 约束覆盖导向的Web服务测试数据生成 %A 周辉 %A 程浩 %A 钱巨 %J 中山大学学报(自然科学版) %D 2019 %X 摘要 Web服务广泛应用于复杂信息系统的构建.为了保证 Web 服务的质量,目前已有大量的工作致力于 Web 服务测试技术的研究,其中,基于规约的测试已被证明是有效的,且易于使用,但现有的基于规约的Web服务测试方法很难生成高覆盖率的测试数据,也不能为具有复杂关联关系的变量生成测试数据.为此,针对 Web 服务的测试数据生成问题,本文提出了一种基于规约约束的新方法,使用一阶逻辑公式表示服务输入参数之间的约束,可以处理不同参数之间各种复杂的关联关系,并使用 Z3 约束求解器为服务输入自动生成数据;然后,提出了几种规约约束级测试覆盖准则,并以此为基础提出了新的Web服务测试数据生成算法.最后,通过测试两个典型的Web服务,证明本文提出的方法能够生成覆盖率较高的测试集,并且具有较高的生成效率 %K Web服务 %K 规约测试 %K 测试数据生成 %K Z3 %K 覆盖准则 %U http://xwxt.sict.ac.cn/CN/abstract/abstract5147.shtml