面向Web服务测试的单线执行序列生成方法

摘要

测试用例自动生成是实现 Web 服务自动化测试的关键,基于代数规约的传统测试技术均依赖于创建、初始化和复制被测对象等操作来验证测试结果的正确性,但第三方 Web 服务并不支持这些操作,无法将测试用例转换成可执行操作序列.一种可行的解决方案是将测试用例转换成只包含一个被测服务实例、不包括实例初始化、只对实例进行状态修改和检查的线性执行序列.改进已有工作,提出包含逆项的测试执行图TEG-I来描述测试用例执行过程中的状态变化,设计TEG-I构造算法和单线执行序列生成算法并实现相应原型工具.实验结果表明,提出的方法能够有效地自动完成测试用例生成,提高Web 服务的可测试性.