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

来源 :北京交通大学 | 被引量 : 17次 | 上传用户:isaxu
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
车载控制系统是CTCS-3级列控系统的核心子系统,车载设备是确保列车安全运行的关键。为了保证车载系统控制功能的正确性,能够严格对列车运行速度实施超速防护,需要验证车载设备功能实现与需求规范的一致性,对车载设备进行测试是确保列车安全运行的基础和关键。测试用例生成是测试的基础,测试用例的设计与生成会对测试效率、测试结果产生很大影响,如何自动产生测试用例,并且能够完备的覆盖系统规范是目前车载系统测试的关键问题。本文针对车载设备传统手工测试用例生成的效率低,耗时长,工作量繁杂,可重用性低等缺陷,在测试用例自动生成方法和测试覆盖准则描述语法的理论研究基础上,提出了一种基于场景的车载设备测试用例自动生成方法,并以车载设备运行模式测试为例验证了该方法的正确性和有效性。首先,依据CTCS-3级列控系统技术规范构造车载子系统模式转换场景树模型,并依据场景分析建立车载系统自动机网络模型。然后,由测试用例自动生成工具CoVer生成全状态覆盖准则、场景变量覆盖准则以及全变迁覆盖准则下的模式转换测试用例,并进行了效率比较。最后,针对车载设备运行模式测试需求,编写运行模式最小重复度选择算法,对自动生成的覆盖场景变量的用例脚本进行优化,降低模式覆盖的冗余度,并开发测试用例格式转换器,将测试脚本转换为C3测试案例的标准格式,并在车载仿真测试平台进行验证。结论证明,基于场景自动生成的测试用例能够覆盖全部车载控车模式,提高了模式测试序列的生成效率,该方法可进一步用于CTCS-3级列控系统的测试,有助于测试自动化的实现。
其他文献
农业预警是农业风险管理的首要环节。目前,对农业进行风险预警主要沿用一般的风险预警方法,多是从某一角度作为切入点进行预警分析,尚未针对农业系统的多因素特点建立基于信
【摘要】近年来,随着我国经济发展水平的进步与提升,城市化发展进程逐步加快,城市的已有建筑已经逐渐呈现出饱和的状态,城市内能够进行开发使用的土地越来越少。为减少用地面积、提高土地利用率,越来越多的高层建筑拔地而起,但与此同时也买下了诸多的安全隐患。在安全疏散这一方面,设计的难度会随着楼层的增高而增大。本文就针对高层建筑安全疏散设计进行了简要的探讨,并从不同的角度入手进行了多方面的分析,旨在为后续安全
地铁被视为解决城市通勤问题、缓解道路交通拥堵的有效途径,国内不少大城市正致力于修建地铁系统。但是随着运营里程的增加,地铁系统能耗大的问题逐渐凸显出来,如何降低系统