Abstract: For the safety software running in the train operation control system, its safety is guaranteed by both software code and configuration data. However, the common error patterns of configuration data, especially redundant data, cannot be detected comprehensively and quickly by simply relying on traditional black box testing technology. This paper introduces the feasibility of introducing static analysis technology of white box testing technology for software code into data testing, and the typical application scenarios of static analysis technology in safety software data testing, and analyzes the advantages and disadvantages of this technology.

Key words: white box testing, black box testing, static analysis, railway signaling, safety software, redundant data

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

关键词: 白盒测试, 黑盒测试, 静态分析, 铁路信号, 安全软件, 多余数据