地铁现代化的发展,已成为城市交通现代化的重要标志之一。城市轨道交通信号系统是保证列车运行安全,实现行车指挥和列车运行现代化,提高运输效率的关键系统。联锁系统是地铁信号系统的重要组成部分。当前,国际上在安全相关系统的软件的开发过程中,大多运用验证与确认技术来保证其安全性和可靠性。而国内的安全软件质量保证能力较为薄弱,验证与确认工作基本处于空白。本文以通过SIL4安全认证的地铁联锁系统开发项目为依托,对欧洲铁路标准EN50128等进行了研究,从而确定了该项目的验证与确认方法。其次,对验证与确认方法中的静态验证与确认技术的应用进行了详细地介绍。包括评审、文档审查、代码静态分析和代码走查等。然后,以单元测试阶段和软件确认阶段为例介绍了白盒测试技术和黑盒测试技术的应用过程。包括测试用例设计、测试执行和测试结果分析。地铁联锁系统开发项目的验证与确认方法在该项目的实践中取得了良好的效果,对同类安全相关软件项目的验证与确认工作的开展具有一定的参考意义和指导作用。论文最后指出了有待进一步研究的问题及方向。需要进一步研究测试自动化、测试工具和测试仿真系统等,从而能够不断提高测试效率和软件质量。