APP下载

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

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)。

白盒测试是侧重于系统或部件内部工作机制的测试。

黑盒测试是忽略系统或部件的内部工作机制,只集中于响应所选择的输入和执行条件后所产生的输出,用于评价系统或部件与规定的功能需求遵循性的一种测试。

根据在测试过程中是否运行被测软件,白盒测试技术又可以分为两大类:

登录APP查看全文

猜你喜欢

分析
禽大肠杆菌病的分析、诊断和防治
隐蔽失效适航要求符合性验证分析
电力系统不平衡分析
电力系统及其自动化发展趋势分析
经济危机下的均衡与非均衡分析
对计划生育必要性以及其贯彻实施的分析
GB/T 7714-2015 与GB/T 7714-2005对比分析
网购中不良现象分析与应对
中西医结合治疗抑郁症100例分析
伪造有价证券罪立法比较分析