基于STAMP与组合测试的城轨全自动运行系统车载设备安全测试方法研究

作     者：赖琴 张亚东 马牧云 饶畅 LAI Qin;ZHANG Yadong;MA Muyun;RAO Chang

作者机构：西南交通大学信息科学与技术学院成都611756 重庆交通大学交通运输学院重庆400074 

出 版 物：《铁道标准设计》 (Railway Standard Design)

年 卷 期：2024年第68卷第8期

页      面：187-195页

学科分类：08[工学] 082302[工学-交通信息工程及控制] 0823[工学-交通运输工程] 

基　　金：四川省科技计划项目(2021YJ0070) 中央高校基本科研业务费专项资金资助项目(2682022ZTPY084) 

主　　题：全自动运行系统 车载设备 组合测试 安全测试 测试用例生成 

摘      要：针对现有城轨全自动运行系统车载设备测试安全性需求考虑不足与测试用例规模较大的问题,提出一种基于STAMP理论与组合测试的城轨全自动运行系统车载设备安全性测试方法。首先,基于STAMP理论对车载设备建立分层控制结构模型,从可测性的角度提取出安全约束,分析安全约束涵盖的车载设备安全性测试特征;然后,以最优覆盖数组与种子测试用例为基础,结合约束条件,利用遗传算法对最优覆盖数组进行重构,扩展生成满足约束条件的精简测试用例集;最后,以全自动运行系统站台发车场景车载设备测试为例,对算法有效性进行验证。结果表明,在组合覆盖强度相同的情况下,本文方法比现有主流方法生成的测试用例数平均降低16.45%,对降低车载设备测试成本、提升测试效率具有一定现实意义。