基于蒙特卡洛树搜索的EFSM可执行测试序列生成方法

摘要

本发明公开了一种基于蒙特卡洛树搜索的EFSM可执行测试序列生成方法，将EFSM模型的可执行测试生成问题转换为TEA树中路径的马尔科夫决策过程，该方法借助MCTS算法强大的海量状态空间搜索能力，启发式引导TEA树的扩展方向来搜索目标序列，从而极大地提高了测试生成效率，最终避免了状态爆炸；因此，本发明可以有效减少可执行分析树的扩展节点，加速可执行测试序列的生成。