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

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

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

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

一种新的自动化测试的多任务调度模型

在分析传统多任务调度模型缺陷的基础上,提出了一种新的自动化测试的多任务调度模型.它不仅可以实现传统多任务调度模型的任务间并发,还能够实现单个任务内不同作业执行线程之间的并发.实践表明,该模型在支持大量并发任务场合具有较好的效果,极大地提高了自动化测试执行效率.     

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

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

基于Teststand的列控车载系统自动测试方案的设计与实现

针对在既有人工测试环境中执行系统功能测试和集成测试时,测试用例多、测试周期长、人员需求量大,以及重复验证工作繁重等问题,设计并实现了一种基于Teststand的列控车载设备自动测试系统.该系统综合运用TestStand测试管理工具、AutoIt自动化工具和Python开发技术,实现了自动化测试环境的搭建,经模拟测试人员...     

离线工具通用自动化测试平台设计与实现

针对轨道交通信号系统中离线工具需求以及测试用例的特点,提出了一种基于最小测试单位(step组)的离线工具的自动化测试平台,分析了这种自动化测试平台应用到离线工具测试的优点,阐述了该平台具体的设计思想与实现方案。     

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

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

列车控制仿真测试平台中模拟临时限速服务器研究

本文以列车控制中心为测试对象,研究了临时限速服务器仿真系统的软件结构,采用手动或者自动方式对列车控制中心报文选择功能进行验证.提出了基于参数化分界点的测试用例生成方法,实现了用例逻辑和车站数据的分离,能够大幅度提高测试效率.该系统应用于高速铁路CTCS-2级车站列车控制中心的软件仿真测试中,取得了良好的效果.     

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

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

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

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

广州地铁5号线分段接管的特点与实施

广州地铁5号线工程首次采用分段接管的方式进行各项设备的联调和运营演练.对分段接管中的问题进行分析,并提出改进意见.从线路安全、施工安全、行车安全、供电安全、设备安全、人员安全等方面阐述了分段接管中的安全管理.从行车调度的角度谈如何确保安全,以圆满完成调试和演练任务.     

一种基于模型的形式化测试序列自动生成方法及在ETCS-2中的应用

随着中国铁路列车运行控制系统的发展,对列控系统的研究越来越受到学术界的关注。本文提出一种基于模型的形式化测试案例和测试序列生成方法,并应用于ETCS-2级系统的测试中。首先提出有色Petri网(CPN)的建模规则,保证CPN模型适应测试生成的要求;然后,提出一种自动化的测试生成方法,包括测试案例自动生成算法和测试序列搜索算法。为提高整个测试过程的自动化程度,实现测试生成与测试执行的无缝结合,整个测试生成方法的输出是XML格式文件集。最后,以ETCS-2系统的车载子系统为例,运用CPN Tools工具完成建模,实现相应的算法,实现测试生成过程。结果表明,本文提出的基于CPN的测试方法能够在很大程度上提高测试过程的自动化程度,并且生成的测试案例集能够覆盖CPN模型反映的所有ETCS-2系统需求规范信息。     

基于图形旋转系统的渐进层次细节和拓扑改变操作

针对现有的层次细节方法不能一直保持模型的二维流形性,提出2种基于图形旋转系统的拓扑改变操作Cut Tunnel和Create Tunnel。Cut Tunnel操作算法通过输入环绕待切断柄的1条封闭轨迹的顶点集合,然后删除所有与这些顶点相连的边,从而切断1个复杂的柄。Create Tunnel是Cut Tunnel的逆操作。在此基础上,提出1种渐进层次细节理论框架,框架采用基于图形旋转系统的数据结构表示模型网格,分为生成层次细节过程和使用层次细节过程2个过程。生成层次细节过程能够改变模型的拓扑,并自动生成连续变化的细节层次网格;使用层次细节过程使模型从某一层次细节的网格逐渐变形到任意层次细节的网格,并始终保持模型的二维流形性。对Stanford大学的buddhaf模型进行拓扑改变操作、生成渐进层次细节和运行层次细节的试验。结果表明:拓扑改变操作及渐进层次细节理论框架效果良好,模型始终保持了二维流形性。     

改进型EDF算法在计算机联锁全电子执行单元中的应用研究

针对计算机联锁全电子执行单元的安全性、可靠性、大数据量传输的要求,结合CAN总线的特点,提出一种基于指数分区的EDF动态调度算法,以此来提高CAN总线的实时性以及全电子执行单元发送消息的成功率。对改进后的EDF算法的编码进行详细的描述,通过使用量化误差的概念,推导任务的可调度性公式,以此来衡量算法的优化程度。使用Matlab中的truetime工具箱和全电子执行单元的通信数据,对该算法进行仿真实验,并与平均分区的EDF算法进行比较。仿真结果表明:本文算法能够平衡高低优先级的关系;发送消息的成功率更高。改进后的调度算法能够实现消息的动态调度,良好地解决了计算机联锁全电子执行单元中CAN总线网络资源不足时任务不可调度的问题。     

多个变电站的操作票专家系统研究

介绍了面向对象的多变电站操作票专家系统。基于面向对象的分析和设计技术，设计了适合调度操作的网络拓扑、知识库和推理机制。采用Bodand C＋＋Builder作为开发工具，并以其自带的Paradox数据库作为后台建立系统数据库。开发了实用的操作票专家系统，具有方便、可靠、高效等优点。     

网络化运营条件下的地铁乘务计划优化方法

随着城市轨道交通网络化运营程度的不断深入,乘务管理也需要不断适应线路结构、客流特征、列车方案、管理制度等因素的变化需求。乘务计划优化是一类综合考虑各类因素的多目标组合优化问题。对计划列车运行图、线路条件、乘务班制、劳动时间等乘务计划编制的关键因素进行分析,从编制条件和编制目标等方面研究了网络化运营条件下乘务计划的编制难点,从乘务班制、任务划分、网络统筹、编制的智能化和信息化等方面提出网络化运营条件下乘务计划编制优化的建议与方法。     

地铁乘务计划计算机编制要素分析

乘务计划编制要素的分析是乘务计划编制的基础。在借鉴已有文献研究的基础上,结合北京地铁各线路实际运营情况,总结乘务计划编制的基本流程,确定编制过程中值乘班制、轮换车站用餐地点及出、退勤地点四大影响因素;对比分析常用轮转制度特点,在计算轮转班组数后确定主值乘制度;轮换车站的设置是乘务任务配对工作的基础,通过计算先确定单一交路和复杂交路的轮换点数量,再根据折返条件、列车交路、线路长度与车辆段位置等选择轮换车站的位置;最后依据运营管理实际情况确定用餐和出退勤地点。其中,轮转制度和轮换车站的设置直接影响着乘务员的工作强度,在乘务计划编制时需要着重考虑。     

新型级联多电平逆变器

在传统多电平逆变器拓扑结构的基础上,提出了一种新型电路拓扑。新型电路拓扑是统一化拓扑经过简化后与传统级联H桥式电路拓扑结合得到的。新型电路拓扑相对于传统电路拓扑在器件数、直流电压源数上都具有一定的优势。详细分析了该电路拓扑的工作原理并且给出了相应的控制策略,最后通过仿真实验验证了这种拓扑的可行性。