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

doi:10.3969/j.issn.1673-4440.2021.05.002

铁路通信信号工程技术 ›› 2021, Vol. 18 ›› Issue (5): 9-14,32.DOI: 10.3969/j.issn.1673-4440.2021.05.002

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

孙志科

北京全路通信信号研究设计院集团有限公司，北京 100070

收稿日期:2020-10-28 修回日期:2021-03-24 出版日期:2021-05-25 发布日期:2021-08-13
基金资助:
北京全路通信信号研究设计院集团有限公司科研项目（2300-K1190017）

Data Static Analysis Technology and Its Application in Safety Software Testing

Sun Zhike

CRSC Research & Design Institute Group Co., Ltd., Beijing 100070, China

Received:2020-10-28 Revised:2021-03-24 Online:2021-05-25 Published:2021-08-13

摘要/Abstract

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

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

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

中图分类号:

U284.48

孙志科. 数据静态分析技术及其在安全软件测试中的应用[J]. 铁路通信信号工程技术, 2021, 18(5): 9-14,32.

Sun Zhike. Data Static Analysis Technology and Its Application in Safety Software Testing[J]. Railway Signalling & Communication Engineering, 2021, 18(5): 9-14,32.

图/表 3

参考文献

[1]中华人民共和国国家质量监督检验检疫总局,中国国家标准化管理委员会.GB/T 11457—2006信息技术软件工程术语[S].北京:中国标准出版社，2006.
[2]中华人民共和国国家质量监督检验检疫总局，中国国家标准化管理委员会.GB/T 15532-2008 计算机软件测试规范[S].北京：中国标准出版社，2008.
[3]宋西欣，郁文斌.铁路信号产品自动化测试探讨[J].铁路通信信号工程技术，2020，17(9):94-100.
Song Xixin, Yu Wenbin. Discussion on Automatic Tests of Railway Signal Products[J]. Railway Signalling & Communication Engineering, 2020, 17(9): 94-100.
[4]崔岩.规则引擎在列控产品配置数据验证中的应用[J].铁路通信信号工程技术，2020，17(7):29-34.
Cui Yan. Application of Rule Engine in Configuration Data Verification of Train Control Products[J]. Railway Signalling & Communication Engineering, 2020, 17(7): 29-34.
[5]王丛稳.CBTC系统ZC产品工程数据校核研究[J].铁路通信信号工程技术，2020，17(3):92-95.
Wang Congwen. Study on Engineering Data Check of ZC Products of CBTC System[J].Railway Signalling & Communication Engineering, 2020, 17(3): 92-95.
[6]周培.基于LDRA Testbed的民用机载软件静态测试方法[J].计算机测量与控制，2019，27(7):107-110.
Zhou Pei. Civil Airborne Software Static Testing Method Based on LDRA Testbed[J]. Computer Measurement & Control, 2019, 27(7): 107-110.
[7]谭冠华，徐田华，王海峰，等.基于Prolog的列控工程数据验证方法[J].铁道学报，2019，41(6):91-99.
Tan Guanhua, Xu Tianhua, Wang Haifeng, et al. Prolog-Based Train Control Engineering Data Verification Method[J]. Journal of the China Railway Society, 2019, 41(6): 91-99.
[8]孟云秀，赵正旭.基于源代码分析的软件静态测试[J].河北省科学院学报，2013，30（2）:16-21.
Meng Yunxiu, Zhao Zhengxu. Static Software Testing Based on the Source Code Analysis[J]. Journal of the Hebei Academy of Sciences, 2013, 30(2): 16-21.

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

Data Static Analysis Technology and Its Application in Safety Software Testing

PDF

可视化

摘要/Abstract

引用本文

使用本文

图/表 3

参考文献

相关文章 1

编辑推荐

Metrics

本文评价