联锁系统是保障铁路行车安全的关键技术装备。联锁仿真试验是联锁系统安全性验证的重要环节。传统的联锁仿真试验方法面临着效率低、通用性差、测试效果无法量化等问题。为克服传统测试方法的不足,亟需提升联锁仿真试验的自动化水平。测试案例的生成是实现联锁自动化测试的重要环节,有效的联锁测试案例自动化生成方法至关重要。论文采用基于模型的测试方法构建了以进路为单位的UML状态机模型,使用测试案例生成工具Par Teg生成测试案例,进而验证了所生成测试案例的有效性。为了将该模型应用于不同进路下的联锁测试,论文搭建了联锁测试案例自动生成平台。论文主要工作如下:（1）为打破传统基于车站拓扑结构的建模思想,针对联锁仿真试验提出了一种基于进路的UML状态机构建方法。构建了通用性的联锁模型,避免了联锁仿真试验定制化问题。采用该方法建立的联锁模型能够适用于不同站场,实现了测试的复用化。（2）提出了一种基于变异测试的联锁关系检查量化评价方法。与传统算法生成的测试案例相比,论文生成的测试案例变异评分更高且能够覆盖相应联锁关系检查项中的测试内容,证明了测试案例的有效性与完备性。（3）开发了能够适用于不同车站联锁的测试案例自动生成平台。该平台将联锁模型作为框架,以联锁表数据作为输入,能够实现不同进路下自动更新联锁模型、生成测试案例等功能。通过对比分析,论文提出的测试案例生成方法相对于传统方法生成的测试案例在有效性与完备性方面更具优势,可为联锁测试的自动化执行提供可靠依据。