基于EFSM模型的铁路信号安全软件单元测试技术研究
Unit testing technology for railway signal safety software based on EFSM model作者机构:中国铁道科学研究院集团有限公司通信信号研究所北京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,以无线超时降级场景为实例,验证该方法是否可以满足测试场景的完备性,并且关注软件结构是否被完全覆盖。根据覆盖结果,对未覆盖原因进行分析,判断是否存在异常场景,并针对未覆盖分支补充测试场景,丰富了测试案例,从而保障了铁路信号系统的可靠性。