基于场景的列控车载设备测试用例自动生成方法研究

来源 :北京交通大学 | 被引量 : 17次 | 上传用户:isaxu
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
车载控制系统是CTCS-3级列控系统的核心子系统,车载设备是确保列车安全运行的关键。为了保证车载系统控制功能的正确性,能够严格对列车运行速度实施超速防护,需要验证车载设备功能实现与需求规范的一致性,对车载设备进行测试是确保列车安全运行的基础和关键。测试用例生成是测试的基础,测试用例的设计与生成会对测试效率、测试结果产生很大影响,如何自动产生测试用例,并且能够完备的覆盖系统规范是目前车载系统测试的关键问题。本文针对车载设备传统手工测试用例生成的效率低,耗时长,工作量繁杂,可重用性低等缺陷,在测试用例自动生成方法和测试覆盖准则描述语法的理论研究基础上,提出了一种基于场景的车载设备测试用例自动生成方法,并以车载设备运行模式测试为例验证了该方法的正确性和有效性。首先,依据CTCS-3级列控系统技术规范构造车载子系统模式转换场景树模型,并依据场景分析建立车载系统自动机网络模型。然后,由测试用例自动生成工具CoVer生成全状态覆盖准则、场景变量覆盖准则以及全变迁覆盖准则下的模式转换测试用例,并进行了效率比较。最后,针对车载设备运行模式测试需求,编写运行模式最小重复度选择算法,对自动生成的覆盖场景变量的用例脚本进行优化,降低模式覆盖的冗余度,并开发测试用例格式转换器,将测试脚本转换为C3测试案例的标准格式,并在车载仿真测试平台进行验证。结论证明,基于场景自动生成的测试用例能够覆盖全部车载控车模式,提高了模式测试序列的生成效率,该方法可进一步用于CTCS-3级列控系统的测试,有助于测试自动化的实现。
其他文献
在非营利组织迅猛发展中,其会计监管方面正出现政府监管分散、部分会计监管人员素质较差、内部会计控制制度缺失、缺乏有效的社会监管等一系列的问题,针对非营利组织监管存在
农业预警是农业风险管理的首要环节。目前,对农业进行风险预警主要沿用一般的风险预警方法,多是从某一角度作为切入点进行预警分析,尚未针对农业系统的多因素特点建立基于信
【摘要】近年来,随着我国经济发展水平的进步与提升,城市化发展进程逐步加快,城市的已有建筑已经逐渐呈现出饱和的状态,城市内能够进行开发使用的土地越来越少。为减少用地面积、提高土地利用率,越来越多的高层建筑拔地而起,但与此同时也买下了诸多的安全隐患。在安全疏散这一方面,设计的难度会随着楼层的增高而增大。本文就针对高层建筑安全疏散设计进行了简要的探讨,并从不同的角度入手进行了多方面的分析,旨在为后续安全
该文首次研制了称重式图书防盗综合监测系统,该监测系统以动态称重为前提,同时实现对读者身份的识别,达到读者管理和监测防盗综合进行的目的.该系统自动化水平较高,防盗监测
地铁被视为解决城市通勤问题、缓解道路交通拥堵的有效途径,国内不少大城市正致力于修建地铁系统。但是随着运营里程的增加,地铁系统能耗大的问题逐渐凸显出来,如何降低系统
期刊
在素有“北国江南”之称的吉林市,每年五一前后,只要天气转暖,憋足了劲的杏花就会无遮无拦地恣意绽放了。忽如一夜春风来,千树万树杏花开。白的如雪,粉的如霞,满城都是杏花,
该设计只是针对铁磁材料的一些力学性能的磁法无损检测手段进行探讨,同时研究了铁磁材料的特性及利用这些特性而开发的无损检测新技术——磁弹噪讯技术.该论文首先回顾了铁磁
该论文主要进行中小量程微小位移和尺寸测量的气动传感器的机理研究,气动传感器 静、动态特性研究.作者在该项上前其研究的基础上,进行了大量的理论及实验研究工作并参阅国内
论文分析同轴度的定义,综合现有的同轴度测量方法和测量原理,系统研究准直技术的国内外发展现状,在此基础上提出一种大型机械零部件同轴度的测量方案(针对孔—孔同轴度),该方