CTCS-2级列控车载设备（简称:C2车载设备）属于安全苛求系统设备,在投入使用前必须进行一系列严格的测试。仿真测试是其中的重要环节,主要对C2车载设备的功能进行测试。其中,C2车载设备的测试案例是仿真测试的基础,决定了测试工作的质量。然而,目前C2车载设备测试案例生成方法重点关注正常场景的测试,对异常场景的覆盖不够充分。此外,在C2车载设备仿真测试中,需要将所有测试案例串接为测试序列。但当测试案例库中新增测试案例时,为了生成覆盖新增测试案例的测试序列,现有方法需要重新生成覆盖所有测试案例的测试序列,造成已有测试序列和测试脚本的失效,同时极大的增加了测试脚本编制的工作量。本文针对上述测试案例和测试序列生成问题开展研究,完成的主要工作如下。1.为了对C2车载设备的异常场景进行更充分的覆盖,提出了一种基于场景法与HAZOP的测试案例生成方法。首先,根据场景法框架,基于待测功能的正常功能逻辑和工作流程确定表示正常场景的基本流。其次,以基本流作为HAZOP的节点参数,分析构建表示异常场景的备选流,并根据基本流和备选流建立场景图。然后,利用全路径搜索算法,搜索场景图中所有的路径作为测试场景,并据此生成测试案例。最后,以C2车载设备等级转换功能为例生成测试案例,并与既有测试案例库进行比较。结果表明,采用本方法生成的测试案例能够涵盖更加丰富的异常场景,提高了C2车载设备测试的有效性。2.为了以最小的测试成本生成覆盖新增测试案例的测试序列并重用已有的测试序列和测试脚本,本文利用图论中有向乡村邮路问题的求解思想,提出了一种基于覆盖集的测试序列优化生成方法。首先,定义了带有覆盖集的有向图模型,并提出连通性的判定准则。然后,如果覆盖集中的测试案例能构成弱连通图时,设计了基于容量网络的测试序列生成算法,该算法能够在多项式时间内求得最优测试序列;反之,如果覆盖集中的测试案例不能构成弱连通图时,设计了基于遗传算法的测试序列生成算法,该算法能够高效的求得近似最优的测试序列。最后,通过对C2车载设备的测试案例生成测试序列,验证了方法的有效性。3.为了提高测试效率,同时保证测试数据的正确性,本文设计并实现了C2车载设备的测试序列及测试脚本辅助生成工具。该工具集成了基于覆盖集的测试序列优化生成方法,实现了测试序列的自动生成。此外,该工具能够以可视化图形的方式辅助测试人员编制测试序列中的应答器信息和轨道电路信息,并能够自动导出可用于测试执行的测试脚本,为C2车载设备仿真测试提供了工具支持。