公开(公告)号：CN104156313A

公开(公告)日：2014-11-19

申请号：CN201410396502.0

申请日：2014-08-12

Applicant: 南京大学

Inventor： 许蕾 ,  周立波 ,  陈林 ,  李言辉 ,  徐宝文

IPC: G06F11/36

Abstract: 一种Web服务测试用例自动生成方法，基于文档解析及约束求解自动生成测试用例，包括Web服务文档解析、Web服务约束条件提取和Web服务测试用例自动化生成三部分，自动化生成SOAP消息表示的测试用例，即为Web服务的测试用例。本发明在Web服务测试用例的自动生成过程中，通过提取WSDL、BPEL文档中的约束条件，并运用约束求解方法，根据这些约束条件自动化生成测试用例，从而减少测试用例的冗余度，提高覆盖率，提高Web服务测试的效率。

公开(公告)号：CN104156313B

公开(公告)日：2017-01-25

申请号：CN201410396502.0

申请日：2014-08-12

Applicant: 南京大学

Inventor： 许蕾 ,  周立波 ,  陈林 ,  李言辉 ,  徐宝文

IPC: G06F11/36

Abstract: 一种Web服务测试用例自动生成方法，基于文档解析及约束求解自动生成测试用例，包括Web服务文档解析、Web服务约束条件提取和Web服务测试用例自动化生成三部分，自动化生成SOAP消息表示的测试用例，即为Web服务的测试用例。本发明在Web服务测试用例的自动生成过程中，通过提取WSDL、BPEL文档中的约束条件，并运用约束求解方法，根据这些约束条件自动化生成测试用例，从而减少测试用例的冗余度，提高覆盖率，提高Web服务测试的效率。