基于案例推理的测试序列生成方法研究

鉴于测试序列生成专家系统知识获取困难以及知识库维护不易等问题,本文提出从案例推理技术的新角度研究CTCS-3级列控系统测试序列的生成.设计了测试序列案例推理流程;提取了现场测试序列特征属性并构建了案例的框架表示结构;为实现案例检索,设计了属性相似度计算方法、确定案例属性权重的层次分析法、案例间相似度计算方法和案例检索过程;给出一个测试序列生成的具体流程.基于案例推理的研究方法为CTCS-3级列控系统测试序列的生成提供了一个新的思路.     

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

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

CTCS－3级列控系统测试案例生成方法的研究

CTCS-3级列控系统是保障铁路行车安全、提高运输效率的重要设备,上道运用前必须在实验室和现场分别进行功能测试,建立CTCS-3级列控系统测试案例库对CTCS-3级列控系统的功能测试具有非常重要的意义。分析了系统需求规范、功能特征和测试案例之间的关系,研究了从系统需求规范和总体技术方案提取功能特征的方法和测试案例的生成方法。     

基于路径优化算法的测试序列自动生成及验证

随着中国铁路运行控制系统的高速发展,列控系统行为功能的正确性与安全性成为业内关注的焦点,本文提出一套完整的测试案例与测试序列自动化生成的方法。制定与系统CPN模型、测试序列相关的定义;利用本文提出的全路径覆盖优化算法和序列优选算法生成XML测试序列;以CTCS-3级列控系统下RBC的切换为例,自动生成测试案例与测试序列,并在RBC测试平台上进行验证。结果表明:本文提出的测试生成方法可实现测试的自动化,针对RBC切换场景生成的测试序列重复度降低了75%,完全覆盖《CTCS-3级列控系统功能需求规范》中的相关内容。     

基于UML状态图的列控中心软件测试路径生成方法

针对列控中心测试，介绍了基于UML状态图的列控中心测试路径生成方法。根据列控中心需求规范建立UML状态图模型；采用改进的深度优先搜索算法（DFS）自动搜索有向图得到从初始节点到终止节点的所有路径集合，利用贪心算法构造超串合并测试需求；利用路径集合扩展测试需求集合，最终实现测试路径自动生成；以列控中心改变区间运行方向功能为例，给出测试路径生成方法实现。     

基于Testcase Designer的列车运行控制系统测试方法的研究

针对CTCS-3级列控系统的需求规范，结合欧洲列车运行控制系统（ETCS）的测试经验，研究基于Testcase Designer的CTCS-3级列控系统自动测试方法。Testcase Designer主要用于将测试案例模块化，通过优化编写流程，生成符合测试平台需求的测试序列，为测试项目的执行提供必要的关键数据点。同时，Testcase Designer可供存储、导出及发布。其测试案例中的关键输入输出接口（如BTM、TIU、RTM等）配置信息均已通过配置文件形式实现。以列控系统无线闭塞中心（RBC）切换场景为例，采用Testcase Designer编写该场景的测试案例。研究结果表明:Testcase Designer实现了功能特征、参考需求、测试步骤等元素的集成，编写的测试案例是合理的。     

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

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

列控地面设备集成测试仿真系统设计与实现

为了保证高速铁路列控系统运营的安全性与可靠性,提高现场动态联调联试的效率,需要先在实验室对列控系统的主要功能进行仿真测试。针对这一需求,在分析现场测试大纲的基础上,设计并实现了列控地面设备集成测试仿真系统,完成对列控地面设备功能的有效性和完备性,以及列控数据的正确性的验证。     

简谈列控中心仿真验收测试

高速铁路列控中心(简称TCC)为中枢,通过TCC软件将其功能进行适应性设计,结合现场基础工程建设实现其庞大的运算处理功能。新建线路开通前,为确保高铁列车运营安全,提高运输效率,需要对TCC软件的功能及逻辑关系进行遍历测试,即TCC软件仿真测试。通过仿真平台测试合格软件,可大大降低高铁现场出现问题的概率。从TCC仿真测试平台建模、环境搭建、数据配置、测试流程、问题反馈、测试记录等重点关注的问题展开介绍,为新建高铁线路列控中心产品软件的调试与开通提供参考和借鉴。     

脚本测试技术在列控中心开发测试中的运用

列控中心作为一种安全相关系统,要求具有极高的安全性和可靠性,满足铁路信号系统的故障-安全原则。测试是列控中心软件投入使用前必不可少的环节。针对目前列控中心开发测试仍然采用手工测试的问题,在对开发测试案例分析归纳的基础上,定义开发测试案例词典,基于正向最大匹配算法和格语法,提出测试案例到脚本的自动生成算法,实现开发测试的自动测试。     

地铁列车运行图编制系统的设计与实现

为解决地铁人工编制运行图效率低、工作量大、易出错等弊端，结合运行图编制业务现状特征，分析并提出了列车运行图编制系统的功能需求与建设目标。基于SQLite数据库、运用Visual Studio开发工具，设计并开发完成了列车运行图编制系统，实现了运行图基本图铺画、在线优化调整、时刻表一键生成等功能。该系统已在天津地铁行车管理工作中进行了实际应用，效果良好，有效提升了运行图编制效率与质量。     

列车进路数据表编制软件的设计

针对传统的列车进路数据量大、进路数据表人工制作和校核步骤繁琐、存在站场规模较大时容易出错的关键问题,采用Visual Studio 2017作为软件开发平台,VBA及Active X Automation作为开发工具,设计一种基于列控数据的进路数据表编制软件,以保证进路数据表编制的准确性。软件在(北)京石(家庄)武(汉)客运专线、(天)津保(定)铁路等工程列控数据编制中成功运用,通过实践证明,编制软件提高了列控数据表的编制效率和准确性,满足列车进路数据表编制要求。     

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

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

基于VB程序的轨道质量检测数据分析系统

针对人工统计分析轨道质量检测数据法效率低、工作量大、数据操作易出错、各车间操作不统一等问题,开发了基于VB程序的轨道质量检测数据分析系统.该系统在规范数据分析思路、方法、流程和格式的基础上,实现了车载不良报警、车载晃车仪日报表的自动统计分析、轨控薄弱地段的自动生成、车间作业质量评价等功能,减少了工作量,节省了分析时间,...     

基于SCADE需求分析和用例设计在新型列控系统RMU子系统的应用

针对新型列控系统(C4D-I)的地面核心设备(Resource Manage Unit,RMU)是没有明确技术规范的创新产品,提出基于SCADE需求分析和用例设计方法,该方法以SCAD Earchitect模块为依托,对需求和用例进行建模。该方法避免传统人工进行需求分析带来的需求不完整、模糊和缺失等问题;同时为用例设计提供必要保障。提出的用例设计方法提供一种矩阵形式用例集,为向自动生成用例提供前期准备工作。     

旅客列车乘务巡检系统的设计与实现

通过对乘务巡检作业管理需求和现场调研分析,利用NFC近场通信技术及计算机控制技术,通过采集安装在客车车厢内的电子标签信息,实时发送至地面监控主机,分析软件可将接受到的数据与旅客列车乘务员标准作业图表进行自动的比对和分析,从而实现对客车乘务作业的过程盯控,督促车辆乘务员作业标准化的落实。     

基于信号和车辆系统联控的弓靴转换控制设计研究

广州地铁4号、5号、6号、14号、21号线运营线路采用第三轨集电靴受流方式,车辆段采用接触网受电弓受流方式,列车在进出车辆段时,需在弓靴转换点处进行降弓升靴或降靴升弓的操作,传统"人防"监控方法是人工监控与视频监控。文章研究利用信号定位、车辆控制软件联控的方式,实现列车弓靴转换由"人防"向"技防"的转变,设计研究成果已在广州地铁14号、21号线车辆段出入段线弓靴转换点处成熟应用。该设计研究方案能优化列车出入场管理、节约人力资源,并从根本上解决人工未按要求进行弓靴转换而产生的安全风险。     

基于LKJ软件测试用例自动生成的技术研究

为解决列车运行监控装置(LKJ)自动化测试中测试用例编辑和维护困难的问题,利用关键信息抽象和图形建模等方法对LKJ软件测试用例自动生成技术进行研究。通过对测试用例进行模块划分、参数设计和程序流程图方式建模,实现测试用例的批量生成。该技术已在LKJ-15S的自动化仿真测试系统中得到应用,经验证,可以提高测试用例编写效率并缩减约90%的冗余用例。     

列车进路数据表自动生成算法设计

传统的列车进路数据表的编制方法,是参照CTCS．3级列控工程数据编制规则,手工填写生成的。然而人工制作和校核列车进路数据表是一件非常麻烦的事情,既费时又费力,而且一旦线路数据量增大,特别容易出错。在此背景下,提出设计一个智能软件,该软件可以根据设计单位所提供的基础资料,自动生成列车进路数据表。从而取代了传统的人工编制列车进路数据表的方法,极大地减少了人工劳动,制作列车进路数据表的效率及其准确性都得到很大的提高。