基于仿真的CTCS-3级列控系统功能测试方法

主要研究在仿真条件下CTCS-3级列控系统车载设备的功能测试方法。测试是一项非常耗时的工程,恰当的测试方法可以最大限度提高测试的效率。重点阐述测试系统的主要构成,测试案例的设计原则和测试序列的设计方法,简要介绍了中国邮路算法在测试序列设计中的应用,并结合武广线综合试验段给出了测试序列举例。     

CTCS-3级列控系统车载设备测试序列优化生成方法

根据车载设备功能测试的需求,研究基于中国邮路算法优化生成CTC3-3级列控系统车载设备测试序列的方法.在分析测试序列构造方法的基础上,将测试序列的优化生成问题转换为求解1个具有多重弧的有向图的中国邮路问题.针对测试序列的特点,利用Edmonds-Johnson算法和LINGO建模工具对中国邮路问题进行求解,即通过构造容...     

基于DRPP的列控车载设备测试序列生成方法

在列控车载设备功能场景的测试序列生成过程中,针对不能充分利用场景以外子序列衔接关系的问题,提出一种基于有向乡村邮路问题的测试序列优化生成方法。将列控车载设备所有功能场景的子序列构建成一个强连通有向图模型,并根据覆盖的功能场景构建需求弧集。利用有下界容量网络最小费用可行流算法,实现以最小成本构建包含需求弧集的欧拉图,再利用Hierholzer算法生成测试序列。以CTCS-2级列控车载设备的功能场景为例并相比于现有方法。结果表明：所述方法能够充分利用所有子序列的衔接关系生成覆盖指定功能场景的最优测试序列,等级转换和模式转换场景测试序列的成本分别降低4.2%和1.4%。     

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

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

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

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

基于专家系统的测试案例自动分析研究

文章设计了测试案例自动分析专家系统，通过提取测试案例和测试序列特征，研究了专家系统的核心—规则库和推理机制，实现CTCS-3级列车运行控制系统测试案例的自动分析。同时，提出将测试序列转换为XML脚本，设计测试序列XML脚本的关键标记符，便于计算机自动解析；采用二分搜索算法查找车载数据中测试序列及测试案例的数据段，以此提高专家系统分析效率。结果表明:使用文中描述的结构和方法，可提高测试案例自动分析的效率和准确性。     

CTCS-2级列控车载设备现场测试序列辅助生成工具

为解决人工编制现场测试序列工作量大、效率低下的问题,设计与开发了CTCS-2级列车运行控制(简称:列控)车载设备现场测试序列辅助生成工具.给出了现场测试序列的设计原则,并分析提出了功能需求.根据功能需求,将软件结构划分为列控基础数据管理、图形界面绘制、测试案例数据管理、测试案例执行距离计算、测试序列生成和测试序列数据管...     

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

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

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

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

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

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

基于TTCN-3的CTCS-3级列车运行控制系统自动测试方法

提出了基于TTCN-3语言的CTCS-3级列车运行控制系统的自动测试方法;该方法在考虑分布式实时系统自身复杂性和实时性等特点的前提下,首先将CTCS-3系统分解为多个实体,针对每个实体,根据功能需求规格说明书利用LPTIOA进行带时间约束信息的模型描述;然后,根据相应的算法得出测试序列及测试集;再将得到的测试序列及测试集根据规则转换成TTCN-3语言描述的测试序列和测试集;最后在基于TTCN-3测试平台中对被测实体进行测试。     

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

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

机车主电路试验专用高速数据采集系统

描述了机车主电路试验专用高速数据采集系统.用机车主电路试验所得各项数据来判断机车性能的优劣,同时根据测试数据改进机车设计提高机车性能.试验所得各项数据及特性曲线是铁路用于新线设计、规章和标准制定的基础数据.     

基于TCL语言的车载ATP自动测试平台的研究与实现

在CTCS-2级列控系统中,车载ATP控制着列车的运行速度,保证列车运行安全,因此需要对车载ATP功能进行全面严格地测试.为了提高测试效率,降低测试人员的工作强度,提高测试结果的准确度,本文设计了一种基于TCL脚本语言的车载ATP自动测试平台,详细阐述了该平台的工作原理和实现方法,通过实验,证明该平台能够满足测试需求,是一种高效的、先进的车载ATP自动测试平台.     

加强型列车控制系统在青藏铁路的初验测试

阐述ITCS,介绍ITCS在青藏铁路某一区间内初验所设定的几个测试环节以及测试设定,说明测试的详细步骤及判断条件.     

机车交流辅机试验台设计

介绍了机车交流辅机试验台设计的基本方法，阐述了辅机试验的主要试验线路和测量线路，着重说明了异步劈相机的试验数据计算方法。     

铁道车辆称重均衡试验台设计

介绍了新型铁道车辆称重均衡试验台的设计思路及结构组成。该试验台可实现铁道车辆多种车型的称重、均衡及柔性试验。     

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

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