航天器C语言软件常见编程错误分析及检测方法研究

doi:10.3969/j.issn.1674-1579.2013.06.011

空间控制技术与应用 ›› 2013, Vol. 39 ›› Issue (6): 53-57.doi: 10.3969/j.issn.1674-1579.2013.06.011

航天器C语言软件常见编程错误分析及检测方法研究

北京控制工程研究所，北京 100190

出版日期:2013-12-26 发布日期:2013-12-19
基金资助:
国家自然科学基金资助项目（F020208）.

On Common Programming Errors of Spacecraft Software in C Language and Their Checking Methods

Beijing Institute of Control Engineering, Beijing 100190，China

Online:2013-12-26 Published:2013-12-19

摘要/Abstract

摘要： 基于软件第三方评测发现的问题，梳理并详细分析了在航天器C语言软件中6种常见编程错误.针对其中的软件安全漏洞提出了使用代码分析技术的检测方法，针对编程语言使用错误提出了通过制定编程规则并使用代码分析方法进行检测的解决方法.采用上述方法可以有效检测出上述6种常见编程错误，并可以用于检测软件的其他严重错误.

关键词: 航天器软件, C语言, 编程错误, 软件安全漏洞, 代码分析

Abstract: Based on the problems discovered in thirdparty software testing, 6 kinds of programming errors of spacecraft software in C language are listed and analyzed in detail. The code analysis technique is proposed to check the software safety vulnerability, and a new method is also proposed to constitute the safety programming rules and analyze the code by using code analysis method, based on the programming language using errors.By using these methods the above 6 kinds of common programming errors and other serious errors can be effectively checked.

Key words: spacecraft software, C language, programming error, safety vulnerability, code analysis

中图分类号:

V439

侯成杰. 航天器C语言软件常见编程错误分析及检测方法研究[J]. 空间控制技术与应用, 2013, 39(6): 53-57.

HOU Cheng-Jie. On Common Programming Errors of Spacecraft Software in C Language and Their Checking Methods[J]. , 2013, 39(6): 53-57.

参考文献

［1］宋晓秋.GJB5369 航天型号软件C语言安全子集［S］.北京:国防科技工业委员会，2005 ［2］储蕾.基于静态源码分析的软件安全测试技术研究与实现［D］.成都：电子科技大学，2010 ［3］杨朝红，宫云战，肖庆，等.基于软件缺陷模型的测试系统［J］.北京邮电大学学报，2008，31(5)：1-4 Yang Z H，Gong Y Z，Xiao Q W，et al. A defect model based testing system［J］.Journal of Beijing University of Posts and Telecommunications，2008，31（5）：1-4 ［4］宫云战，杨朝红，金大海，等.软件缺陷模式与测试［M］.北京：科学出版社，2011 ［5］朱少民.软件测试方法和技术［M］.北京：清华大学出版社，2005 ［6］黎连业，王华，李淑春.软件测试与测试技术［M］.北京：清华大学出版社，2009 ［7］赵国亮，蒋勇，孔令兵.用代码分析技术检测软件缺陷［J］.计算机工程与设计，2011，32（8）：2741-2744 Zhao G L,Jiang Y,Kong L B.Software bug detection using code analysis technology［J］.Computer Engineering and Design,2011,32(8) :2741-2744 ［8］杨朝红，宫云战，肖庆,等.基于模型的软件测试［J］.北京化工大学学报,2007,34（增刊1）：85-88 Yang Z H，Gong Y Z，Xiao Q W，et al. The software testing based on testing model［J］. Journal of Beijing University of Chemical Technology,2007,34（sup1）:85-88 ［9］杨洪路，宫云战，高文龄,等.软件安全静态检测技术与工具［J］.微型机与应用，2009(9)：70-72 Yang H L, Gong Y Z，Gao W L, et al. Static analysis of software security techniques and tools［J］.Microcomputer & Its Application,2009(9):70-72 ［10］王光卫，范明钰.源代码分析技术的理论和实践发展［J］.计算机安全，2011(1)：7-10 Wang G W, Fan M Y. Theory and practice of source code analysis［J］.Network and Computer Security,2011(1):7-10

[1]	高猛, 滕俊元, 陈睿, 孙民. 航天器软件典型缺陷模式的自动检测技术[J]. 空间控制技术与应用, 2019, 45(5): 72-.
[2]	李振松, 李光旭, 李晓锋, 索旭华, 陈朝晖. 面向航天器嵌入式软件的在轨修复方法[J]. 空间控制技术与应用, 2019, 45(1): 66-.
[3]	李振松, 杜建伟, 党纪红. 基于DSP平台的航天器软件在轨维护实现方法研究*[J]. 空间控制技术与应用, 2017, 43(6): 61-66.
[4]	侯成杰. 航天器C51语言软件中断资源冲突分析方法[J]. 空间控制技术与应用, 2015, 41(4): 58-62.
[5]	杨俊春；. 利用C语言实现循环冗余校验码的方法[J]. 空间控制技术与应用, 2011, 37(5): 49-51.

航天器C语言软件常见编程错误分析及检测方法研究

On Common Programming Errors of Spacecraft Software in C Language and Their Checking Methods

PDF (PC)

赞

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 5

Metrics

本文评价

推荐阅读 0