基于蒙特卡洛树搜索的EFSM可执行测试序列生成方法
授权
摘要
本发明公开了一种基于蒙特卡洛树搜索的EFSM可执行测试序列生成方法，将EFSM模型的可执行测试生成问题转换为TEA树中路径的马尔科夫决策过程，该方法借助MCTS算法强大的海量状态空间搜索能力，启发式引导TEA树的扩展方向来搜索目标序列，从而极大地提高了测试生成效率，最终避免了状态爆炸；因此，本发明可以有效减少可执行分析树的扩展节点，加速可执行测试序列的生成。
基本信息
专利标题 ：
基于蒙特卡洛树搜索的EFSM可执行测试序列生成方法
专利标题（英）：
暂无
公开（公告）号 ：
CN111934948A
申请号 ：
CN202010698489.X
公开（公告）日 ：
2020-11-13
申请日 ：
2020-07-20
授权号 ：
CN111934948B
授权日 ：
2022-04-12
发明人 ：
舒挺黄业超
申请人 ：
浙江理工大学
申请人地址 ：
浙江省杭州市经济技术开发区白杨街道2号大街928号
代理机构 ：
杭州天勤知识产权代理有限公司
代理人 ：
王琛
优先权 ：
CN202010698489.X
主分类号 ：
H04L12/26
IPC分类号 ：
H04L12/26
法律状态
2022-04-12 ：
授权
2020-12-01 ：
实质审查的生效
IPC(主分类) : H04L 12/26
申请日 : 20200720
申请日 : 20200720
2020-11-13 ：
公开
注：本法律状态信息仅供参考，即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
