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