计算机联锁系统自动测试系统研究

针对如何持续提升联锁软件测试的有效性和测试效率这一问题,分析计算机联锁软件自动测试的需求,以灰盒测试为思想,采用层次化框架结构,设计实现一种基于脚本驱动的自动测试系统。该自动测试软件能够提升计算机联锁测试效率,保障联锁测试的可靠性。     

基于OpenCV的计算机联锁自动测试系统研究

针对当前国内计算机联锁软件测试中存在的人工测试效率低、第三方测试难度大、严重依赖测试人员技术水平问题，基于OpenCV图像处理技术、AutoItX自动测试库，设计并实现了计算机联锁自动测试系统。系统通过计算机联锁上位机界面采用图像处理技术获取铁路站场数据；基于站场数据，采用进路搜索算法生成站场联锁表，进而基于联锁表生成相关测试用例；对测试用例编写测试脚本，实现对计算机联锁系统的自动测试。研究结果表明，该系统实现了第三方对计算机联锁系统的自动测试，能够有效地减少人工操作，在降低对测试人员技术水平的要求的同时提高了测试效率。     

计算机联锁软件模拟自动测试系统的研究与实现

基于灰箱测试模型,实现非侵入式闭环联锁软件自动测试系统。系统测试分自动和手工两种方式。测试程序软件采用模块化设计。仿真程序界面采用虚拟面板技术,使操作直观、方便、简捷,增强了仿真能力。系统测试基于联锁特征数据,联锁表保证测试的连续进行。实际应用表明,本系统能够发现联锁软件故障,提高测试效率;有利于进行回归测试;可以降低人为的操作失误和对测试人员的技术要求,减少测试成本,满足联锁软件出厂测试和现场测试自动化的需要。     

基于传统测试经验的计算机联锁自动测试脚本设计研究

借鉴传统测试经验，对脚本驱动型自动测试系统的测试脚本设计进行研究。以EI32-JD型计算机联锁系统软件为例，从传统测试用例库中筛选出适合执行自动测试的相关用例，并通过举例说明实现自动测试脚本的转化过程。经过转化、优化、验证、改进等过程形成的自动测试脚本，不仅继承了传统测试用例的优点，又利用自动测试的优势弥补了传统测试的缺陷，可以有效减少因联锁车站软件测试方案变更带来的风险，也为自动测试工具的工程化应用做好铺垫。     

联锁软件的Petri网形式化定义

用Petri网对联锁系统中的核心部分－联锁机中的联锁软件进行表式化定义和分析，以减少联锁系统中的不确定性因素，降低联锁软件的复杂性，保证联锁软件定义的正确性，并对该定义进行了形式化验证。同时以进程建立过程作为事例，说明了用Petri我形式化定义联锁软件的具体过程，采用分层模型化技术对联锁软件中的各个变迁（模块）进行逐级分解和验证，最终得到经过验证的，足够详细的联锁软件模型，利用该模型能对系统的一些重要性能（如安全性和实时性）进行分析和改进。     

计算机联锁软件安全性测试评估研究和实践

阐述了铁路计算机联锁软件安全性质量评价的概念．介绍了服务于安全性质量保障的联锁软件测试的原理和所开发研制的通用自动化测试评估平台。文章对8年来利用平台所进行的计算机联锁制式测试、制式复查测试和现场联锁软件抽样测试的结果进行了介绍和分析．从中可以了解软件安全性测试在我国目前计算机联锁软件安全性质量管理中的重要作用。     

联锁图表软件设计的实现技术与结构

就车站信号联锁设计，着重研究了站场形状模拟和其后的进路选择、进路联锁的设计过程。联锁图表软件作为车站信号工程设计的重要组成部分，提出了在不改变车站数据信息情况下，自适应于站场形状的联锁图表软件的设计方法。实现了车站信号联锁图表设计的系统化和标准化。     

城轨系统中联锁仿真平台的设计和实现

分析城市轨道对联锁新的需求,以面向对象的方法设计和实现了联锁仿真平台。该仿真平台采用RSSP-I协议解决通信中的干扰问题;不仅实现了铁路基本联锁功能,还实现了对屏蔽门的控制。基于CBTC仿真环境验证了仿真平台的有效性,为快速开发计算机联锁软件和验证新的联锁功能提供便捷的手段。     

铁路计算机联锁站场数据自动提取方法研究

针对计算机联锁自动测试软件所需的铁路站场数据依赖人工手动输入、自动化程度不高的问题，提出了铁路计算机联锁站场数据自动提取方法。以经过验证无误的联锁上位机界面图像作为图像识别系统的输入，分析信号设备显示特征并定义数据模型，基于OpenCVSharp计算机视觉库，利用图像识别相关算法，设计识别流程，自动提取站场数据。采用上述方法开发软件，展示信号设备识别与数据提取效果。该方法能准确识别出联锁上位机界面中的信号机、道岔与轨道区段，从而实现相关站场数据的自动提取。     

铁路信号联锁逻辑形式化建模研究

铁路车站信号联锁逻辑的形式化描述无论对计算机联锁软件的开发，还是对联锁软件的测试都是非常重要的。 铁路大站的联锁逻辑十分复杂，对其进行形式化描述是一项艰难的工作。目前，国内外尚无这方面详细研究的文章和报道。本文利用层次结构的概念，采用层次化有色Petri网，以建立铁路车站信号计算机联锁软件第三方测试的现场仿真环境为目的，以车站联锁设备的层次化有色Petri网模型为背景，介绍了铁路车站信号联锁逻辑的形式化描述的基本方法。