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

• 作者: 孙志科
• 来源期刊: 铁路通信信号工程技术
• 关键词: 白盒测试 黑盒测试 静态分析 铁路信号 安全软件 多余数据
• 年，卷（期）: 2021,（5）
• 所属期刊栏目: 信号技术|Signalling Technology
• 页码范围: 9-14,32
• 页数: 7页
• 分类号: U284.48
• 语种: 中文
• DOI: 10.3969/j.issn.1673-4440.2021.05.002

摘要

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