公开(公告)号：CN106547696B

公开(公告)日：2019-05-28

申请号：CN201610957561.X

申请日：2016-10-28

申请人： 中国人民解放军理工大学

发明人： 郑长友 ,  黄松 ,  姚奕 ,  胡斌 ,  任正平 ,  洪宇 ,  史涯晴 ,  惠战伟 ,  饶丽萍 ,  蒋圆圆

IPC分类号： G06F11/36

摘要： 本发明提供一种面向工作流系统的测试用例生成方法及装置，其中，所述方法包括：基于带输入输出约束的工作流系统，建立Petri网模型；根据分支‑聚合对，将所述Petri网模型划分为多个片段；若划分的片段中存在分支‑聚合对，继续对该片段进行划分，以得到所述Petri网模型对应的模型分解树；遍历所述模型分解树，生成与所述模型分解树相对应的测试序列集合；根据所述测试序列集合中每条测试序列包含的输入输出信息，生成测试用例。本发明提供的一种面向工作流系统的测试用例生成方法及装置，能够解决现有技术中测试技术针对性不强、工作流系统测试充分性低的问题，以提高系统的测试效率。

公开(公告)号：CN106547696A

公开(公告)日：2017-03-29

申请号：CN201610957561.X

申请日：2016-10-28

申请人： 中国人民解放军理工大学

发明人： 郑长友 ,  黄松 ,  姚奕 ,  胡斌 ,  任正平 ,  洪宇 ,  史涯晴 ,  惠战伟 ,  饶丽萍 ,  蒋圆圆

IPC分类号： G06F11/36

CPC分类号： G06F11/3684 ,  G06F11/3688

摘要： 本发明提供一种面向工作流系统的测试用例生成方法及装置，其中，所述方法包括：基于带输入输出约束的工作流系统，建立Petri网模型；根据分支‑聚合对，将所述Petri网模型划分为多个片段；若划分的片段中存在分支‑聚合对，继续对该片段进行划分，以得到所述Petri网模型对应的模型分解树；遍历所述模型分解树，生成与所述模型分解树相对应的测试序列集合；根据所述测试序列集合中每条测试序列包含的输入输出信息，生成测试用例。本发明提供的一种面向工作流系统的测试用例生成方法及装置，能够解决现有技术中测试技术针对性不强、工作流系统测试充分性低的问题，以提高系统的测试效率。