[00101655]基于蒙特卡洛树搜索的EFSM可执行测试序列生成方法
联系人：
所在地：
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
技术详细介绍
本发明公开了一种基于蒙特卡洛树搜索的EFSM可执行测试序列生成方法,将EFSM模型的可执行测试生成问题转换为TEA树中路径的马尔科夫决策过程,该方法借助MCTS算法强大的海量状态空间搜索能力,启发式引导TEA树的扩展方向来搜索目标序列,从而极大地提高了测试生成效率,最终避免了状态爆炸；因此,本发明可以有效减少可执行分析树的扩展节点,加速可执行测试序列的生成。
