【摘 要】
：
该文研究了面向软件测试的环境仿真系统及其在铁路信号安全软件测试评估中的应用.该文在铁路信号安全软件测试评估的研究背景下,深入探讨了面向软件测试的仿真环境系统的实现
论文部分内容阅读
该文研究了面向软件测试的环境仿真系统及其在铁路信号安全软件测试评估中的应用.该文在铁路信号安全软件测试评估的研究背景下,深入探讨了面向软件测试的仿真环境系统的实现技术和实现方法.论文重点研究了实现这样的仿真环境所采用的仿真技术,包括面向对象技术、图解建模技术、离散事件管理策略及嵌入故障技术等等,并在一定程度上对形式化图形建模,组合事件及合并事件法,故障注入应用于软件测试等相关理论进行了扩展.作为实际应用研究,文中介绍了铁路信号微机联锁安全软件测试评估平台的整体框架,并详细阐述了其中现场环境仿真器的实现.在论文最后部分,作者分析了现阶段研究成果的不足之处和今后的研究方向.
其他文献
[本刊讯]由广东建工集团所属广东建科院自主研发的 5G智能检测车,日前正式投入使用.广东建科院是国内首家拥有建设领域5G智能检测技术,并将其推向市场的建筑科技企业.
20世纪80年代末，随着计算机的发展，出现了DOS版的道路设计软件。可以通过编辑DAT文件来确定设计参数，如路幅宽度、边坡坡率等等，准确性及方便性得到提高。20世纪90年代末，出现了一
本文研究船舶交通服务系统中的船舶动态监测技术。论文分为三个部分： 第一部分着重研究提高雷达方位分辨率的问题。提出了一种新的基于神经网络的雷达信号解卷积处理方法，证
该文在吸取国内外相关城市经验的基础上,对新建城市(区)路网规划的理论框架和实用方法进行了探讨,对于中国众多基础交通资料不具备的新城区,有着重要的实用价值.
20世纪70年代，西方发达国家将项目后评价应用于交通基础建设领域。我国高速公路建设项目后评价始于20世纪80年代，但相对独立的后评价机构和体制尚未形成，后评价内容和方法需要进
随着世界能源危机的发生,节约能源成为各国日益关注的问题.人们不断进行汽车节油试验研究,推广节油措施,研制节油产品,磁化节油器便是其中的主要产品之一.特别是最近几年,国
在全面建设小康社会和振兴东北老工业基地政策新形势，以及现代物流飞速发展、信息技术广泛应用、智能运输系统成为未来交通发展目标的技术背景，面对哈尔滨市的经济近几年实现了
随着带式输送机和煤矿生产技术的发展,长距离、大运量、大功率和高带速的带式输送机越来越多用于煤矿生产,输送机制动性能好坏直接影响着制动安全和可靠性。盘式制动器制动失
本文简要地阐述了国内外RBN／DGPS的发展概况，以及我国RBN／DGPS系统组成。对RBN／DGPS基准站的伪距改正量(ΔR)、伪距改正量变化率(ΔR)及其残差、以及基准站的位置残差，进行了大量
保障道路旅客运输安全是预防重、特大道路交通事故的关键。客运安全管理体系是将长途客运系统中有限的资源进行合理地组织，有效地运用，以实现预防客运事故、保障客运安全等目标