摘要

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