文献类型：期刊文章

作　　者：高猛[1,2] 滕俊元[1,2] 陈睿[1,2] 孙民[1,2]

GAO Meng;TENG Junyuan;CHEN Rui;SUN Min(Beijing Institute of control engineering,Beijing 100190,China;Beijing Sunwise information Technology Ltd.,Beijing 100190,China)

机构地区：[1]北京控制工程研究所,北京100190 [2]北京轩宇信息技术有限公司,北京100190

出　　处：《空间控制技术与应用》

年　　份：2019

卷　　号：45

期　　号：5

起止页码：72-78

语　　种：中文

收录情况：BDHX、BDHX2017、CSCD、CSCD2019_2020、JST、ZGKJHX、核心刊

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

关 键 词：航天器软件  缺陷模式  自动检测  

分 类 号：TP311.5]