公开(公告)号：CN109408363B

公开(公告)日：2022-01-11

申请号：CN201810957226.9

申请日：2018-08-22

Applicant: 南京理工大学

Inventor： 刘冬梅 ,  何娟娟 ,  杜益宁 ,  朱鸿 ,  吴献 ,  张鑫 ,  周子健

IPC: G06F11/36

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

公开(公告)号：CN109408363A

公开(公告)日：2019-03-01

申请号：CN201810957226.9

申请日：2018-08-22

Applicant: 南京理工大学

Inventor： 何娟娟 ,  杜益宁 ,  刘冬梅 ,  朱鸿 ,  吴献 ,  张鑫 ,  周子健

IPC: G06F11/36

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