数据静态分析技术及其在安全软件测试中的应用

对于列车运行控制系统中运行的安全软件,其安全性由软件代码和配置数据两部分共同保证.但是,对于配置数据的常见错误模式,特别是多余数据,单纯依靠传统的黑盒测试技术无法做到全面、快速的检出.介绍将面向软件代码的白盒测试技术中的静态分析技术引入数据测试的可行性,以及静态分析技术在安全软件数据测试中的典型应用场景,并分析这种技术...     

计算机联锁软件测试评估

作者阐述了软件安全性及软件安全性完善度等级的基本概念。     

面向列控系统安全软件黑盒测试的 危险分析方法

针对高速铁路列控系统安全软件黑盒测试中对危险事件的可测性、全面性和优先性的需求,研究能够生成有效危险事件测试集的危险分析方法。根据列控系统接口交互信息的类型及特点,改进HAZOP的引导词及节点参数并进行接口危险辨识;然后利用风险矩阵评估接口危险事件的风险等级,提出面向安全软件黑盒测试的接口危险分析方法—HAZOP-I;将该方法应用到CTCS-3级列车运行控制系统运行场景中。研究结果表明:该方法能够为列控系统安全软件黑盒测试提供满足需求的危险事件测试集。     

安全软件变更的测试范围界定

安全软件的维护工作与最初的开发同等重要。进行安全软件维护时,对安全软件变更相关的测试范围的界定,是安全软件维护工作的重点之一。     

基于SCADE的测速定位系统模型设计

针对列车测速定位系统的精度和可靠性直接影响着列车运行安全和效率的问题，提出了基于SCADE的测速定位系统模型设计，介绍SCADE需求建模以及模型验证方法，分析了一种测速定位模型；在SCADE平台上建立了测速定位系统的模型，通过仿真与验证，证明模型完全满足测速定位的系统需求与安全性。     

计算机联锁安全软件测试评估平台的静态数据交换策略

介绍了计算机联锁安全软件测试平台的研制背景、结构及信息交换的方式,着重讨论了平台静态数据特征,然后给出了平台上的客户端／服务器型数据库模型,最后论述了关系型数据库中数据的安全和完整性,并结合具体平台的需求,详细说明了平台静态数据的生成校验过程与查询的方式。     

安全通信与安全通信标准EN50159简

EN50159是欧洲铁路通信信号领域信息传输系统中安全通信标准.对安全通信基本知识进行一般介绍,对最新版本EN50159：2010标准内容进行简单解读,并结合自身实践,对安全通信协议软件开发相关经验要点进行介绍.     

一种微机联锁安全软件的强韧数据结构

基于微机联锁安全软件中描述车站拓扑结构布置图的四叉双向链表数据结构 ，提出一种称为ＲＤＳ结构的强韧存储结构。理论上证明了ＲＤＳ是２－可测、１－可纠的。最后，给出了ＲＤＳ结构的插入，删除算法。