基于EFSM模型的铁路信号安全软件单元测试技术研究

作     者：王飞 李一楠 孙文哲 赵晓宇 刘雅晴 WANG Fei;LI Yinan;SUN Wenzhe;ZHAO Xiaoyu;LIU Yaqing

作者机构：中国铁道科学研究院集团有限公司通信信号研究所北京100081 

出 版 物：《铁路计算机应用》 (Railway Computer Application)

年 卷 期：2023年第32卷第10期

页      面：68-73页

学科分类：08[工学] 081203[工学-计算机应用技术] 0835[工学-软件工程] 082302[工学-交通信息工程及控制] 0823[工学-交通运输工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：中国国家铁路集团有限公司科技研究开发计划(P2021G012) 中国铁道科学研究院集团有限公司科研项目(2022YJ193) 北京华铁信息技术有限公司科研项目(2022HT14) 

主　　题：铁路信号安全软件 单元测试 白盒测试 黑盒测试 扩展有限状态机(EFSM) Cantata 

摘      要：铁路信号安全软件内部逻辑复杂,通过充分的单元测试能够更好地发现和排除软件内部的缺陷。文章分析单元测试常用方法,并结合铁路信号安全软件单元测试技术要求,提出一种基于扩展有限状态机(EFSM,Enhanced Finite State Machine)模型的黑白盒融合单元测试方法。使用自动化测试工具Cantata,以无线超时降级场景为实例,验证该方法是否可以满足测试场景的完备性,并且关注软件结构是否被完全覆盖。根据覆盖结果,对未覆盖原因进行分析,判断是否存在异常场景,并针对未覆盖分支补充测试场景,丰富了测试案例,从而保障了铁路信号系统的可靠性。