基于数据驱动的FAO系统测试方法研究

来源 :北京交通大学 | 被引量 : 9次 | 上传用户:lvshuijing
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
近年来,随着城市轨道交通事业飞速发展,全自动驾驶系统(Fully Automatic Operation,FAO)凭借其高度自动化的控制方式应运而生。其驾驶模式是将列车司机所需要完成的工作完全交由高度集中的信号系统来完成,相较于传统CBTC系统,其需要更高的安全性和可靠性。目前,测试是确保系统功能正确性的重要手段,其目的在于验证系统实现的功能能否满足自身的需求规范。针对FAO系统,为了保证其的高可靠性和高安全性,亟需寻求一种高效、完备的测试方法。当今传统的CBTC系统测试方法主要采用基于仿真的测试方法,该方法的测试流程是先搭建仿真测试平台,该平台需要包含与被测对象有接口的所有系统,再依据测试目标及规范编写测试用例,最后操作仿真测试平台执行测试用例。该方法的关键点在于仿真测试平台的搭建,即仿真测试平台的搭建成功与否直接影响测试结果。然而针对FAO这类如此复杂的大系统,仿真测试平台的搭建是个耗时耗力的冗长过程,再者,现今对于仿真测试平台没有一套成熟的评估体系,由它得出的测试结果没有成文的理论依据,因此,该方法存在一定的安全隐患。本文对FAO系统进行了详细分析,将基于数据驱动的测试方法引入了FAO系统测试,该方法的关键点在于测试用例的生成,相较于传统测试方法,该方法简化了测试平台的搭建环节,也提高了测试有效性和完备性。该方法主要包括:(1)运营场景分析与描述:在对被测对象详细分析的基础上,对运营场景进行分析,建立运营场景时序图,便于场景管理和后续的建模;(2)系统行为建模与模型验证:以运营场景分析为基础,利用时间自动机建立研究对象行为模型;并运用基于VV&A的模型验证方法对时间自动机模型进行验证,以保证模型的正确性;(3)测试用例生成及测试用例序列化:依据系统需求和测试目的,编写observer测试覆盖准则算法,运用CoVer工具对研究对象进行特定测试目标的测试用例文件生成。最后,运用深度优先搜索算法将测试用例序列化;(4)搭建测试平台:搭建基于数据驱动的FAO系统测试平台,并将其用于验证测试用例的有效性和测试方法的可行性。依据上述步骤,本文设计并实现了基于数据驱动的FAO系统测试方法,并将该方法用于休眠唤醒场景,结果证明该方法可行,满足了FAO系统的测试要求。最后,分析了本文不足和需要改进之处,并讨论了本工作的下一步研究方向。
其他文献
乘务轮班计划是城市轨道交通运营组织的重要组成部分,是实现列车运行计划的最后关键步骤。乘务轮班计划是以乘务排班计划为基础,安排司机一段时间内值乘的工作方案。目前我国
In order to overcome the disadvantages of diagonal connection structures that are complex and for which it is difficult to derive the discriminant of the airflo
传统意义上的维修是依靠个人的技巧进行拆装检修等操作,特别是在进行复杂设备维修的时候,对维修操作人员的技术要求很高。若是重要设备或危险设备出现较为严重的故障,如果维
随着激光技术和光通信技术的飞速发展,作为光谱和空间角度滤波器件的衍射光学元件的需求量不断增加。目前,高功率激光系统的研究对于具有高破坏阈值的光学元件有着很大的需求
随着我国经济的突飞猛进,车辆的使用已经越来越普遍,公路路面的质量面临严峻的考验。而在智能交通系统中,路面检测技术的应用成为公路管理的一个重要方面。本文是针对高速公
目的 探讨miR-222-5p在人根尖乳头干细胞(SCAP)成骨/成牙本质向分化中的作用.方法 选取芯片研究中差异表达的miRNAs 19个,采用qPCR验证SCAP成骨/成牙本质分化中以上miRNAs的
长期以来,传统的线性经济系统由于行为主体的缺失导致了经济活动“大量开采、大量生产、大量消费、大量废弃”的现象,自然资源被大量地消耗、生态环境遭到极大破坏。随着资源
计算机联锁系统作为保障站内行车安全、提高运输效率的关键设备,经过长期发展已经日臻成熟。但是,存在轨旁设备数量多、工程施工量大、改造成本高等缺点。随着无线通信、计算