CTCS-2级列控车载设备层次化组合测试方法 |
| |
引用本文: | 张亚东,饶畅,李祎珂,郭进.CTCS-2级列控车载设备层次化组合测试方法[J].铁道学报,2023(2):67-74. |
| |
作者姓名: | 张亚东 饶畅 李祎珂 郭进 |
| |
作者单位: | 1. 西南交通大学信息科学与技术学院;2. 重庆交通大学交通运输学院 |
| |
基金项目: | 四川省科技计划(2021YJ0070);;国家自然科学基金(61703349);;中国铁路总公司科技研究开发计划(N2018G062,K2018G011);;中央高校基本科研业务费(2682022ZTPY084); |
| |
摘 要: | 对列控车载设备开展组合测试,可有效提高设备的安全性。针对现有组合测试方法未充分考虑车载设备测试过程中输入的时序性、设备状态等影响软件安全的各种因素组合的问题,提出一种车载设备层次化组合测试方法。首先,划分CTCS-2级车载设备测试过程中各种影响因素的组合层次,设置层次化覆盖强度。其次,提出了车载设备层次化组合覆盖准则,给出形式化定义,构建层次化组合测试模型。然后,提出一种两阶段层次化组合测试用例生成方法,高效精简构造层次化组合测试集。最后,以CTCS-2/0等级转换测试为例对方法进行验证。结果表明,在保证各种影响因素组合覆盖的前提下,相对于现有方法,在覆盖强度t={2,2,2}时,采用本方法的测试成本可降低23.53%,有效提高测试的针对性,验证了方法的有效性。
|
关 键 词: | 列控系统 车载设备 层次化组合测试 等级转换 |
|
|