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