数据静态分析技术及其在安全软件测试中的应用
2021-05-27孙志科
铁路通信信号工程技术 2021年5期
关键词:分析
孙志科
(北京全路通信信号研究设计院集团有限公司,北京 100070)
1 概述
对于应用在列车运行控制系统中的铁路信号安全软件(以下简称安全软件)来说,除了软件逻辑以外,工程数据的质量同样直接影响着系统的安全性和可用性。特别是在高密度、高速度的干线铁路及大型枢纽中,即使是单个信号系统的某一个数据错误,其影响范围也会随着时间的推移而迅速扩大,给铁路运输秩序带来严重的影响。
2 常见的数据错误模式
在构成列车运行控制系统的各类安全软件制作过程中,常见的数据错误模式及其典型特征如表1所示。

表1 安全软件常见数据错误模式及其典型特征Tab.1 Common data error patterns and their typical characteristics of safety software
为保证交付给用户的列车运行控制系统的功能、性能及安全性符合要求,必须采用适当的方法,在安全软件发布前将各类错误数据全部检出并修正。特别是各类多余数据,一旦在安全关键数据中出现,有可能对铁路运输安全造成极大威胁。
3 常用软件测试技术
根据测试对象是否包含软件内部的逻辑结构和工作机制,软件测试技术可以分为两大类:白盒测试(White-box Testing)、黑盒测试(Black-box Testing)。
白盒测试是侧重于系统或部件内部工作机制的测试。
黑盒测试是忽略系统或部件的内部工作机制,只集中于响应所选择的输入和执行条件后所产生的输出,用于评价系统或部件与规定的功能需求遵循性的一种测试。
根据在测试过程中是否运行被测软件,白盒测试技术又可以分为两大类:……p>
登录APP查看全文
