基于代数规约的Web服务单线测试用例生成方法

摘要

本发明公开了一种基于代数规约的Web服务单线测试用例生成方法，在使用代数规约对Web服务进行形式化描述的基础上，首先对代数规约中每条公理等式进行浮动实例化和可观察化处理，生成一组可检查浮动测试用例；然后针对每个可检查浮动测试用例，构造其带逆项测试执行图TEG‑R，用来表示测试执行序列和被测服务的状态变化；最后判断TEG‑R是否存在单线测试执行序列，若存在，则根据TEG‑R生成可检查浮动测试用例的一个单线测试执行序列。本发明解决了现有基于代数规约的测试用例生成方法无法适用于Web服务在线自动化测试的问题。