【摘 要】
:
随着铁路信号设备逐步电子化,以计算机为核心的信号设备逐步成为主要的信号安全关键设备,成为铁路安全运营的保障。列控中心是列控系统的重要组成部分,是安全性、可靠性以及
论文部分内容阅读
随着铁路信号设备逐步电子化,以计算机为核心的信号设备逐步成为主要的信号安全关键设备,成为铁路安全运营的保障。列控中心是列控系统的重要组成部分,是安全性、可靠性以及实时性要求都比较高的设备,对于列控中心软件的安全性测试,成为列控中心软件投入使用之前保证其质量的一项重要任务。而区间改变运行方向功能是列控中心功能重要组成部分,因此,研究列控中心区间改变运行方向功能的测试方法,对于进一步研究列控中心测试有促进作用,对于形成系统的列控系统测试理论和测试方法以及开发先进的测试平台有着重要意义。本文在对列控中心改变运行方向功能技术规范进行需求分析的基础上,建立UML状态图层次化模型,基于UML状态图模型得到自动生成测试路径的方法,根据模型和测试路径得到测试用例输入和输出。首先,建立UML状态图层次化模型,包括3层:逻辑场景层、逻辑关联层和输入输出接口层模型。其次,将逻辑场景层状态图模型转化为有向图,根据图覆盖准则,得到逻辑场景层有向图边覆盖测试需求;利用广度优先搜索算法搜索逻辑场景层有向图,得到广度优先生成树;利用生成树中完整路径扩展所有生成树路径为完整测试路径,最终得到逻辑场景层UML状态图模型的完整测试路径集合。然后,对于得到的每条测试路径,根据路径上每条迁移的逻辑表达式,分解出每个逻辑表达式中每个逻辑关联层变量,逐层搜索分解各个变量,直到搜索出所有变量对应的输入输出接口层状态图,得到所有输入接口变量输入组合。最后,利用输入组合驱动逻辑关联层和逻辑场景层中各UML状态图发生状态转移,依据所发生的状态转移确定各输入的输出信息。最终得到路径上各迁移条件相应的测试用例输入和输出。论文针对列控中心改变运行方向功能,建立UML状态图分层模型,基于模型得到测试路径以及测试路径对应测试用例的输入和输出。因此,本文主要研究的测试方法就是分析需求规范,建立UML状态图模型,从模型自动生成测试路径和测试用例的输入和输出。这为自动生成各种测试用例脚本以及开发自动化测试平台打下基础,对于实现列控中心自动化测试具有重要意义。
其他文献
随着高速铁路的建设发展,基于变形控制的设计理念,对路基工后沉降提出了严格的要求。由于路基工后沉降受地基土性质、地基处理方式、路堤填筑材料、路基结构形式、动静荷载作
计算机立体视觉技术模仿人眼成像过程,通过计算不同视角下同一物体成像点之间的视差,反求物体表面深度信息,进而获取其立体结构。近年来,得益于计算机硬件性能的提升以及图像
随着网络攻击手段日益丰富,对网络流量的监测和分析成为网络空间安全体系的重要一环。为了更加有效地监控网络并识别网络攻击,需要采用自动化技术读取网络安全事件报告,同时自动分析结果。本文将网络空间安全监测体系划分为三个阶段,在第二阶段中,使用"词袋模型"向量化关键词,并通过神经网络技术分析事件报告,实现网络空间安全监测结果的自动化分析。试验结果表明,本方法在适当选取参数时能够以较大精确度实现对网络事件的
本文介绍了IPv4地址的获取方式,分析了IPv6地址的手动配置、无状态自动获取、有状态自动获取三种获取方式,并给出相关网络设备的配置方法,供相关读者参考。
MEMS器件的制作离不开湿法腐蚀技术,湿法腐蚀技术制作成本低廉且工艺简单。本文对硅的氧化、光刻和湿法腐蚀都做了相关的研究,尤其对硅的光刻和湿法腐蚀进行研究,利用三步光刻和四步湿法腐蚀的方法制备硅基MEMS微半球阵列三维结构。设计了独特的光刻步骤和湿法腐蚀实验,对硅基在不同的腐蚀温度和不同的腐蚀时间的腐蚀行为作出相关研究并发现了该腐蚀环境下的削角效应,得到在70℃恒温环境中,25%四甲基氢氧化铵(T
采用无砟轨道结构的客货共线铁路线路,其特点包括货车的车辆轴重大、客车的行驶速度快等。当列车通过时,轮轨系统动力响应与一般客货共线散体道床线路和客运专线无砟轨道线路
散斑干涉技术是结合了现代高科技成果(电子技术、全息技术、激光技术、信息与图像处理技术、视频技术、计算机技术、精密测试技术等)的一种有效的无损全场计量检测技术。
光电混合图像处理是以光学相关与数字图像处理等技术相结合的方式来完成对目标图像的识别,Vander Lugt相关器和联合变换相关器是主要的光电混合相关器,随着电子技术及计算机
微结构光纤(Microstructure Optical Fiber,MOF)是指具有微米或者纳米尺度结构的光纤,一般包括光子晶体光纤(Photonics Crystal fiber,PCF)和其他一些具有特殊结构的光纤,例如柚子型