我国轨道交通在不断地发展,而列车自动保护系统作为列车控制系统的基础,保证它的安全性和可靠性更是重中之重。但是目前在轨交领域中,主流的安全性保障方法基本依赖人工手段对此类系统的代码进行测试,并没有一个行之有效的方法自动化地完成需求模型的分析与验证。同时,即使需求模型被认为是正确的,在实践中进行基于模型的自动化测试仍然面临如何使模型自动化执行的问题。针对此问题,本文提出了一套面向轨道交通控制系统进行分析和验证的方法,该方法可以自动化地进行需求模型构建、测试场景转化、需求仿真执行,最后对仿真执行结果进行分析。主要的贡献如下:需求模型构造:本文使用定义的需求描述语言CASDL(CASCO Specification Description Language)描述需求,并对相应的需求文档进行建模。通过模型对需求进行语法检查和性质检查,帮助测试人员分析并改正需求,保证需求编写规范和逻辑的正确性,并为之后需求仿真执行做好准备。测试场景脚本:为确保ATP系统(Automatic Train Protection System)需求的正确性,需要通过列车运行场景对需求进行验证。本文使用场景描述语言CASSL(CASCO Scenario Language)描述测试场景,保证场景设计的规范性。通过对相应场景脚本进行语法检查和逻辑检查来保证脚本规范和逻辑的正确性。最后通过对场景脚本进行自动化的分析和计算,生成供测试平台使用的测试脚本。测试平台执行测试脚本后,可以得到预期的测试数据,为需求仿真执行做好准备。需求仿真执行:本文实现的需求仿真是使用需求模型模拟ATP系统在给定场景下的运行过程,需求仿真执行算法可以根据测试数据和需求模型生成计算数据结果。工具对计算数据与预期测试数据进行分析,发现需求或系统实现中的错误,供测试人员进行处理,提高测试效率。本文提出的需求模型分析与验证方法已实现相应工具,并投入到轨道交通控制系统测试的工程应用中。