随着国家城镇化建设的不断推进,城市轨道交通系统以其快捷、安全以及不受路面状况影响等优势,越来越多的出现在我国的大中型城市中,成为解决市内交通拥堵问题的主要方案之一。基于通信的列车控制(Communication Based Train Control, CBTC)系统作为当今最先进的轨道交通信号系统,普遍应用于国内很多城市的轨道交通项目中。CBTC信号系统是大型安全苛求系统,系统测试及集成测试规模大、配置复杂、周期长且实际线路测试成本高。本文针对CBTC信号系统的测试验证技术进行研究,以信息化、自动化及降低时耗人耗成本为目标,提出基于信息系统平台的仿真测试与验证策略,设计开发了基于计算机仿真的轨道交通信号系统仿真测试与验证平台,对其中的核心技术及相关算法进行了详细阐述。首先,深入分析了CBTC信号系统定义、需求和系统架构,并基于测试与验证的需求,完成了针对CBTC信号系统的仿真测试与验证策略的设计,它由需求同步管理、数据配置管理、自动测试策略和信息反馈策略四部分组成。其次,根据仿真测试与验证策略,研究了结合信息系统的仿真测试与验证技术,通过建立测试与验证模型和分析工作流,建立信息化数据模型和逻辑模型,并对应用数据交互技术予以实现。然后基于信息系统平台,设计并实现了CBTC仿真测试平台,着重对平台实现过程中的关键技术进行了研究,包括列车动力学仿真算法设计和自动测试技术。此外还对CBTC核心组件之一——联锁系统进行深入研究,提出一种全新的联锁逻辑验证技术。该技术从高效可复用的角度出发,以图论为理论基础,旨在快速运算得出站场图中联锁进路信息,用于联锁逻辑的测试验证。研究内容覆盖站场图拓扑结构组件化建模和用于进路信息获取的矩阵算法设计,并以基于搜索的进路算法为比照,对新算法进行了效率分析。本文通过对轨道交通信号系统仿真测试与验证技术的研究,设计并实现了一套CBTC仿真测试平台,并已将其应用于实际的信号系统测试项目中。对提高CBTC信号系统测试验证工作的效率、提升测试效果起到积极作用,节省了大量人力和物资投入,缩短了开发周期。