【摘 要】
：
软件测试是保证软件质量的关键步骤.测试有效性取决于测试数据的正确性.本文以铁路车站计算机联锁软件测试评估平台的优化为背景,研究了站场图逻辑语义解析及基本联锁数据生
论文部分内容阅读
软件测试是保证软件质量的关键步骤.测试有效性取决于测试数据的正确性.本文以铁路车站计算机联锁软件测试评估平台的优化为背景,研究了站场图逻辑语义解析及基本联锁数据生成算法,并应用到平台子系统站场CAD拼贴及数据校验中,以确保此子系统生成的测试数据正确、充分.论文介绍了拼贴站场图的单元图库、站场图结构,定义了站场图逻辑语义,阐述了站场图构成规则的知识表示及规则库的建立,提出了运用规则库进行逻辑语义解析的算法.论文对进路搜索算法也有详细的论述.逻辑语义解析过程中,输出站场图中的错误类别及其位置信息,提示修改.文中介绍了站场CAD拼贴及数据校验子系统的程序设计、功能实现,并详细阐述了其中站场图逻辑语义解析及基本联锁数据生成的程序实现.
其他文献
双离合器式自动变速器(Dual Clutch Transmission,简称DCT)是一种新型的自动变速器,它结合了液力机械式自动变速器和电控机械式自动变速器两者的优点。在双离合器式自动变速
本文在查阅了大量国内外相关文献的基础上,综述了电弧炉炼钢的工艺、设备以及发展历史、研究现状和今后的发展趋势.以洛阳中信重工有限公司75吨电弧炉为背景,对电弧炉能量输
随着计算机网络技术的广泛应用,对控制系统理论和应用也带来了新的机遇和挑战,同时也带来了新的研究机遇和发展空间。网络控制系统就是在这种环境下而出现的。在这样的控制系
目前电表的防窃电技术还比较落后,虽然针对窃电开发了防窃电电表,在一定程度上遏制了窃电的发生,但这只起到了保护作用,不能有效地打击窃电人员。本文设计的远程图像无线传输
现代语音通信系统往往无法工作在理想环境下，相反其使用过程中总是伴有噪声的干扰。语音增强算法能在某种程度上减轻或者抑制背景噪声，它是使工作在非理想环境中的通信系统获得
面对环境污染、能源紧缺和节能减排等日益严峻的社会形势,各国政府在改进传统内燃机性能的同时,也在大力发展新能源汽车。作为新生代电机,开关磁阻电机(Switched Reluctance
随着用电设备的增加,电网中的无功功率在不断加大,大量的无功功率降低了发电设备和输电设备的效率,同时无功引起的波形畸变严重威胁了设备的安全。无功功率补偿装置具有补偿
气动调节阀由阀门定位器、气动执行机构和调节阀组成,是过程控制系统的重要设备之一,以其控制简单、反应快速,且本质安全,不需另外再采取防爆措施等优点,广泛应用于石油、化
随着机器人系统在加工制造领域的广泛应用,对其运动精度的要求也在逐步提高。传统的机器人控制器一般以减小跟踪误差为控制目标,即减小实际运动点到期望运动点的距离。但是在
近年来，随着科学技术的进步、社会经济的发展以及市场的全球化，钢铁企业面临的市场竞争环境发生了巨大的改变，动态性和不确定性因素迅速增加，传统的生产管理方式已经很难适应这种