基于进路控制过程的联锁软件高效率测试方法研究

被引量 : 13次 | 上传用户:gratify
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
计算机联锁系统是铁路信号的核心设备之一,在规定的联锁条件和规定的时序下对站内信号设备(道岔、信号机、进路)实行控制,实现联锁功能,保证列车安全高效运营。根据铁道部颁布的计算机联锁技术条件,联锁系统应能满足各种车站(场)规模和运输作业的需要,保证行车安全,提高运输效率。对于这样一个高可靠性、高安全性、高稳定性且规模较大、对实时逻辑要求严格的安全苛求系统,投入使用之前对其进行全面严格的测试是非常必要的。软件测试一般要占软件整个开发过程40%以上的时间,对于计算机联锁系统这样复杂的安全苛求系统,测试工作量巨大,测试占用的时间更多、效率更低。目前计算机联锁软件测试主要采用手工方法,由富有经验的工程师根据联锁表及测试需求编写并执行测试用例,以上方法虽然能达到测试目的,但测试重复度高,测试效率低。针对该问题,本文提出了基于进路控制过程的联锁软件测试用例自动生成算法,在保证测试完备的基础上提高测试效率,主要内容包括:(1)全面分析了软件测试的方法及现状,由此引入联锁软件测试现状。详细阐述了联锁系统的结构及功能,分析了进路控制过程的状态变化,明确了联锁软件测试需求,在此基础上,深入剖析了已有测试方法在测试效率上的不足,提出了一种基于进路控制过程应用组合测试技术的高效率联锁软件测试方法。(2)分析比较了组合测试各个经典算法的优劣,确定应用网络组合算法生成联锁软件高覆盖率的测试用例,然后结合进路建立到解锁的控制过程执行测试用例,将联锁功能测试项按进路选择、进路锁闭、信号开放、信号开放保持以及进路解锁的过程进行优化组合,最大程度地减少传统联锁测试中存在的重复操作,生成优化的测试序列,在保证测试充分性的基础上降低测试冗余。(3)给出了联锁软件测试程序的实现算法及流程,并结合具体站场对该测试方法进行应用验证,结果表明本文提出的测试方法不仅能够覆盖联锁软件的测试需求,而且使测试重复度减少约33%,高效性及充分性得到验证。本文的研究结果表明,基于进路控制过程的组合测试方法能够充分和快速的对联锁软件进行全功能测试,能够在保证测试充分性的基础上降低测试重复度,该方法对提高联锁软件测试效率具有重要的积极意义。
其他文献
随着经济的快速发展以及人口的不断增长,出现了所谓的“夹心层”群体,如何保证“夹心层”群体的住房需求是保障人民基本住宅权的重要内容。在此背景下,我国开始探索公共租赁住房
针对Haar特征的连续Adaboost算法在人脸检测中的应用,本文分析了Haar特征选取的方法以及级联分类器的准则,证明了连续Adaboost算法中的阈值与训练误差之间的关系。针对连续Ad
溶解态磷是水体磷循环的重要组成部分,它在磷循环过程中的地位和作用及其在水体富营养化过程中作用机制一直是人们关注的焦点。溶解态磷从化学组成上可分为溶解无机磷(DIP)和
<正>创始阶段不妨按照415规则施行——企业创始阶段原则上创始股东不超过4人、1个控股大股东持有50%以上股权。创始股东过多,利益和沟通成本太高,也不利于后续投资资金的进入
瓦斯是影响矿井安全生产重大灾害之一。亭南煤矿是高瓦斯矿井,论文针对该矿高瓦斯煤层进行瓦斯治理,通过理论分析、数值模拟以及现场试验,提出关于亭南煤矿204工作面瓦斯治理
国耻教育是中国共产党思想政治教育工作的重要组成部分。建国后中国共产党国耻教育在培养广大民众忧患意识与危机意识方面起到了积极作用,尤其是在全球化不断推进的今天,国耻教
<正>一、我国P2P行业发展现状(一)P2P行业发展水平与现状1.P2P平台数量增长迅猛近几年,P2P网贷平台数量呈现出高速增长的态势,年均增幅接近200%(见表1)。形成这一态势的原因:
<正>绩效面谈,看似简单,实则不简单。短则几分钟,长则一小时,却关系到绩效管理的成与败。绩效面谈是绩效管理中至关重要的环节,可以说它关乎着考核的成败。但是,在我实际接触
<正>2014年11月6日,金融稳定理事会(FSB)发布新一轮全球系统重要性银行(G-SIBs)名单,国内工、农、中行入选。其中中国银行已连续四年入选。按照监管要求,G-SIBs需制定恢复与
<正>一种货币国际化的过程就是该货币成为国际贸易的结算货币、国际市场的交易货币和国际资产的储备货币的过程。2009年4月,我国政府推出跨境贸易人民币结算试点,正式启动了