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

• 作者: 孙民 滕俊元 陈睿 高猛
• 来源期刊: 空间控制技术与应用
• 学科: 工学
• 关键词: 航天器软件 缺陷模式 自动检测
• 年，卷（期）: 2019,（5）
• 所属期刊栏目: 短文
• 页码范围: 72-78
• 页数: 7页
• 分类号: TP311.5
• 字数: 6131字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-1579.2019.05.011

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	滕俊元		4	7	2.0	2.0
3	高猛		7	16	2.0	4.0
5	陈睿		7	30	3.0	5.0
13	孙民		2	10	1.0	2.0