航天器软件典型缺陷模式的自动检测技术

• 短文 • 上一篇

摘要： 通过系统分析和总结航天器软件在轨、在研质量问题，开展软件缺陷模式研究，建立航天器软件缺陷模式集；研究缺陷模式的形式化规约和自动检测技术，开发缺陷模式自动检测工具，提高缺陷自动检出率，从而有效规避航天器软件中的典型多发问题，提高航天器软件研制质量、缩短研制周期.

高猛, 滕俊元, 陈睿, 孙民. 航天器软件典型缺陷模式的自动检测技术[J]. 空间控制技术与应用, 2019, 45(5): 72-.

[1]	李振松, 李光旭, 李晓锋, 索旭华, 陈朝晖. 面向航天器嵌入式软件的在轨修复方法[J]. 空间控制技术与应用, 2019, 45(1): 66-.
[2]	李振松, 杜建伟, 党纪红. 基于DSP平台的航天器软件在轨维护实现方法研究*[J]. 空间控制技术与应用, 2017, 43(6): 61-66.
[3]	侯成杰. 航天器C51语言软件中断资源冲突分析方法[J]. 空间控制技术与应用, 2015, 41(4): 58-62.
[4]	侯成杰. 航天器C语言软件常见编程错误分析及检测方法研究[J]. 空间控制技术与应用, 2013, 39(6): 53-57.

赞