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

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

计算机联锁软件的黑盒测试过程分析与实现

结合计算机联锁系统的硬件和联锁软件的特征,介绍了软件的测试目的、步骤、黑盒测试中等价类划分法以及安全测试常用的故障树分析法。基于由测试软件、联锁软件和车站信号设备仿真系统组成的测试平台的联锁软件测试,在联锁软件黑盒测试覆盖率准则的基础上,举例介绍了用等价类划分法编写测试用例和用故障树分析法编写安全性测试用例以及测试流程,并用python伪代码实现了“进路正常选出”的测试用例。通过上面的方法来体现黑盒测试在计算机联锁软件逻辑运算功能的重要性。     

计算机联锁处理子系统的自动化测试平台及其应用

对计算机联锁处理子系统(IPS-200)的软件测试现状进行分析,提出了一种自动化测试平台。通过测试脚本自动执行测试用例,显著提高了计算机联锁产品的软件集成度,以及确认回归测试的准确性和效率。     

基于UML2.0活动图的车载设备测试用例生成方法研究

重点研究基于UML2.0活动图的CTCS-2级车载设备测试用例生成方法.介绍车载设备的构成和功能,对活动图进行形式化定义,阐述测试用例的设计,包括车载设备活动图建模规则、测试用例的形式化定义、测试覆盖准则的定义、基于深度优先搜索并且带回溯的遍历算法的测试场景生成,以及测试用例的生成算法,最后实现了测试用例生成.     

基于测试用例的通用联锁规则自动测试系统

为提高通用联锁规则测试效率和准确率,解决当前人工测试方式重复劳动多且颗粒度较大的问题,研发一种基于测试用例的通用联锁规则自动测试系统。根据计算机联锁系统的物理架构,模块化仿真各子系统,以减少对硬件设备的依赖。系统可读取、解析并自动执行测试用例,将测试用例中定义变量的预期跳变时序解析为以指定变量为基准的相对周期,并建立一定顺序的“变量-跳变周期”矢量关系链表;同时,周期性地追踪关键变量,将测试结果与预期的矢量关系链表进行对比,以识别通用联锁规则中可能的时序问题。该系统已多次应用在国铁、城轨等相关项目的联锁规则测试中,效果良好,可为同类型项目测试提供参考。     

城轨交通全自动运行系统组合测试用例生成方法

为提高城轨全自动运行系统测试的全面性，结合时间自动机建模方法和组合测试理论，提出全自动运行系统组合测试用例生成方法。首先，以全自动运行系统运营场景为测试建模对象，基于时间自动机建模方法，描述全自动运行系统的运营场景，利用Yggdrasil生成100%满足运营场景时间自动机模型节点覆盖和边覆盖的测试路径；其次，采用输入域建模理论，提取测试路径反映的系统工况作为组合测试的输入参数，利用组合测试算法生成全自动运行系统的组合测试用例；最后，以全自动运行系统中的唤醒场景为例，采用UPPAAL从ATP、ATO、TCMS、AOM和车辆5个方面建立唤醒场景的时间自动机模型，以向前跳跃失败为例，采用2-维组合覆盖生成组合测试用例。结果表明，测试用例100%覆盖测试模型所有的边和节点，以及测试模型任意2个输入之间的组合，提升了全自动运行系统测试的完备性。     

基于需求建模的联锁软件自动化测试技术的研究与实现

基于需求的测试是软件测试的本质.通过采用线性关系抽取技术的需求建模方法,设计出一种以需求驱动生成测试用例,并结合相应的软件测试平台,完成其自动执行的测试技术.该技术能够对联锁软件中逻辑关系比较复杂的需求进行整理和化简,并能够以最小数目的测试用例实现最大化功能覆盖率的自动化测试.     

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

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

基于IRM-COM的列车运行控制系统测试用例生成方法

为验证高速铁路列车运行控制系统在多个故障发生时的安全性,针对系统故障降级场景,提出一种基于初始约简矩阵—组合遗漏矩阵(IRM-COM)测试用例生成算法的故障组合注入方法。首先对故障类型进行矩阵形式化描述,然后形成故障注入组合测试表初始矩阵,最后生成测试用例表。仿真结果表明,该组合测试的故障检测率比随机测试和自适应随机测试平均高10.2%,而且测试用例个数比自动高效测试用例生成器(AETG)和基于矩阵重复度的组合测试(CTboMRD)平均少13.4%,验证了所提算法具有更强的约简能力,提高了测试效率。     

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

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

基于CAN通信的计算机联锁IO仿真系统设计

以计算机联锁系统体系结构为基础,结合健全和完善联锁软件试验的设计理念,借鉴现有成熟的计算机技术及通信接口技术,研发设计了一种基于CAN通信的计算机联锁IO仿真系统.详细阐述了系统的架构、软硬件设计原理及主要功能实现.功能测试和仿真应用实践表明,系统设计满足联锁软件试验要求,能够健全联锁软件试验覆盖面和提高试验效率.     

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

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

仿真计算机联锁接口的设计

介绍了仿真计算机联锁接口的设计,重点描述其故障仿真模型。目前该测试系统已经成功地应用于计算机联锁机构和轨旁设备的测试中,可以模拟计算机联锁机构和轨旁设备之间的信号传输故障,在计算机联锁机构和轨旁设备的测试中起到了重要的作用。     

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

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

计算机联锁系统工程设计的分析

针对计算机联锁系统的工程设计与传统的电气集中联锁工程设计内容的变化，从硬件设计和软件设计方面进行了比较和分析，以进一步提高设计质量和设计效率，完善设计单位和联锁设备生产厂家的设计结合。     

计算机联锁软件设计及进路搜索算法的研究与应用

本文根据联锁软件所要实现的功能,对联锁程序进行模块划分,采用模块化的设计方法编写联锁软件,并对进路搜索模块中不同算法进行分析比较,提炼出一种高效率的搜索算法,结合站场型数据结构将此算法应用到联锁软件的设计开发中.最后对联锁软件的安全性进行简要分析.     

基于区域联锁的CTC分机方案研究与建模

提出一种基于区域计算机联锁的调度集中(CTC)分机结构和方案。研究了中心站设置CTC分机和区域联锁的前提下,根据列车运行调整计划自动控制不同区域的联锁进路;将区间中继站或无道岔车站的进路控制纳入中心站,实现中心站对相邻区域进路控制范围扩展;为提高区间列车进路安全控制水平,将区域内区间信号控制纳入到联锁控制范围。最后采用UML建立了区域联锁CTC分机的用例图和序列图的模型。     

通用性城轨计算机联锁仿真平台的设计与开发

在城轨计算机联锁仿真系统开发过程中，设计过程易受具体站场的规模大小和繁简程度的影响。为解决这个问题，增加计算机联锁仿真系统设计的通用性，使之趋于标准化，提出利用SQL数据库提供的数据存储环境，面向对象的C#编程语言，采用鼠标坐标与设备坐标匹配的方法，设计开发具有通用性参考意义的城轨计算机联锁仿真平台。根据线路信息编写数据库，利用线路设备静态数据绘制界面，设计采集驱动仿真系统和通信系统，最终实现整个联锁仿真平台的设计与开发。在实验室中，以办理基本进路为例，试验结果显示:该系统能正确可靠地实现计算机联锁功能。该试验结果验证了本系统通用性设计方案的可行性，满足系统的设计要求，为未来城市轨道交通计算机联锁仿真系统开发提供了一条新思路。     

沪昆高铁引入武广高铁长沙南站武广场信号过渡设计及开通方案研究

以杭长高速铁路引入武广高速铁路长沙南站武广场过渡设计为例,详细介绍运营中的高速铁路车站信号系统过渡设计方案,总结各种类型插入道岔的过渡方法、插入道岔的联锁试验方法、信号系统(联锁、列控、CTC、临时限速、RBC、微机监测)的模拟演练方法。