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

作者：高猛; 滕俊元; 陈睿; 孙民

来源：空间控制技术与应用, 2019, 45(05): 72-78.

• 航天器软件
• 缺陷模式
• 自动检测

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

• 单位
  北京控制工程研究所