基于UML状态图的列控中心轨道电路编码功能测试用例生成方法研究

来源 :西南交通大学 | 被引量 : 0次 | 上传用户:clhhjq
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着我国高速铁路自动化水平的提高,列控系统成为保障列车安全运行的关键系统。列控中心作为列控系统重要的地面子系统,为列车提供重要的行车控制信息,是高安全性、高可靠性的安全苛求系统。为了保证列控中心能够可靠地工作,必须对列控中心软件进行严格的功能测试,这意味着测试过程中须执行大量的测试用例。测试用例的质量对测试效果至关重要,当前测试用例生成方法大体分为人工设计和软件自动生成两种。轨道电路编码是列控中心主要功能之一,该功能逻辑复杂,人工设计测试用例的方式存在诸多不足,因此有必要研究轨道电路编码功能的自动化测试用例生成方法从而为列控中心自动化测试打下坚实基础。本文首先对列控中心的功能和结构进行了概述。详细介绍了列控中心轨道电路编码的基本原理。同时还介绍了 UML状态图的特点以及本文对使用UML状态图的约束,进而提出适用于轨道电路编码功能的UML状态图建模方法及测试用例生成方法。其次,本文详细分析了站内和区间轨道电路编码功能的特点,明确了该功能所涉及的建模对象,并且提出了轨道电路编码模型的复用方法。在此基础上从站内进路或区间线路以及他们的相关轨道区段两个层次建立轨道电路编码功能模型。为了根据模型自动产生测试用例,本文采用图覆盖与组合覆盖结合的方式产生测试用例的输入信息,即利用基于主路径覆盖准则的算法生成测试路径,之后再通过组合测试工具ACTS对测试路径中的变量进行组合覆盖。在产生测试用例的输入信息后,利用Antlr文法分析器对模型的转移条件进行分析并结合UML状态图的状态转移机制推算出测试用例的输出信息,从而实现基于UML状态图测试用例的自动生成。最后,本文设计并实现了测试用例自动生成工具。该工具可以根据轨道电路编码模型自动产生测试用例,为进一步研究列控系统自动化测试平台打下基础。
其他文献
地铁用嵌入式轨道具有减振降噪、降低磨耗等优点,其应用前景非常宽广。在桥上铺设地铁用嵌入式轨道无缝线路能够提高地铁运营的平稳性,减少维修工作量,延长桥梁结构的寿命。
由于我国机采井系统效率较低,在进行油田开采的时候出现较高的能耗浪费,不仅增加了生产成本,也阻碍了油田开采工作的顺利进行.就目前来看,机采井系统效率的影响因素较多且复
当前热拌沥青混合料(HMA,HotMixAsphalt)由于性能优异,仍是高速公路沥青路面的主要铺装材料,但是在其施工过程中产生的沥青烟雾不仅对周遭环境造成破坏,同时会对施工人员的生命安
基于视频的烟雾识别技术是传统森林火灾检测系统中的一个重大突破,本文通过对国内外烟雾检测算法的现状进行分析,设计了一种结合运动目标检测、检测区域特征提取和利用分类器
针对皮带使用过程中出现的磨损、刮伤、断裂等故障,分析了接头硫化工作原理、接头质量主要影响因素以及皮带硫化工艺过程,制定了皮带更换的安全保障措施,并以1200ST2000型皮
随着我国经济快速发展以及产业结构的调整,市场经济结构逐渐完善,我国货物运输市场也发生了重大变化。传统的大宗货物品类在铁路运输市场占有份额中逐渐饱和,而以批量小、价
针对当前我国农村电子商务实践中所遇到的销售、物流等问题,根据当前农村地区最大群体——中小农户的实际情况,提出构建社交媒体、电商平台与线下营销手段三位一体优势互补的
癌症是威胁人体健康的主要疾病之一。传统的治疗方法如手术切除、化疗等副作用大,治疗效果不理想,因此很有必要发展新型的治疗方法。基于金纳米棒的激光高热疗法具有相对温和、
从发达国家经济起飞的经验看,高科技企业成长是一国提升经济竞争力的重要因素之一.硅谷作为培育高科技企业发展的先驱和典范,良好的融资创新环境,以及与之相适应的分阶段融资
随着科学技术的发展,特别是计算机技术的突飞猛进,使得计算机视觉的发展成为了可能。目标跟踪是计算机视觉领域中的热点问题,它广泛应用于视频监控、智能交通、机器人视觉导