基于事件驱动的CBTC关键功能自动化测试研究

来源 :北京交通大学 | 被引量 : 0次 | 上传用户:tangjun6422443
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于通信的列车控制(Communication-Based Train Control,CBTC)系统以“安全”和“高效”的两大特点成为我国城市轨道信号系统的主要制式。CBTC是安全苛求系统,在正式投入运营之前,需要在实验室经过高强度的周期性测试。对安全软件进行全面高效的系统测试,需要搭建CBTC仿真测试系统。CBTC仿真测试系统需要符合实时系统的软件架构,满足软件功能需求,实现各仿真模块的执行逻辑。然而,鉴于自动化水平不高等诸多因素,CBTC仿真测试系统在测试过程中存在测试周期长、测试成本高、测试人员参与度高等问题。本文提出一种基于事件驱动的CBTC自动化测试方法,建立以事件为基本单元的测试模型,通过事件树优化算法获取冗余程度较低的测试序列,来完成对CBTC安全软件的系统测试工作。同时,基于事件驱动模型开发了CBTC自动化测试平台,提高系统测试自动化程度以及测试效率,减少了人工参与所带来的误差。进一步,本文提出了一种量化评估CBTC自动化测试水平的方法,为自动化测试技术的更新迭代提供了依据。本文的主要研究内容如下:(1)基于事件图(Event Graph,EG)构建了CBTC的功能模型,实现了对软件复杂执行逻辑的精准描述,提出了一种事件树优化算法,搜索完整的事件序列,根据事件调度关系降低事件树之间的耦合关系,填充测试数据,生成了高可用性、低冗余度、高覆盖率的可执行测试序列。(2)基于集中管理分散控制的开发理念构建了ASP.NET框架的CBTC自动化测试平台,以测试控制中心为代表的“集中管理”实现对测试流程的管控,以仿真测试环境为代表的“分散控制”实现对测试活动的分布式执行,并引入事件驱动模型,减少了测试环境对硬件设备的依赖程度,降低了测试成本。最终该平台具备了测试序列自动生成、自动执行和测试结果的自动分析的关键功能,有效提升了CBTC实验室测试的效率。(3)为了分析基于事件驱动的CBTC自动化测试平台的测试质量,引入效益评估模型,构建了面向软硬件、开发、执行以及维护的成本和收益等综合量化指标体系,基于投资回报率实现对仿真自动化测试、数据自动化测试以及事件自动化测试的量化分析。结果表明,随着测试执行次数的增加,基于事件驱动的自动化测试平台具有更高的测试效率,更强的灵活配置能力和更低的投入成本。图51幅,表17个,参考文献77篇。
其他文献
本文将高光谱显微成像系统与生成对抗网络(Generative Adversarial Network,GAN)分类算法相结合,提出了一种新的针对多种类荧光分子样本制备结果的检测方式。和传统的紫外线激发成像相比,本文提出的算法弥补了紫外线激发成像难以把控细节、需要较多专家知识等不足,提高了对多种类荧光分子制备结果评判的效率和准确度。本文首先搭建了显微高光谱系统对多种类荧光分子进行数据采集,并对数据进
如今,随着电子商务的快速发展,线上销售渠道日渐重要,越来越多的企业致力于线上线下双渠道运营以满足消费者多元化的需求,获取更大的收益。双渠道供应链较传统供应链结构更加复杂,供应链成员间既有合作又有竞争,加大了供应链管理的难度。本文以双渠道供应链为研究对象,探讨不同情形下供应链成员的最优库存策略。首先,本文对双渠道供应链、传统库存管理理论以及多Agent技术研究现状进行归纳总结。其次,本文使用多Age
近年来北京城市规模不断发展扩大,机动车保有量不断上升,截至2020年北京市机动车保有量达到约657万辆,庞大的机动车保有量对北京目前的交通网络容量产生了巨大压力,城市交通拥堵与碳排放环境问题接踵而至。而这些问题以北京CBD等核心商务区尤为明显。解决该问题需要引导出行者更多的从小汽车出行向公共交通转移,定制公交作为一种全新的公共交通服务,以其舒适性强、线路灵活、经停站点少和需求响应快等特点成为公共交
采购作为完成企业生产经营目标的重要环节,对于提高最终产品的质量,降低单位成本,提高企业核心竞争力具有不可低估的作用。近年来,逆向拍卖作为一种有效的采购方式,正在被越来越多企业所采用。据Free Markets公司统计,公司采用逆向拍卖采购方法,可节省采购成本最低2%,最高可达25%,平均10%左右。企业通过逆向拍卖的方式采购商品或服务虽有着诸多优点,但同时也面临着供应商共谋的风险。供应商之间的共谋
随着互联网以及共享经济的发展,人们的生活方式更加多样化。在出行领域中,共享单车成为城市中众多人选择的交通工具。国内共享单车市场竞争的上半场已经结束,目前来到了一个三足鼎立的局面,这对业务的精细化运营提出了更高的要求。精细化运营离不开对业务数据进行分析,以数据作为决策的依据。在调研了业务整体背景并进行需求分析后,论文基于目前通用的大数据解决方案设计和实现了共享单车数据分析平台,完成了平台进行数据收集
深度卷积神经网络以其出色的非线性表达能力和特征提取能力在图像识别领域取得了惊人的成就。基于深度卷积神经网络的目标检测算法领域也出现了许多杰出工作,区域建议网络加持下的Faster R-CNN便是代表作之一,其检测精度高,特别适用于检测小目标,但是计算量高的缺点却限制了其在移动端或嵌入式设备上的部署。本文首先对Faster R-CNN模型的结构和参数量计算量进行了详细分析,然后分模块多阶段的对模型参
随着我国政策的不断开放,社会经济的不断提高,教育信息化已经成为支撑国内高校教学研究、科研建设和管理工作的关键节点。高等院校作为前沿技术落地的最佳载体之一,纷纷开始探索信息化技术在校园各业务领域中的实际应用。其中学生管理工作作为高校管理工作中的一项中心任务,设计和实现简单易用、流程清晰化、功能多样化的学生工作管理平台的任务尤为重要,项目的实现将会提高学生管理业务准确性,节约管理工作成本,完善学校信息
我国已运营的公路路基病害呈现种类多样与数量多发的增长型趋势,路基病害导致的道路安全事故发生越来越频繁。查明路基隐伏病害的位置、形态和发育程度并针对性处理,对运营期公路的安全运营和养护具有重要意义。目前地质雷达等无损检测方法越来越多的应用于路基病害的检测。但随着检测图像数据量的日渐增加,以主观经验判断为主的人工数据处理和解译方法已难以满足路基工程养护作业量日益增长和对灾害精确快速识别的需求。本文从运
随着大量直流负载及分布式模块接入电网,多模块及设备之间的相互作用容易导致电力系统稳定性及动态性能的降低,甚至造成系统失稳。直流电网的谐振与不稳定问题可以归纳为:供电系统与电网负载的阻抗参数不匹配。传统的阻抗扫频装置测量范围较窄,仅能满足一定中低频率小范围下的检测需求,在实际高频信号的检测环节具有一定的局限性。基于此,本文设计了一款高精度、多模式、宽范围的阻抗扫频装置,用来满足阻抗检测的实际需求。本
随着国家加大对新型基础设施投资的增大以及相关政策的发展,EPC项目越来越多,这种模式之下总承包方要承担相对较大的风险和责任,尤其是对于发展起步较晚的我国,EPC模式的管理还存在着很大的缺陷和不足,相较于发展很成熟发达国家我们还存在着很大的差距,所以EPC模式下的风险管理会变的日趋重要。采购工作对于工程管理而言,无论在成本控制、质量控制或是在进度控制方面,都体现着举足轻重的作用。本次研究将以G工程项