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

说明书

本发明实施例涉及计算机技术领域，公开了基于有限状态机的系统诊断方法、装置、设备及存储介质。本发明实施例先根据测试序列对预设有限状态机进行测试，以得到测试结果；从测试结果中获取与初始症状对应的冲突集；通过冲突集中的转换行为构建转换失误行为集；根据转换失误行为集确定待验证行为；通过对待验证行为的验证操作诊断出待诊断系统的系统错误。可见，本发明实施例先通过冲突集中的转换行为构建出转换失误行为集，接着，根据转换失误行为集确定待验证行为，进而根据待验证行为进行系统错误的确定，如此可以较为准确地锁定系统错误，解决了难以诊断出系统错误的技术问题。

技术领域

本发明涉及计算机技术领域，尤其涉及基于有限状态机的系统诊断方法、装置、设备及存储介质。

背景技术

随着系统测试的不断发展，系统的一致性测试变得愈加重要。

就系统的一致性测试而言，鉴于某一系统会存在着多种系统状态，系统状态之间的跳转方式将基于该系统设计本身。

但是，若系统中的系统状态在进行状态跳转时，并没有如系统规定的跳转方式进行跳转，或者，并没有得到预期的跳转后状态，此时，难以诊断或者定位出系统中发生的具体故障。

可见，目前，存在着难以诊断出系统错误的技术问题。

发明内容

为了解决难以诊断出系统错误的技术问题，本发明实施例提供基于有限状态机的系统诊断方法、装置、设备及存储介质。

第一方面，本发明实施例提供一种基于有限状态机的系统诊断方法，包括：

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

从所述测试结果中获取与初始症状对应的冲突集，所述初始症状为所述测试结果中第一个状态转换失误的转换行为；

通过所述冲突集中的转换行为构建转换失误行为集；

根据所述转换失误行为集确定待验证行为；

通过对所述待验证行为的验证操作诊断出所述待诊断系统的系统错误。

优选地，所述通过所述冲突集中的转换行为构建转换失误行为集，具体包括：

根据冲突集的可疑度从所述冲突集中确定目标冲突集；

根据转换行为的可疑度从所述目标冲突集中确定第一转换行为；

在不包含所述第一转换行为的冲突集中确定第二转换行为；

根据所述第二转换行为与所述第一转换行为构建第一转换失误行为集。

优选地，所述根据所述转换失误行为集确定待验证行为，具体包括：

若所述第一转换失误行为集中的转换行为并非所述初始症状，则确定与所述第一转换失误行为集中的转换行为对应的第一错误推定状态集，并将所述第一错误推定状态集记为待验证行为。

优选地，所述若所述第一转换失误行为集中的转换行为并非所述初始症状，则确定与所述第一转换失误行为集中的转换行为对应的第一错误推定状态集，并将所述第一错误推定状态集记为待验证行为之后，所述基于有限状态机的系统诊断方法还包括：

对所述第一错误推定状态集进行验证；

若验证失败，则舍弃所述第一转换失误行为集；

从不包含所述第一转换行为的冲突集中选取除所述第二转换行为之外的第三转换行为；

根据所述第三转换行为与所述第一转换行为构建第二转换失误行为集；