摘要
本申请实施例公开了一种联锁程序数据校验方法、装置、电子设备和存储介质。获取铁路联锁系统中原始的程序文件,并提取结构体声明语句,得到待解析程序文件;通过结构状态转换模型,对待解析程序文件中的结构体声明进行解析,得到各结构体和各结构体嵌套关系;通过数据状态转换模型,对各结构体中的词组进行解析,得到结构体数据;根据原始的程序文件对应的原始配置数据、各结构体、各结构体嵌套关系和结构体数据,对结构体数据进行校验。本申请实施例提高了对隐式错误检测的准确率和效率,提高了铁路系统的行车安全。
技术关键词
状态转换模型
数据校验方法
铁路联锁系统
关键字
嵌套
计算机程序产品
数据校验装置
关系
变量
电子设备
处理器
语句
数据获取模块
铁路系统
错误检测
节点
校验模块
定义