铁路信号计算机锁系统自动测试系统的构造研究.pdfVIP

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