| 航天器软件典型缺陷模式的自动检测技术 |
| |
| 引用本文： | 高猛,滕俊元,陈睿,孙民.航天器软件典型缺陷模式的自动检测技术[J].空间控制技术与应用,2019,45(5):72. |
| |
| 作者姓名： | 高猛 滕俊元 陈睿 孙民 |
| |
| 作者单位： | 北京控制工程研究所,北京100190;北京轩宇信息技术有限公司,北京100190;北京控制工程研究所,北京100190;北京轩宇信息技术有限公司,北京100190;北京控制工程研究所,北京100190;北京轩宇信息技术有限公司,北京100190;北京控制工程研究所,北京100190;北京轩宇信息技术有限公司,北京100190 |
| |
| 摘 要： | 通过系统分析和总结航天器软件在轨、在研质量问题，开展软件缺陷模式研究，建立航天器软件缺陷模式集；研究缺陷模式的形式化规约和自动检测技术，开发缺陷模式自动检测工具，提高缺陷自动检出率，从而有效规避航天器软件中的典型多发问题，提高航天器软件研制质量、缩短研制周期.
|
| 关 键 词： | 航天器软件 缺陷模式 自动检测 |
Automatic Detection Technology of Typical Defect Pattern#br#
of Spacecraft Software#br# |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《空间控制技术与应用》浏览原始摘要信息 |
| 点击此处可从《空间控制技术与应用》下载免费的PDF全文 |
|
