基于扩展有限状态机的铁路信号设备测试验证方法研究  

Research on EFSM-based Testing Verification Approach for Railway Signal Equipment

作　　者：郁文斌 邱兆阳 YU Wenbin;QIU Zhaoyang(CRSC Research&Design Institute Group Co.,Ltd.,Beijing 100073,China)

机构地区：[1]北京全路通信信号研究设计院集团有限公司,北京100073

出　　处：《铁道学报》2025年第2期83-91,共9页Journal of the China Railway Society

基　　金：国家自然科学基金(62033006)。

摘　　要：针对铁路信号系统列控设备的安全软件提出一种基于扩展有限状态机的测试验证方法,此形式化方法可有效地应用于铁路信号控制软件的自动化测试技术中。通过对信号安全软件与外部设备的信息交互流程与其应用功能需求间映射关系的特征分析,构建出一个基于应用协议的铁路信号事件扩展有限状态机。此扩展状态机能够识别出根据需求定义的预期测试判定序列是否符合软件的实现,从而发现软件的潜在错误。另外,还给出扩展状态机的核心算法以及原理实现,开发出对应的测试验证系统。最后,选取临时限速服务器设备,通过实验验证应用此方法后与未使用此方法前的判定效果,并进行对比分析,结果表明提出的铁路信号扩展有限状态机模型能够正确有效地对设备安全软件进行符合性测试,具有准确率高、可靠性高、性能稳定等优点。The paper presented a method of testing verification based on extended finite state machine for the safety software of train control devices in the railway signal field.The formal method enables effective applications in automatic testing techniques of railway signal control software.Through the analysis on characteristics of the software mapping relationship between its message interaction with external devices and its application functionality requirements,the paper innovatively created a railway signal event extended finite state machine based on application protocols.The machine can recognize if the expected testing judgement sequence defined ahead against the requirements conforms to the software implementation,thereby discovering the software potential faults.The paper illustrated details to the core algorithm and principal implementation for the machine as well and developed a corresponding testing verification system.Lastly,experiments and analysis were conducted through the comparison of the results before and after the application of the method to TSRS(temporary speed restriction server)device.The results show that the railway signal extended finite state machine proposed in the paper performs the conformance testing verification in a right and effective way for devices,with advantages such as high correctness,reliability and stable performance.

关 键 词：铁路 信号 软件 形式化 状态机 符合性测试 自动化 

分 类 号：U284[交通运输工程—交通信息工程及控制] TP301[交通运输工程—道路与铁道工程]