一种状态转移模型的一致性验证方法、系统和存储介质

本发明提供一种状态转移模型的一致性验证方法、系统和存储介质，所述方法包括：获取针对协议和实现代码的状态转移模型，并获取状态转移模型的配置项及状态的描述；根据配置项的描述，确定状态转移模型之间对应的配置项，并基于位置映射函数得到配置项的位置排列；基于配置项选项冲突条件、自定义的数码含义和配置项的位置排列，筛选出有效的配置项数码取值序列集；利用有效的配置项数码取值序列集实例化状态转移模型，得到状态转移序列集；根据状态的描述，确定并对比对应的状态转移序列中对应的各个状态参数，将状态转移序列的对比结果作为状态转移模型的一致性验证结果。本发明能够在确保验证结果的可靠性和准确性的同时，合理利用验证资源。