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

摘要：

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

关键词：列控系统、车载设备、层次化组合测试、等级转换

所属期刊栏目：45

分类号：U284.48(铁路通信、信号)

资助基金：四川省科技计划;国家自然科学基金;中国铁路总公司科技研究开发计划;中国铁路总公司科技研究开发计划;中央高校基本科研业务费

在线出版日期：2023-03-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：67-74