列车运行控制系统保证列车安全、高效的运行,是现代铁路信号系统中的核心组成部分。研究列控系统的测试方法,对列控系统可靠安全性的提高具有重要的意义。基于确定性有限状态机(Deterministic Finite State Machine,DFSM)的测试方法用DFSM模型描述待测功能需求,通过测试用例生成方法从模型生成测试用例。本文以CTCS-2级列控系统为研究对象,研究基于DFSM的测试路径生成与测试路径实例化方法,给出了自动化生成方案。为了减少满足迁移覆盖测试路径集合的冗余度与路径数,本文基于最小测试成本迁移覆盖准则给出了测试路径的生成方法。方法先解析DFSM模型信息,生成优化迁移覆盖的序列集合。接着生成满足最小测试成本迁移覆盖的序列集合,并扩展为测试路径集合。最后选用目前列控系统测试的案例,演示了测试路径生成的具体步骤,并与广度优先生成迁移覆盖测试路径的算法比较,说明本文方法生成的测试路径集合中迁移冗余数目更少、路径数目更少,可有效地减少测试成本。为了将测试路径实例化为具体的测试用例,本文提出了结合逻辑覆盖与输入空间划分的方法。方法首先根据模型中各迁移条件的逻辑表达式,生成满足逻辑覆盖准则的子句逻辑值组合。接着对表达式中的变量进行输入空间划分,得到各变量的取值集合。然后以子句的逻辑值组合为条件,获取取值集合中满足约束条件的取值子集将其作为测试输入,再将各变量的测试输入子集进行组合,以此生成直接反映模型接口的具体的测试用例。最后选用基本案例,阐述了方法流程,说明了方法的可行性。最后,以CTCS-2级列控车载设备的CTCS-0级转换CTCS-2级功能为研究对象,首先进行需求分析,分析该功能的正常转换场景与特殊转换场景。接着建立DFSM模型,再应用本文的测试路径生成方法及测试用例生成方法,求得测试路径集合及其测试用例集合。该结果说明了本方法能覆盖全面的功能需求,测试效率更高。