[发明专利]基于蒙特卡洛树搜索的EFSM可执行测试序列生成方法有效
申请号: | 202010698489.X | 申请日: | 2020-07-20 |
公开(公告)号: | CN111934948B | 公开(公告)日: | 2022-04-12 |
发明(设计)人: | 舒挺;黄业超 | 申请(专利权)人: | 浙江理工大学 |
主分类号: | H04L43/50 | 分类号: | H04L43/50 |
代理公司: | 杭州天勤知识产权代理有限公司 33224 | 代理人: | 王琛 |
地址: | 310018 浙江省杭州市*** | 国省代码: | 浙江;33 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明公开了一种基于蒙特卡洛树搜索的EFSM可执行测试序列生成方法,将EFSM模型的可执行测试生成问题转换为TEA树中路径的马尔科夫决策过程,该方法借助MCTS算法强大的海量状态空间搜索能力,启发式引导TEA树的扩展方向来搜索目标序列,从而极大地提高了测试生成效率,最终避免了状态爆炸;因此,本发明可以有效减少可执行分析树的扩展节点,加速可执行测试序列的生成。 | ||
搜索关键词: | 基于 蒙特卡洛树 搜索 efsm 可执行 测试 序列 生成 方法 | ||
【主权项】:
暂无信息
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于浙江理工大学,未经浙江理工大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/202010698489.X/,转载请声明来源钻瓜专利网。
- 上一篇:模块化多功能智能灯具
- 下一篇:一种防撞墙构造