计算机联锁软件模拟自动测试系统的研究与实现

被引量 : 22次 | 上传用户:lummy
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着电子技术和计算机技术以及可靠性和容错理论和技术的迅速提高和发展,计算机联锁系统逐渐取代电气集中联锁系统成为今后车站联锁系统的主要发展方向。因计算机联锁系统是一个实时安全控制和防护系统,所以要求系统具有较高的可靠性、安全性(满足铁路信号系统的故障-安全原则)。联锁软件作为计算机联锁系统中的安全性关键软件,影响到整个系统的可靠性和安全性。因此确保计算机联锁软件出厂测试的质量是保证计算机联锁系统性能的重要一环。 很长时间以来,在车站信号联锁工程中,系统测试都采用人工测试方法。这种方法由于本身存在的缺陷,与计算机联锁技术发展水平越来越不相适应。为了适应计算机联锁系统的发展需要,我们成功开发了一套微机联锁软件模拟自动测试系统。利用这套系统可以进行联锁软件自动测试。采用自动测试代替人工测试能够做到联锁试验的规范化、程序化、简单化,从而提高工作效率、缩短试验时间,并能消除因联锁试验失误带来的事故隐患。 本文对联锁软件自动测试系统进行了阐述,并对其各个组成部分进行了详尽的介绍。 首先,对联锁软件自动测试系统从硬件结构和软件功能模块划分的角度进行阐述,并说明系统所能测试的联锁软件功能。 其次,讨论了微机联锁系统的联锁数据及数据结构,并阐述采用站场型数据结构运用进路搜索法实现联锁表的自动生成。 再次,分析车站信号现场系统,对系统进行建模、并阐述了仿真系统算法及策略,同时说明了仿真软件功能设计。 最后,阐述测试事例的生成和调度,提出用谓词逻辑来描述测试事例生成规则,并采用不考虑联锁软件的编码结构、语句和路径等内部状态,而只考虑联锁软件的输入与输出是否符合要求来构造测试事例,并从软件设计的角度就事例的自动生成及控制进行了讨论。 实践表明,计算机联锁软件模拟自动测试系统,对发现联锁软件缺陷,特别是发现涉及安全性的缺陷,提高联锁软件可靠性和安全性有重要作用。并且它可以大规模的提高测试效率,减少测试工作量;具有可重复性,可精确的再现以前的测试步骤,有利于进行回归测试;可以降低人为的操作失误和对测试人员的技术要求,减少测试成本。
其他文献
根据《魏书》记载,北魏立皇后时要举行一个奇特的仪式,这就是"铸金人"以占卜吉凶。占卜时所铸造的"金人"就是佛像。这一习俗开始于道武帝拓跋=时期,太武帝拓跋焘灭佛后被废除
为加强烟花爆竹产品级别、储运危险级别、危险建筑物危险级别的衔接和统一,依据烟花爆竹运输危险级别的划分方法,探讨了烟花爆竹产品级别、生产和储存危险建筑物的危险级别、
<正>又是一年红叶红,又是一年脐橙香。第四届中国三峡-奉节脐橙文化节将于12月15日至17日举行。在这个千里江岸橙飘香的地方,人们常常遐想,38年前,奉节杜甫草堂果园里一株名
课堂是教学的主要场所,提高课堂教学效率,是我们教师一直追求的目标。本文中笔者结合自己的教学经验主要从与时俱进,融现代教学观念于小学数学课堂教学之中;创设情境,激发学
基于2007—2013年洛阳市入境旅游客源市场相关数据,通过选取主要入境旅游客源国进行亲景度相关计算及时间、空间演变分析,依据其地域分布特征将其归类为欧洲市场、东南亚市场
生命周期评价(Life Cycle Assessment,LCA)是一种对产品、工艺或活动的整个生命周期对环境造成的影响进行定量分析与定性评价的工具。其目的在于评估资源消耗和废物排放对环境
三角代换是初等数学解题中常用的一种技巧,这种技巧常能起到事半功倍的效果。笔者下面通过例题方式把问题化归为三角函数,使问题得以解决。
高速公路是社会经济快速发展的必然产物,它作为公路交通现代化的主要标志,已经成为国民经济和社会发展,以及人们生活中的重要基础设施。在我国,从第一条高速公路沪嘉高速公路于19
<正> (一)马齿苋的功能特性 体外试验表明,马齿苋的有效成分有广谱抗菌作用,特别是对各型痢疾杆菌有抑制和杀灭作用。对百日咳、伤寒、肺结核也有较好的治疗效果,并对某些致
通过干细胞因子 (SCF)、FLT3配基 (FL)联合白介素 (IL) 2 ,7,15等的不同组合体系体外扩增人脐血来源的CIK NK细胞 (CB CIK NK) ,探讨不同培养方式对CB CIK NK细胞诱导、扩增