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

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

UML在软件系统分析设计中的应用

对软件系统开发过程中使用的传统软件建模技术和面向对象的建模技术进行了比较和分析.介绍了UML系统建模的组成要素.并以人力资源管理系统为例,说明UML在系统动态行为建模中的具体应用.     

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

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

UML在油压减震器计算机测试系统中的应用

应用UML对油压减震器计算机测试系统进行面向对象的描述和建模,从问题域出发,定义问题和解决问题.通过使用UML的图形,先从系统的软硬件边界、系统服务、操作者与系统交互的角度去发现对象,根据对象定义类,然后使用VC++完成程序设计.UML对油压减震器计算机测试系统的描述应用于从需求分析到程序实现、程序测试的整个软件过程.     

UML&UP在VPN网管系统中的应用

介绍统一建模语言UML和统一过程UP的特点,阐述UML建模的过程,通过对VPN网管系统进行建模分析,从而有利于开发人员进行需求分析、系统设计和实现,提高系统的性能,缩短开发周期.     

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

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

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

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

基于Petri网列车连挂解编模型分析

提出一种基于Petri网描述系统的方法,该方法(简称EPN)将Petri网与UML思想相结合,通过5种简单的事件模型来分析系统.由于借鉴了UML思想,使得EPN易于对一些复杂系统进行描述,也易于利用UML分析结果对系统快速建模.同时EPN是基于Petri网,因此完全可以利用现有Petri网的数学模型和工具进行建模和仿真.本文主要对列车控制系统中的连挂和解编过程进行建模.通过模型验证采用EPN分析系统的有效性和便捷性.     

基于IFC的铁路信号UML建模及应用研究

以铁路IFC国际标准项目为依托,研究了铁路信号IFC数据需求、编制过程,以及UML建模目的;从类、属性、关系3个核心要素方面举例,阐述了从数据需求到UML概念模型的技术流程;提出了基于IFC的铁路信号UML建模内容和方法,并分别从实体构件、空间结构、线性定位3个方面对铁路信号UML建模进行分析说明;提出了铁路信号UML...     

基于沙盘的城轨控制实验室集中站联锁仿真系统

在城轨控制实验室仿真平台中,集中站联锁系统是保障列车各种作业安全的重要子系统.本文运用UML建模方法和Visio工具,对系统的需求、设计、编程实现和测试过程进行了描述和分析,建立了系统不同设计阶段的可视化模型.选取沙盘上2个典型集中站进行编程实现和测试,验证了运用UML方法对系统建模的正确性,且能够与沙盘联动控制.此外,系统还设计并实现了保护区段和侧面防护,这是地铁联锁系统的独有特点.     

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

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

基于UML的铁路输送辅助决策软件设计

铁路输送辅助决策软件是C^4ISR系统的重要组成部分,其功能和质量的好坏直接影响着C^4ISR系统的整体性能。UML作为一种定义良好的统一建模语言,适用于软件系统开发过程的各个阶段,它可以从不同的角度,用简单明了的可视化图形将复杂系统表示出来,对整个软件的开发提供灵活、一致、易读的表达,能有效地增进各类人员之间的交流,提高软件的可重用性和可维护性,并降低风险。该文首先介绍UML的建模体系,然后使用UML对铁路输送辅助决策软件进行功能需求分析,在此基础上,进行问题领域分析,建立软件的静态和动态模型,并将该软件系统的各种要素、事件和活动,分别在时间和空间上进行描述,方便开发人员之间的交流,为系统的分析、设计、维护及扩展提供支持。     

基于UML与CPN的CTCS-3级列控系统建模与验证方法研究

CTCS-3级列控系统安全功能极其复杂,为保障其正常运转,有必要对列车运行控制系统的建模与验证进行深入研究。在分析了UML建模图和有色Petri网优缺点的基础上,提出了UML和有色Petri网(CPN)相结合的建模与验证方法,并应用在CTCS-3系统中,对CTCS-3级列控系统的建模与验证具有积极的研究意义。     

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

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

基于统一模型语言的城市轨道交通在线检测系统预研究

城市轨道交通在线检测系统负责对运行中的车辆设备、轨道设备等的工作状态及参数进行实时检测及故障诊断.因关系到安全运行,故要求其具有高可靠性和较强的数据处理能力.阐述了在线检测系统的总体结构,在UML(统一模型语言)建模技术的基础上,提出了基于UML的系统模型.     

CBTC仿真测试系统线路数据可视化生成的设计与实现

介绍CBTC仿真测试系统的整体结构及各子系统的功能。在对线路数据进行深入研究分析的基础上,提出一种线路数据可视化显示及生成方案,利用UML构建了静态模型和动态模型,对该方案进行阐述。对于数据生成结果,以XML结构化线路拓扑信息,使用数据库表保存线路设备数据。实际仿真结果表明,该方案可以很好地完成线路数据的可视化生成。     

BIM技术在智能一体化机柜中的应用

针对建筑信息模型(BIM,Building Information Model)技术在智能一体化机柜中的应用需求,以Revit建模软件为平台进行了BIM建模辅助软件的二次开发,完成了一体化机柜布置、柜内设备布置、机房布局生成这3个功能模块的开发;在此基础上,结合实际工程阐述了实现流程。实例应用表明,该辅助设计软件能够实现智能一体化机柜BIM的快速建立,并为BIM技术在智能一体化机柜中的全生命周期应用提供参考。