[发明专利]一种基于扩展有限状态机模型的测试用例生成方法及平台在审
申请号: | 202110282059.4 | 申请日: | 2021-03-16 |
公开(公告)号: | CN113157562A | 公开(公告)日: | 2021-07-23 |
发明(设计)人: | 王轶昆;王轶辰;曹志钦 | 申请(专利权)人: | 王轶昆;北京赛若科技有限公司 |
主分类号: | G06F11/36 | 分类号: | G06F11/36;G06N3/12 |
代理公司: | 北京风雅颂专利代理有限公司 11403 | 代理人: | 王刚 |
地址: | 100039 北京市*** | 国省代码: | 北京;11 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明公开一种基于扩展有限状态机模型的测试用例生成方法及平台,在迁移覆盖的基础上,考虑了迁移之间组合,定义并设计了EFSM模型的独立路径覆盖准则。相比于迁移覆盖,独立路径覆盖准则考虑了迁移之间的组合关系,增加了一定量的测试开销,但能较为有效的提高测试覆盖的强度,发现更多错误。相比于路径覆盖,有效地减少了冗余测试用例,在测试开销与覆盖强度之间取得了较好的平衡,提高测试的效率,缓解状态爆炸问题,在EFSM模型独立路径覆盖准则基础上,分别提出基于广度优先搜索算法的EFSM模型测试序列生成方法和基于遗传算法的EFSM模型测试序列生成方法,生成满足覆盖准则的测试序列集,能够减少测试序列的冗余,提高测试效率,并提出了基于遗传算法的测试数据生成方法。 | ||
搜索关键词: | 一种 基于 扩展 有限状态机 模型 测试 生成 方法 平台 | ||
【主权项】:
暂无信息
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于王轶昆;北京赛若科技有限公司,未经王轶昆;北京赛若科技有限公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/202110282059.4/,转载请声明来源钻瓜专利网。