论文部分内容阅读
随着电子技术和计算机技术以及可靠性和容错理论和技术的迅速提高和发展,计算机联锁系统逐渐取代电气集中联锁系统成为今后车站联锁系统的主要发展方向。因计算机联锁系统是一个实时安全控制和防护系统,所以要求系统具有较高的可靠性、安全性(满足铁路信号系统的故障-安全原则)。联锁软件作为计算机联锁系统中的安全性关键软件,影响到整个系统的可靠性和安全性。因此确保计算机联锁软件出厂测试的质量是保证计算机联锁系统性能的重要一环。 很长时间以来,在车站信号联锁工程中,系统测试都采用人工测试方法。这种方法由于本身存在的缺陷,与计算机联锁技术发展水平越来越不相适应。为了适应计算机联锁系统的发展需要,我们成功开发了一套微机联锁软件模拟自动测试系统。利用这套系统可以进行联锁软件自动测试。采用自动测试代替人工测试能够做到联锁试验的规范化、程序化、简单化,从而提高工作效率、缩短试验时间,并能消除因联锁试验失误带来的事故隐患。 本文对联锁软件自动测试系统进行了阐述,并对其各个组成部分进行了详尽的介绍。 首先,对联锁软件自动测试系统从硬件结构和软件功能模块划分的角度进行阐述,并说明系统所能测试的联锁软件功能。 其次,讨论了微机联锁系统的联锁数据及数据结构,并阐述采用站场型数据结构运用进路搜索法实现联锁表的自动生成。 再次,分析车站信号现场系统,对系统进行建模、并阐述了仿真系统算法及策略,同时说明了仿真软件功能设计。 最后,阐述测试事例的生成和调度,提出用谓词逻辑来描述测试事例生成规则,并采用不考虑联锁软件的编码结构、语句和路径等内部状态,而只考虑联锁软件的输入与输出是否符合要求来构造测试事例,并从软件设计的角度就事例的自动生成及控制进行了讨论。 实践表明,计算机联锁软件模拟自动测试系统,对发现联锁软件缺陷,特别是发现涉及安全性的缺陷,提高联锁软件可靠性和安全性有重要作用。并且它可以大规模的提高测试效率,减少测试工作量;具有可重复性,可精确的再现以前的测试步骤,有利于进行回归测试;可以降低人为的操作失误和对测试人员的技术要求,减少测试成本。