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

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

基于成对组合的遗传算法生成联锁测试用例

计算机联锁自动测试的质量往往取决于测试用例的质量.本文提出一种新的设计思想:将基于成对组合覆盖的遗传算法用于计算机联锁测试用例的生成和优化,并以道岔测试为例对该算法的应用过程进行详细分析,重点介绍成对组合覆盖方法、算法的整体框架和遗传操作设计.采用遗传算法对成对组合的启发式算法AETG进行改进,有效地减少了冗余的测试用例,提高测试用例质量和联锁测试效率.     

自动化测试在城轨联锁产品测试中的应用

针对城轨联锁产品测试周期长、效率低的瓶颈,分析目前联锁产品交付测试现状,在分析测试需求基础上,构建一种基于脚本控制器的自动测试方法与架构,通过调用基础数据形成测试用例集并实现测试结果的自动输出,实现联锁产品交付测试的自动化,通过验证表明该自动化测试工具可以在提高测试效率的同时高质量的完成测试任务,进而保障联锁产品测试的可靠性。     

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

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

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

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

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

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

嵌入式联锁软件模拟自动测试平台的研究

为满足联锁软件黑箱测试的要求，对联锁软件安全性需求进行了分级形式化表达，阐述了嵌入式联锁软件模拟自动测试平台的分布式结构模型及其实现方案，最后，给出了自动测试平台得到的联锁软件分类测试结果。     

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

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

CTCS-2级车载ATP自动测试脚本的编写方法

在CTCS-2级列控系统中,车载ATP控制列车的运行速度,保证列车运行安全,因此需要对车载ATP功能进行全面严格地测试。为了提高测试效率,降低测试人员的工作强度,提高测试结果的准确度,设计了一种CTCS-2级车载ATP自动测试平台,详细描述了该平台中应答器脚本、轨道电路脚本和测试案例脚本的设计和使用方法,通过实验证明该平台结构正确合理,应答器脚本、轨道电路脚本和测试案例脚本的编写方法正确,能够实现对CTCS-2级车载ATP功能的自动测试。     

LKJ自动测试平台及关键技术研究

列车运行监控装置(LKJ)是我国现阶段普速铁路应用最为广泛的车载设备之一,随着铁路运输需求的不断提升,作为保障行车安全,提高运输效率的关键设备,LKJ设备变得愈发重要。为解决LKJ设备人工测试过程工作量大、效率低下,难以找寻故障原因等问题,设计一种LKJ自动测试平台并对其关键技术进行研究。自动测试平台基于传统的人工测试流程进行优化,采用图形化方式生成测试用例,设计信号适配单元模拟设备运行条件,增加人机交互单元简化测试操作,基于Robot Framework自动测试框架及故障分析专家系统自动执行测试并给出故障原因,实现可无人值守的自动化测试。通过LKJ-15型设备及实验室仿真环境进行验证,结果表明,自动测试平台可取代传统仿真测试中部分人工操作,对故障现象进行分析给出指导意见,有效提升了测试效率。     

TCL脚本语言在车载自动防护系统自动测试中的应用

目前,对CTCS-2级列控系统车载ATP(列车自动防护)进行测试主要使用人工测试方法.人工测试存在效率低、工作强度大等缺点.对车载ATP进行自动测试具有将测试人员解放出来,提高测试效率等优点.在自动测试中,测试脚本扮演着重要角色,它负责与车载ATP自动交互信息,控制测试过程并对测试结果做出判断.介绍了利用TCL(工具命令语言)脚本语言编写车载ATP测试案例脚本的方法,并举例说明了根据测试案例编写测试案例脚本的方法.通过试验,证明利用TCL脚本语言编写车载ATP测试案例脚本是方便而高效的,介绍的根据测试案例编写测试案例脚本的方法是正确可行的.     

列控车载软件自动测试系统关键技术研究

为实现对列控车载软件的自动化确认测试,提出了列控车载软件自动测试系统的实现机制,详细介绍了自动测试系统的关键技术——模型驱动半实物仿真技术和测试脚本技术。该技术在LKJ以及某新型列控车载设备自动测试系统中获得了成功应用,极大提高了测试的效率和质量。     

基于SCADE模型的车载ATP测试用例生成方法

车载ATP是保证列车安全运行的关键列控设备。为满足其苛刻的安全要求,实际应用之前需要对其进行全面严格的测试。传统的编写测试用例的方法过分依赖人工经验,耗时耗力,且测试质量难以保证。提出一种基于SCADE模型自动生成车载ATP测试用例的方法。首先,利用SCADE对车载ATP系统进行建模,并针对安全状态机模型生成满足全迁移覆盖准则的测试用例;再根据MC/DC覆盖准则生成测试数据,将抽象的测试用例转化为可直接用于测试的具体测试用例集;最后,通过变异分析对生成的测试用例进行评估。结果表明,测试用例具有良好的覆盖度,优于传统人工方法。     

一种高铁CTC进路数据自动测试方法的设计与实现

调度集中系统与计算机联锁接口中的进路数据的测试存在工作量繁重、耗时长以及人为因素易出错等问题,针对该问题提出一种自动测试方法,可有效的解决进路数据的自动测试及测试结果的自动分析,多条高铁线路实践表明,能显著提高调度集中系统与计算机联锁接口的测试效率及数据正确率,使CTC系统产品更安全可靠。     

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

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

基于ControlBuild的列车电气逻辑仿真测试平台设计

文中介绍了一种基于ControlBuild的列车电气逻辑仿真测试平台。该平台基于自主开发的元器件仿真逻辑库，利用自动转换工具对电路图中所有的元器件、连线等进行解析，最终实现在ControlBuild中搭建高度复原电路图控制逻辑的仿真模型，并编写测试用例，利用自动化测试工具，实现电气仿真模型的自动测试。最后以某列车在本平台的应用实现为例，验证了本平台的可用性和正确性。     

基于UML的列车自动防护系统测试用例生成方法研究

文章研究基于UML的列车自动防护系统测试用例的生成方法.对基于UML的列车自动防护系统测试技术进行分析,采用UML生成XML测试脚本的3层设计方法,分别从概念层、逻辑层和物理层对列车自动防护系统进行描述,通过转换规则与对应关系,生成XML Schema形式的测试用例.     

基于脚本技术的高速铁路列控中心系统安全性自动化测试研究

列控中心系统是实现高速铁路安全运行的关键设备。自动化的黑盒测试是验证其系统功能和确认系统满足系统需求,具有足够安全性防护能力的重要手段。脚本技术是实现软件测试自动化技术的有效方法。测试脚本语言是脚本技术的核心,但是目前没有专门针对列控中心测试的脚本语言。本文结合列控中心测试的特点,提出一种测试策略,设计了场景-事件驱动的测试脚本语言SED_TSL。在本文提出的测试策略中针对安全防护功能,以实际运营场景为核心,利用测试脚本语言SED_TSL定义正常场景与故障场景,测试序列与测试用例,仿真环境,形成分级测试脚本。通过场景变换控制测试逻辑与流程,触发仿真事件加载测试用例实现系统的功能性与安全性测试。本文对测试脚本语言SED_TSL与基于SED_TSL的自动化测试环境的实现机制进行阐述,并实现了基于SED_TSL的高速铁路列控中心系统自动化测试环境,投入到铁道部的列控中心产品制式检测中。实际应用表明:测试脚本语言的描述能力与自动化测试环境符合测试需求,有效地实现了列控中心产品的功能与安全性测试。     

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

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

无线列调场强自动测试系统

采用CZC-1型无线列调场强自动测试系统测试场强，可变人工测试为自动测试，并能实现多种型号无线列调设备的兼容测试。