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

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

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

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

列车运行监控系统软件仿真测试的研究

为实现高效、准确、公正地对列车运行监控系统(LKJ)软件进行测试,结合LKJ设备实际应用环境,展开了LKJ软件仿真测试系统的技术研究;详细阐述了LKJ软件仿真测试系统的框架、硬件设计及测试实施方案等。该研究成果已在新一代LKJ软件仿真测试系统中试用,从效果上看,已实现了LKJ软件自动化仿真测试的目标。     

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

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

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

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

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

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

一种针对全自动运行系统的测试用例生成方法

针对全自动运行系统测试指定路径覆盖的测试需求,基于时间自动机建模理论提出满足指定路径覆盖和边覆盖的全自动运行系统测试用例自动生成算法。研究时间自动机建模理论,建立全自动运行系统的时间自动机模型;为表征全自动运行系统指定路径覆盖的测试需求,提出基于时间自动机模型的标记变量建模方法 ;结合Yggdrasil的测试用例生成机制,提出全自动运行系统测试用例生成方法,同时满足全自动运行系统测试的指定路径覆盖和边覆盖准则;以全自动运行系统的模式转换功能为例,建立时间自动机模型并生成测试用例。结果表明,测试用例100%覆盖测试人员指定的测试需求和时间自动机模型所有的边,能够满足全自动运行系统指定路径覆盖的测试要求。     

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

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

一种全覆盖的列控车载系统测试用例自动生成算法研究

列控车载系统是保证列车行车安全的重要装备,是典型的安全苛求系统。测试用例生成是测试车载系统功能的关键和基础。根据车载系统的特点,本文利用时间自动机建模工具UPPAAL,对车载系统模式转换的规范建立DRB-TE自动机网络模型,并指出车载系统模型的非确定性会导致模式转换测试用例不能达到全覆盖。针对该问题设计一种能够满足全状态、全变迁覆盖准则测试用例的生成算法,利用实时系统测试用例自动生成工具CoVer生成模式转换测试用例套,从而实现自动生成覆盖全部车载模式转换规范的测试用例,同时提高了测试用例的生成效率和重用性。     

LKJ径路数据校核系统的设计与实现

LKJ径路数据规划了LKJ基础数据源文件的文件基本结构,决定了LKJ调用基础数据的顺序,对LKJ控制功能的实现至关重要。如果LKJ径路数据发生错误将会导致LKJ运行在错误的路径上,存在极其严重的安全风险。本文采用自动化技术对LKJ径路数据进行校核,通过递归算法对LKJ基础数据源文件中径路数据的正确性、准确性进行核对。     

列车运行监控记录装置自动测试系统

介绍了列车运行监控记录装置自动测试系统的组成,阐述了以LKJ-93和LKJ2000型监控记录装置为基础的自动测试系统各主要部件的测试原理。该系统可测试LKJ-93和LKJ2000型监控记录装置整机和插件,结合专家指导系统,可指导检修,并为其他设备的测试预留了接口。     

基于LAIS的LKJ数据版本管理系统设计

采用无线传输技术,通过手持无线传输终端设备实现车地信息的实时传输,实现了LKJ数据版本换装工作的自动化管理,充分发挥LKJ对行车安全的保障作用,避免人为因素可能造成的事故或异常状况的发生.     

LKJ2000与JT1-CZ2000车载设备一体化动态检测装置的研制

阐述了针对LKJ2000型列车运行监控记录装置与JT1-CZ2000型机车信号车载系统设备动态检测的一种智能化检测系统。该系统采用计算机和信息共享技术,可以模拟在机车的环境温度里运行各种车载装置,并通过CAN总线有效地对LKJ2000型列车运行监控装置进行模拟量、开关量、频率量自动检测,以及对JT1-CZ2000型机车信号的应变时间、主机的译码正确性进行自动测试,达到了对备品质量状态检测的目的。     

UML建模技术在轨道交通CTCS-3级列车控利系统测试案例生成中的应用

针对CTCS-3级列车控制系统测试案例的特点和生成过程,提出了UML建模技术在测试案例生成中的应用.说明了利用这种方法生成测试案例的优势,介绍了生成测试案例的总体思路.测试案例的生成分为两步,即功能特征的提取和基于UML建模的测试案例生成.从UML的静态建模分析和动态建模分析两个方面阐述了具体实现过程,并举例说明了UM...     

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

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

对基于嵌入式处理器系统的LKJ2000车载控制软件进行自动黑盒测试的研究与探讨

介绍了一种对基于MC68332嵌入式处理器系统的LKJ2000列车运行监控记录装置车载软件进行自动化黑盒测试方法,总结了如何构架软硬件仿真平台、如何管理测试脚本、以及如何对测试结果进行自动比对的方法。     

基于无线网络技术实现LKJ车载数据的换装

本文对LKJ车载数据换装现状进行分析,论述了基于无线网络技术,对车载数据进行模块化和顺序化设计,实现车载数据的自动换装,解决传统模式下数据换装中存在的资源高消耗问题,提高数据换装的安全性、可靠性和高效性.     

机车LKJ数据版本卡控系统的开发

机车LKJ程序数据版本卡控系统,实现了机车LKJ车载程序和数据版本信息的自动采集、传输和比对,使机务段调度室和派班室及时掌握机车LKJ程序和数据版本的有效性信息,杜绝LKJ程序、数据版本错误的机车出库上线.本文简要介绍了系统的组成、技术原理、主要技术方案及特点.     

LKJ质量分析软件系统的开发与应用

介绍了LKJ质量分析软件的工作原理,及实现分析管理的7大功能。系统通过对运行文件24项项点自动检索、自动分析,实现了对车载设备运用质量、数据换装版本号复核等关键环节的控制。     

LKJ车载数据检测预警系统应用的研究

介绍了利用GPRS远程无线传输手段,将LKJ的版本等车载数据信息从机车上向地面控制中心实时传送,实现地面对车载LKJ数据信息的实时监控,避免由于LKJ车载数据版本的错误导致危及行车安全的情况出现。