摘要：随着计算机科学技术和中国铁路的飞速发展,计算机及软件在轨道交通系统中起着越来越重要的作用。软件的质量直接决定了整个轨道交通系统的质量,软件的故障可能会引发灾难性的后果以及造成无法估计的损失。软件测试能够最大限度地发现软件中的错误并减少软件中残留的隐患,因此,在轨道交通系统中,加强安全苛求软件的测试工作是保证软件安全性的基本途径和有效手段。随着我国高铁的发展,为确保列车可靠、安全地运行,迫切需要装备性能稳定、安全可靠的列控系统。而对于通过引进国外关键技术、消化吸收再创新的国产化CTCS-3级列控系统,由于其起步较晚,专门针对列车控制系统中安全苛求软件测试的研究还很少,所以必须研究适用于CTCS-3级列控系统的测试方法。论文对安全苛求软件的测试方法及其在CTCS-3级列控系统车载设备测试中的应用进行研究。介绍了安全苛求软件测试的模型,包括开发人员的自测试、静态测试、单元测试、集成测试、功能测试、安全性测试,对各个阶段软件测试原理及现行软件测试方法和测试技术进行了研究。作为实际应用的研究,以CTCS-3级列车控制系统的车载ATP软件为例,论文主要做了以下工作：1)在CppUnit的框架上设计出用于开发人员对ATP软件进行自测试的测试工具,编写测试案例对ATP软件部分模块进行测试；2)使用TestBed工具配合人工代码走查完成了ATP软件的静态测试,并对测试结果进行分析；3)完成了ATP软件单元测试、集成测试案例的编写,并使用TestBed工具进行测试,记录测试结果并分析；4)在CTCS-3级列控系统仿真测试环境中,根据功能特征设计测试案例对ATP软件进行功能测试,记录测试结果并分析；5)对ATP软件进行故障树分析,完成安全功能需求的提取,根据安全功能特征编写测试案例,在仿真测试环境中进行安全性功能的测试,记录测试结果并分析。