CTCS-2级列控车载ATP组合测试用例集生成方法

发布时间：2021-05-14 01:04

　　车载ATP是CTCS-2级列控系统的核心设备之一,针对车载ATP的组合测试,在保障设备功能安全方面具有重要意义。根据车载ATP设备接口参数的特点,提出一种基于最优覆盖数组的带约束组合测试用例集生成方法。首先,辨识出车载ATP接口参数及其约束条件;其次,基于参数映射算法,将接口参数映射到最优覆盖数组中重构该覆盖数组;然后,在重构的覆盖数组中移除不满足约束的无效行,并扩展覆盖数组;最终,得到满足约束条件和覆盖强度的车载ATP测试用例集。以车载ATP模式转换等三种场景为例,对本方法进行了验证。结果表明,相比于现有方法,本方法生成的测试用例集普遍更加精简,其规模降幅最高可达11.11%,有效降低了测试成本,提高了测试效率。 

【文章来源】：铁道学报. 2020,42(11)北大核心EICSCD

【文章页数】：8 页

【文章目录】：
1 CTCS-2级列控车载ATP简介
    1.1 车载ATP及其测试环境
    1.2 车载ATP接口输入参数
2 研究基础
    2.1 相关定义
    2.2 基于最优覆盖数组的组合测试
3 车载ATP组合测试用例生成方法
    3.1 最优覆盖数组重构
    3.2 覆盖数组扩展
4 车载ATP组合测试用例生成结果
    4.1 最优覆盖数组重构
    4.2 覆盖数组扩展
    4.3 有效性分析
5 结论


【参考文献】：
期刊论文
[1]基于路径优化算法的测试序列自动生成及验证[J]. 梁茨,郑伟,李开成,唐涛.  铁道学报. 2013(06)
[2]组合测试:原理与方法[J]. 严俊,张健.  软件学报. 2009(06)

硕士论文
[1]CTCS-1级列控系统车载设备安全性分析[D]. 王昊.北京交通大学 2017



本文编号：3184969