随着科学技术的飞速发展,计算机联锁系统已经取代了电气集中联锁系统,成为将来车站联锁系统的主要发展方向。计算机联锁软件是保障铁路车站列车或机车作业安全的关键软件,而高效、充分的测试对于保证其安全性具有举足轻重的作用。在现今的软件测试中大多数还是以手工测试为主,这样做存在测试不充分与测试效率低下等弊病。因此,研究一种计算机联锁软件自动测试系统将是一项极有意义的工作,可以促使联锁试验面向规范化、程序化、简单化,从而提高工作效率、缩短试验时间,并能消除因联锁试验失误带来的事故隐患。论文首先介绍了课题的目的、意义及研究内容;深入地研究了HJ04A计算机联锁系统的框架结构、软硬件体系和功能特性等,并分析了联锁系统软件的输入输出模型,确定了使用基于灰盒测试的自动测试方法,并在此基础上提出了一种基于图形分析的测试结果的自动分析与判定方法和一种基于OPC的联锁系统状态模拟方法,从而使得测试系统可以在不对被测系统进行直接接口的情况下进行测试工作,保障了测试结果的客观性,也使得测试工作更加简单。其次,在分析联锁软件安全性需求的基础上建立了联锁软件安全性需求的Petri网模型,给出了一种求解割集的算法实现,并构造了安全性测试用例的自动生成方法;最后,详细地描述了铁路信号计算机联锁系统自动测试系统的基本逻辑结构及其功能模块设计,并对全文的研究工作进行了总结和展望。