[发明专利]基于有限状态机的系统诊断方法、装置、设备及存储介质

权利要求书

1.一种基于有限状态机的系统诊断方法，其特征在于，包括：

根据测试序列对预设有限状态机进行测试，以得到测试结果，其中，所述测试序列、所述预设有限状态机均与待诊断系统对应，所述测试序列中包括所述待诊断系统对应的各系统状态之间的转换行为；

将所述测试结果与预设预期结果进行比较，以确定所述测试结果中的初始症状，以所述初始症状为分界从所述测试结果中截取出转换行为，并通过截取出的转化行为构建冲突集，所述初始症状为所述测试结果中第一个状态转换失误的转换行为；

根据冲突集的可疑度从所述冲突集中确定目标冲突集，根据转换行为的可疑度从所述目标冲突集中确定第一转换行为，在不包含所述第一转换行为的冲突集中确定第二转换行为，根据所述第二转换行为与所述第一转换行为构建第一转换失误行为集；

根据所述第一转换失误行为集确定待验证行为，若所述第一转换失误行为集中的转换行为并非所述初始症状，则确定与所述第一转换失误行为集中的转换行为对应的第一错误推定状态集，并将所述第一错误推定状态集记为待验证行为；对所述第一错误推定状态集进行验证，若验证失败，则舍弃所述第一转换失误行为集，从不包含所述第一转换行为的冲突集中选取除所述第二转换行为之外的第三转换行为，根据所述第三转换行为与所述第一转换行为构建第二转换失误行为集，若所述第二转换失误行为集中的转换行为为所述初始症状，则确定与所述第二转换失误行为集中的转换行为对应的第二错误推定状态集，并将所述第二错误推定状态集作为新的待验证行为；

通过所述测试序列中的证例与反例对所述待验证行为进行验证，若验证成功，则将所述待验证行为记为所述待诊断系统的系统错误。

2.根据权利要求1所述的基于有限状态机的系统诊断方法，其特征在于，所述若验证成功，则将所述待验证行为记为所述待诊断系统的系统错误之后，所述基于有限状态机的系统诊断方法还包括：

修正所述待诊断系统中存在着的所述待验证行为；

对修正后的待诊断系统进行验证；

若验证成功，则修正操作结束。

3.一种基于有限状态机的系统诊断装置，其特征在于，包括：

测试模块，用于根据测试序列对预设有限状态机进行测试，以得到测试结果，其中，所述测试序列、所述预设有限状态机均与待诊断系统对应，所述测试序列中包括所述待诊断系统对应的各系统状态之间的转换行为；

冲突集确定模块，用于将所述测试结果与预设预期结果进行比较，以确定所述测试结果中的初始症状，以所述初始症状为分界从所述测试结果中截取出转换行为，并通过截取出的转化行为构建冲突集，所述初始症状为所述测试结果中第一个状态转换失误的转换行为；

行为集确定模块，用于根据冲突集的可疑度从所述冲突集中确定目标冲突集，根据转换行为的可疑度从所述目标冲突集中确定第一转换行为，在不包含所述第一转换行为的冲突集中确定第二转换行为，根据所述第二转换行为与所述第一转换行为构建第一转换失误行为集；

行为确定模块，用于根据所述转换失误行为集确定待验证行为，若所述第一转换失误行为集中的转换行为并非所述初始症状，则确定与所述第一转换失误行为集中的转换行为对应的第一错误推定状态集，并将所述第一错误推定状态集记为待验证行为；对所述第一错误推定状态集进行验证，若验证失败，则舍弃所述第一转换失误行为集，从不包含所述第一转换行为的冲突集中选取除所述第二转换行为之外的第三转换行为，根据所述第三转换行为与所述第一转换行为构建第二转换失误行为集，若所述第二转换失误行为集中的转换行为为所述初始症状，则确定与所述第二转换失误行为集中的转换行为对应的第二错误推定状态集，并将所述第二错误推定状态集作为新的待验证行为；

系统诊断模块，用于通过所述测试序列中的证例与反例对所述待验证行为进行验证，若验证成功，则将所述待验证行为记为所述待诊断系统的系统错误。

4.一种电子设备，包括存储器、处理器及存储在所述存储器上并可在所述处理器上运行的计算机程序，其特征在于，所述处理器执行所述程序时实现如权利要求1至2中任一项所述基于有限状态机的系统诊断方法的步骤。

5.一种非暂态计算机可读存储介质，其上存储有计算机程序，其特征在于，所述计算机程序被处理器执行时实现如权利要求1至2中任一项所述基于有限状态机的系统诊断方法的步骤。