CTCS-2级列控车载设备层次化组合测试方法

作     者：张亚东 饶畅 李祎珂 郭进 ZHANG Yadong;RAO Chang;LI Yike;GUO Jin

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

出 版 物：《铁道学报》 (Journal of the China Railway Society)

年 卷 期：2023年第45卷第2期

页      面：67-74页

核心收录：

学科分类：08[工学] 0837[工学-安全科学与工程] 082302[工学-交通信息工程及控制] 0811[工学-控制科学与工程] 0823[工学-交通运输工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：四川省科技计划(2021YJ0070) 国家自然科学基金(61703349) 中国铁路总公司科技研究开发计划(N2018G062,K2018G011) 中央高校基本科研业务费(2682022ZTPY084)。 

主　　题：列控系统 车载设备 层次化组合测试 等级转换 

摘      要：对列控车载设备开展组合测试,可有效提高设备的安全性。针对现有组合测试方法未充分考虑车载设备测试过程中输入的时序性、设备状态等影响软件安全的各种因素组合的问题,提出一种车载设备层次化组合测试方法。首先,划分CTCS-2级车载设备测试过程中各种影响因素的组合层次,设置层次化覆盖强度。其次,提出了车载设备层次化组合覆盖准则,给出形式化定义,构建层次化组合测试模型。然后,提出一种两阶段层次化组合测试用例生成方法,高效精简构造层次化组合测试集。最后,以CTCS-2/0等级转换测试为例对方法进行验证。结果表明,在保证各种影响因素组合覆盖的前提下,相对于现有方法,在覆盖强度t={2,2,2}时,采用本方法的测试成本可降低23.53%,有效提高测试的针对性,验证了方法的有效性。