公开(公告)号：CN106708739A

公开(公告)日：2017-05-24

申请号：CN201611259177.9

申请日：2016-12-30

Applicant: 桂林电子科技大学

Inventor： 常亮 ,  张申 ,  古天龙 ,  徐周波 ,  张舜尧 ,  祝曼丽

IPC: G06F11/36

CPC classification number: G06F11/3684

Abstract: 本发明提供一种基于扩展状态机模型的Web服务测试用例生成方法及系统，方法包括：从Web服务接口获取Web服务描述语言的接口文档WSDL，并根据接口文档WSDL构建初始的扩展状态机模型EFSM；根据接口文档WSDL中的控制变量将初始的EFSM模型的状态进行合并及删除处理，并根据合并及删除的处理过程生成状态迁移路径；根据路径可行性度量方法来识别状态迁移路径中不可行路径，将不可行路径删除后得到改善后的EFSM模型；根据正则表达式将改善后的EFSM模型的可行路径进行遍历，生成Web服务的抽象测试用例集。本发明能够去除原EFSM模型中数据流和控制流的相互影响导致存在不可行测试路径，得到改善后的扩展状态机模型EFSM，因此减少不必要的测试工作，提高测试用例生成效率。