计算机联锁软件现场测试方法及实现

概述了计算机联锁软件现场测试的必要性和可行性，介绍了便携式测试仪系统结构框图，阐述了测试仪各软件模块功能、使用及其运行。     

铁路计算机联锁系统仿真测试平台的研究

针对目前计算机联锁系统采用人工测试存在的测试不充分、效率低下等问题,提出一种可进行联锁系统功能自动化测试的仿真测试平台设计方案。该方案通过分析联锁系统的系统结构以及人工测试流程,确定仿真测试平台的设计思路和实现方式,最终实现联锁功能的自动化测试目标。     

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

基于灰箱测试模型,实现非侵入式闭环联锁软件自动测试系统。系统测试分自动和手工两种方式。测试程序软件采用模块化设计。仿真程序界面采用虚拟面板技术,使操作直观、方便、简捷,增强了仿真能力。系统测试基于联锁特征数据,联锁表保证测试的连续进行。实际应用表明,本系统能够发现联锁软件故障,提高测试效率;有利于进行回归测试;可以降低人为的操作失误和对测试人员的技术要求,减少测试成本,满足联锁软件出厂测试和现场测试自动化的需要。     

4495-4499计算机联锁软件现场测试方法及实现

近几年来，随着计算机技术在铁路信号领域的应用日益广泛，用车站计算机联锁设备取代继电器集中联锁设备己成为该领域技术的主流。我国铁路计算机联锁正得到广泛应用，但现场没有任何用于验收和维护计算机联锁软件的手段。尽管软件本身从理论上进不存在磨损、消耗的失效机理，但是在铁路的使用环境下，不能旺明软件不会因特殊干扰而被修改。     

嵌入式联锁软件模拟自动测试平台的研究

为满足联锁软件黑箱测试的要求，对联锁软件安全性需求进行了分级形式化表达，阐述了嵌入式联锁软件模拟自动测试平台的分布式结构模型及其实现方案，最后，给出了自动测试平台得到的联锁软件分类测试结果。     

计算机联锁试验记录分析系统设计与实现

计算机联锁试验记录分析系统运用数据建模、智能分析等技术,将联锁试验办法形成具体可量化的联锁试验判定基础数据模型,并与测试站平面图、联锁表等信息智能结合,形成该测试站的联锁试验判定条件数据,通过对联锁试验过程进行周期数据监控和智能分析比对,解决联锁试验过程中试验项目不全面、试验过程不彻底等具体问题,弥补人为把控联锁试验质量的管理漏洞。     

计算机联锁软件安全性测试评估研究和实践

阐述了铁路计算机联锁软件安全性质量评价的概念．介绍了服务于安全性质量保障的联锁软件测试的原理和所开发研制的通用自动化测试评估平台。文章对8年来利用平台所进行的计算机联锁制式测试、制式复查测试和现场联锁软件抽样测试的结果进行了介绍和分析．从中可以了解软件安全性测试在我国目前计算机联锁软件安全性质量管理中的重要作用。     

基于需求建模的联锁软件自动化测试技术的研究与实现

基于需求的测试是软件测试的本质.通过采用线性关系抽取技术的需求建模方法,设计出一种以需求驱动生成测试用例,并结合相应的软件测试平台,完成其自动执行的测试技术.该技术能够对联锁软件中逻辑关系比较复杂的需求进行整理和化简,并能够以最小数目的测试用例实现最大化功能覆盖率的自动化测试.     

计算机联锁软件基于测试的安全性评价基准研究

计算机联锁是一个典型的安全性苛求系统,它必须考虑许多防范致险因素造成影响的技术需求。同时,对可能引起不安全的各种软件缺陷应有效发现,并对软件的安全性给出公正准确和不引起争议的评价。系统的安全性测试是考察联锁软件安全性功能最周密的技术手段。在前期测试研究工作的基础上,本文系统地论述了基于测试的安全性评价基准问题。文章定义了某些新的概念,如不安全事项、防范致险元集合、扩充防范能力等。对安全性问题的不同分类基准作了形式化的描述。这些论述为进一步发展计算机联锁软件安全性测试及评价,改善计算机联锁质量管理提供了有用的理论依据。文章还对一些联锁软件测试实例进行了分析。     

计算机联锁软件制式的安全性评价

计算机联锁软件是铁路信号计算机控制系统中复杂性最大、安全性要求最高的软件。根据制式测试结果颁发计算机联锁的生产许可证 ,是铁道部有关部门加强计算机联锁质量管理的重要措施。以制式测试为依据对联锁软件的安全性进行的评价 ,能够比较准确地获得软件开发方对于联锁安全性问题的理解和处理能力的完整信息 ,以补充“合格”或“不合格”两个评价结论过于粗略的不足。本文首先根据严重性和诱发可能性为每个安全性问题 (即软件缺陷 )定义了一个安全性指数 ,然后提出针对制式测试的安全性评价指标———联锁软件安全性问题处理完善性 ,用以反映联锁软件的开发水平。这部分包括评价模型和方法 ,特别是对安全性经验关系系统到数值关系系统的映射 ,进行了一致性的证明。文章最后介绍了对某些已经完成制式测试的软件进行安全性问题处理完善性的评价实例 ,并列表给出了结果     

一种高效的计算机联锁软件测试方法

针对联锁软件测试效率低的问题,本文提出一种基于进路控制过程的高效率联锁软件测试方法.功能测试项按照进路选择、进路锁闭、信号开放、进路解锁的过程进行优化组合,每个测试项对应的测试案例按照进路控制过程进行组合,减少重复操作,生成优化的测试序列.通过具体站场的应用,证明该方法可以完全覆盖联锁系统的控制逻辑,保证了测试完备性.同时,测试操作重复度得到降低,测试效率提高约30％,减少了测试成本,缩短了联锁系统软件的测试时间.     

模块化计算机联锁软件设计

为简化联锁软件设计流程,提高设计效率,提出了一种模块化计算机联锁软件设计方法。采用面向对象的思想,将道岔、信号机、轨道区段等设备设计为不同的程序模块,利用多态性和绘制语句等完成联锁软件站场界面的绘制,使用鼠标拖动各设备相应的程序模块完成联锁软件表示层的绘制,生成单链表站场数据结构,并采用递归算法进行进路搜索,完成联锁软件的设计。将文中提出的设计方法与传统的设计方法应用于某车站的联锁软件设计,对比两种方法的设计流程和设计所用时间,所提设计方法总时间节省了约30%,提高了设计效率。     

计算机联锁软件的Z规格说明

计算机联锁软件是一种典型的安全关键软件,具有非常复杂的联锁控制逻辑和以失效安全为核心的安全需求。形式化其安全需求是一件十分必要,也是一件十分艰巨的任务。本文使用形式化规格说明语言———Z语言来描述其安全需求,生成形式化规格说明。形式化规格说明不仅有助于提高计算机联锁软件的质量,而且也有利于将来对它进行更严格的测试。     

基于SCADE的计算机联锁软件开发研究

计算机联锁软件安全性要求高,功能不断扩展,其开发与维护面临的压力日益增大。文章研究高安全性应用程序开发环境（SCADE）及其支持的软件开发过程,依据计算机联锁系统相关技术规范定义的需求规约,尝试利用SCADE进行计算机联锁软件开发。研究实践表明,SCADE是一套较为实用的基于模型的软件工程开发工具,可支持V模型软件开发流程,能够帮助开发人员有效管控软件开发风险,为联锁软件的进一步开发提供参考。     

形式化方法应用于计算机联锁软件的安全验证研究

铁路信号系统中的联锁系统对安全性要求极高,仅通过普通的功能测试无法保障其安全性。采用形式化验证的方式可以验证联锁系统的应用逻辑与安全需求的一致性。将通用安全需求结合具体的站场图进行实例化,得到具体的安全需求后输入带归纳功能的布尔可满足问题（SAT）约束求解器进行验证,通过覆盖所有的实例、所有周期以及每个周期所有的状态空间,保证了验证方法的完备性。     

基于黑箱测试及风险度量的联锁软件安全性评估

根据软件安全性理论及技术的发展，以独立性评估组织为背景，结合铁路信号安全控制及防护系统对软件安全性评估理论及方法的实际需要，研究适合于我国铁路现状的车站计算机联锁软件的安全性评估理论和方法，并加以应用。     

基于计算机联锁仿真软件的铁路信号车间级基础实训室建设方案

针对铁路车站联锁系统缺乏深层次、全方位的综合性实训室的现状,设计了基于计算机联锁仿真软件的铁路信号车间级实训室建设方案。该方案不仅实现了计算机联锁全功能仿真,还搭载信号集中检测仿真软件和室内外设备等模拟设置故障场景,使学员逐步掌握计算机联锁的原理和知识。实践证明,该实训室的建设给现场试验带来了极大的便捷,为计算机联锁设备的现场维护提供了科学合理的手段。     

微机联锁仿真软件的开发与应用

研究联锁仿真软件的开发与应用.详细叙述基于总进路表式的数据结构以及站场形数据结构的软件算法及其实现.讨论联锁仿真软件在列控仿真系统及信号工故障处理培训系统中的应用.     

一种新型计算机联锁道岔控制模块方案研究

介绍了一种基于Arduino的新型铁路信号计算机联锁核心控制模块,用电子电路取代了由安全继电器构成的道岔控制电路。内容包括联锁系统道岔控制总体架构、硬件及软件技术方案3个部分,旨在为铁路信号计算机联锁电子接口领域的研究提供新的思路。     

一种铁路微机联锁进路搜索的实现方法

介绍一种微机联锁进路搜索的实现方法,对不同的信号节点进行分析、定义,给出如何避免往返搜索和防止搜索出错误迂回进路的方法,最后给出完整的程序流程图并对每一步进行详细说明。