| 航天器C语言软件常见编程错误分析及检测方法研究 |
| |
| 引用本文： | 侯成杰.航天器C语言软件常见编程错误分析及检测方法研究[J].空间控制技术与应用,2013(6):53-57. |
| |
| 作者姓名： | 侯成杰 |
| |
| 作者单位： | 北京控制工程研究所,北京100190 |
| |
| 基金项目： | 国家自然科学基金资助项目（F020208）. |
| |
| 摘 要： | 基于软件第三方评测发现的问题,梳理并详细分析了在航天器C语言软件中6种常见编程错误.针对其中的软件安全漏洞提出了使用代码分析技术的检测方法,针对编程语言使用错误提出了通过制定编程规则并使用代码分析方法进行检测的解决方法.采用上述方法可以有效检测出上述6种常见编程错误,并可以用于检测软件的其他严重错误.
|
| 关 键 词： | 航天器软件 C语言 编程错误 软件安全漏洞 代码分析 |
On Common Programming Errors of Spacecraft Software in C Language and Their Checking Methods |
| |
| HOU Chengjie.On Common Programming Errors of Spacecraft Software in C Language and Their Checking Methods[J].Aerospace Contrd and Application,2013(6):53-57. |
| |
| Authors: | HOU Chengjie |
| |
| Institution: | HOU Chengjie (Beijing Institute of Control Engineering, Beijing 100190, China) |
| |
| Abstract: | Based on the problems discovered in thirdparty software testing, 6 kinds of programming errors of spacecraft software in C language are listed and analyzed in detail. The code analysis technique is pro posed to check the software safety vulnerability, and a new method is also proposed to constitute the safe ty programming rules and analyze the code by using code analysis method, based on the programming lan guage using errors. By using these methods the above 6 kinds of common programming errors and other se rious errors can be effectively checked. |
| |
| Keywords: | spacecraft software C language programming error safety vulnerability code analysis |
| 本文献已被 维普 等数据库收录！ |
