列控车载设备测试案例辅助管理工具设计

针对列车运行控制（简称：列控）车载设备测试缺乏高效的测试案例辅助管理工具,带来测试需求与测试案例管理不便、测试案例编制效率不高、测试案例统计分析困难等问题,设计了一款列控车载设备测试案例辅助管理工具。以提高测试案例管理效率为目标,建立了工具的总体功能框架,设计与实现了测试需求管理、测试案例辅助编制及管理、测试案例统计分析3大功能模块,构建了测试需求提取、测试案例辅助编制与测试案例分析的一体化测试案例管理流程。以CTCS-2级列控车载设备测试案例管理为例,对工具进行了功能验证。结果表明,采用该工具可以更加方便地管理测试需求和测试案例,提高测试案例编制以及测试统计分析的效率,降低测试过程中人工管理的复杂度。     

自主化CTCS-3级列控系统车载设备测试方法研究

以自主化CTCS-3级列控系统车载设备为研究对象,基于自主化车载设备仿真测试环境,对系统测试过程中的测试案例、测试序列及测试脚本的设计方法进行研究,并结合具体实例对测试场景进行介绍。采用该系统测试方法已完成对自主化CTCS-3级列控车载多轮全功能系统的测试,可提高自主化车载设备现场应用的安全性和可靠性。     

CTCS-2级列控车载设备层次化组合测试方法

对列控车载设备开展组合测试，可有效提高设备的安全性。针对现有组合测试方法未充分考虑车载设备测试过程中输入的时序性、设备状态等影响软件安全的各种因素组合的问题，提出一种车载设备层次化组合测试方法。首先，划分CTCS-2级车载设备测试过程中各种影响因素的组合层次，设置层次化覆盖强度。其次，提出了车载设备层次化组合覆盖准则，给出形式化定义，构建层次化组合测试模型。然后，提出一种两阶段层次化组合测试用例生成方法，高效精简构造层次化组合测试集。最后，以CTCS-2/0等级转换测试为例对方法进行验证。结果表明，在保证各种影响因素组合覆盖的前提下，相对于现有方法，在覆盖强度t={2,2,2}时，采用本方法的测试成本可降低23.53%,有效提高测试的针对性，验证了方法的有效性。     

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

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

基于TTCN-3的CTCS-3级车载设备虚拟分布式测试框架研究及应用

分析了客运专线CTCS-3级列控系统车载设备软件的功能测试需求和现状,以及TTCN-3测试语言在基于消息黑盒测试领域的优势;在此基础上提出了基于TTCN-3语言的分布式虚拟车载设备测试框架;并根据CTCS-3级规范中提取了车载设备的功能需求作为测试案例,在TTWorkbench环境中实现了对仿真车载设备的功能测试和实时性测试,对测试数据收集分析,验证了测试框架的可行性和优势。     

CTCS-3级列控车载设备实验室互联互通测试方法

研究CTCS-3级列控系统互联互通的实际需求,确定车载设备互联互通测试的基本原则;然后针对适用于CTCS-3级车载设备互联互通测试的体系和方法进行研究,分析了CTCS-3级列控系统车载设备互联互通测试平台的结构及功能划分。研究实际开展的车载设备互联互通测试工作,介绍车载设备互联互通测试序列的生成方法,互联互通测试执行的过程,最后对互联互通测试的结果进行总结,提出车载设备互联互通测试结果的管理方法。     

车载ATP自动化操控系统设计与实现

为提高列控系统仿真测试的效率和质量，以仿真测试过程中的测试自动执行为着眼点，对真实车载ATP进行接口适配与远程操控适配，基于有限状态自动机设计并实现了车载ATP自动化操控系统。在实验室中借助Robot Framework自动化测试框架，基于真实车载ATP与真实线路数据对车载ATP自动化操控系统进行功能验证。验证结果表明，该系统能够满足列控仿真自动测试的需求，可以取代仿真测试中的部分人工操作，提高了测试效率和测试质量。     

基于有色Petri网的车载设备模式转换测试序列生成方法

为高效、自动生成覆盖车载设备所有转换路径的测试序列,根据《CTCS-3级列控系统系统需求规范》,首先基于有色Petri网构建车载设备模式转换(MTCPN)模型,并采用ASK-CTL公式和非标准状态空间查询法对MTCPN模型进行分析和验证,然后根据车载设备模式转换规则,将车载设备的工作模式及其转换路径映射为有向图,采用中国邮路算法求解有向图,生成1条最优邮路,并对该邮路进行二次优化,生成车载设备模式转换的测试目标序列集;将测试目标序列作为MTCPN模型的输入,仿真生成满足全路径覆盖准则的可执行的测试序列集和XML文件。验证结果表明:基于有色Petri网的测试序列生成方法能够满足测试需求,并且避免了既有方法的状态空间爆炸和搜索死循环问题,提高了测试效率。     

CTCS-3级列控车载设备智能化检测技术的研究

针对CTCS-3级列控车载设备维护和检测的迫切需求,对车载设备的测试方法、测试手段和测试工具进行探索和总结。为了提高车载设备的测试效率,降低测试成本,提高故障诊断能力,研究车载系统的测试方法,研制开发更智能、使用更方便的车载系统测试设备。详细介绍通过串口、MVB端口和Profibus端口等技术,实现对车载设备系统和各模块运行状态的采集,模拟输入测试数据和信号,检测车载设备的反馈,从而判断车载设备运行是否正常,并对采集的数据进行分析,实现车载设备的智能化检测功能。     

适应IRIS体系产品研发的系统测试过程研究

系统测试是产品研发流程中的重要组成,是提高产品质量必不可少的一环。提出一个符合IRIS质量管理体系要求的系统测试过程,并将该过程分为4个子过程(测试计划、测试规范、测试执行和测试报告)进行详细描述。该过程的采用适于规范测试活动,提高测试质量。     

CTCS-2级列控系统跨线兼容性测试的典型问题分析

信号系统联调联试期间,需要采用不同型号的车载设备对列控系统地面设备进行跨线兼容性测试。由于该测试处于联调联试的后期,给问题的整改、测试的时间安排带来一定的困难。本文根据联调联试的经验,总结归纳近年来CTCS-2级列控系统跨线兼容性测试过程中出现的典型问题,并对原因进行了深入分析,为线路信号系统的设计、施工提供一定参考。     

车载ATP系统仿真测试平台

主要介绍车载ATP系统仿真测试平台的硬件结构、软件实现、测试过程等。该平台对降低车载ATP系统运行的故障率具有至关重要作用。     

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

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

考虑顺序和组合关系的列控车载设备测试序列生成方法

在列控车载设备测试过程中,测试案例之间往往存在顺序关系和组合关系,这些关系在实际测试中具有重要作用。为使测试序列以最小的成本覆盖测试案例集、顺序关系集和组合关系集,提出一种测试序列生成方法。首先,通过在有向图中引入弧的关联关系集,提出一种新的弧路径问题—关联弧路径问题,并给出一种基于遗传算法的求解算法。然后,将具有顺序关系和组合关系的测试序列生成问题转化为关联弧路径问题。最后,以CTCS-2级列控车载设备模式转换场景中的部分测试案例为例进行验证分析,生成的测试序列能够同时覆盖测试案例集、顺序关系集和组合关系集;与人工+DCPP方法相比能够有效降低测试序列的总成本;与遗传算法相比,本文算法的性能更优。     

国产化ITCS仿真测试平台研究

随着青藏线运能逐渐提高,需要对既有ITCS信号系统的车载设备进行升级改造。研发具有冗余结构的国产化ITCS车载设备,能够提高设备的可靠性,提升青藏线的运营效率,而ITCS仿真测试平台是国产化车载设备顺利研发的保障。本文介绍了ITCS仿真测试平台的架构、主要功能和实现情况,并分析了其特点。     

CRH1和CRH2型动车组列控车载设备管理与维护探讨

从规范列控车载设备管理、设备维护、数据分析和实时监控查看、应急处理等五方面阐述动车组列控车载设备管理与维护.     

LKJ车载设备生产管理平台系统设计与实现

主要以J2EE技术和当前铁路信息化平台为背景,研究LKJ车载设备在日常生产作业及管理中存在的问题,并提出具体解决方案。将任务管理与LKJ车载设备作业生产融为一体,旨在对LKJ车载设备质量、设备检测、设备检修、数据版本换装卡控等工作进行规范管理,确保铁路运输安全。     

城市轨道交通车载牵引制动故障控制板测试装置的研发

车载牵引制动故障控制板是车载ATO(列车自动运行)系统的重要组成部分.为提高上海轨道交通1号线车载设备故障的响应效率,弥补车载牵引制动故障控制板的检测技术空白,研发了车载牵引制动故障控制板的测试装置.采用该测试装置分别对牵引继电器、制动继电器、故障继电器进行测试,测试时通过观察继电器的励磁情况、接点电阻、线圈电阻等数据来判断控制板是否发生故障.该测试装置的研发成功,实现了对列车车载牵引制动故障控制板的可靠检测,为维保人员提供了查明故障原因的测试手段,并为将来对该类车载牵引制动故障控制板的计划修提供可能.     

车载ATP/ATO设备整机自动测试工装的研制

阐述整机测试工装在生产过程中的重要地位,指出自动测试工装将有助于提高产品质量。设计并实现车载ATP/ATO设备整机自动测试工装,详细介绍测试工装的结构、功能和特点,给出系统软件流程图。对FZL300系统中的车载ATP/ATO设备进行测试,研究它的测试需求,说明测试配置方法。测试工装具备的高效、配置灵活、方便移植等特点能够满足生产及试验等需求。     

基于分布式组件对象模型(DCOM)构建CBTC车载测试平台的技术

分布式组件对象模型(DCOM)具有快速开发、位置透明及松耦合等特性.它提供了在网络环境中分布式装载程序的灵活性,以及组装程序的便捷性.基于该技术构建的CBTC(基于通信的列车控制)车载设备测试平台具有灵活扩展、通信及时可靠的特性,从而为车载设备相关测试案例的调试、测试平台相关模块的安装及后续测试执行等任务提供了便利,提高了车载设备测试平台的开发效率和准确度.