基于频谱公式自动组合优化的EFSM模型错误定位方法

本发明公开了基于频谱公式自动组合优化的EFSM模型错误定位方法，具体如下：获取待测EFSM模型的模型频谱，采用遗传编程技术生成风险评估公式并组成候选公式池；采用鲸鱼优化算法在候选公式聚类后的各公式簇中搜索出一个最优公式子集；构建并训练错误定位模型；将最优公式子集中各风险评估公式根据待测EFSM模型的模型频谱计算的归一化后怀疑度向量输入错误定位模型，为待测EFSM模型中每个变迁分别生成一个怀疑度值，生成变迁检查排序表。本发明实现风险评估公式的自动生成、优选与组合，依据每条变迁的怀疑度值对EFSM模型变迁进行排序，显著优化了错误定位的性能与效率。