10.3969/j.issn.1674-1579.2019.05.011
航天器软件典型缺陷模式的自动检测技术
通过系统分析和总结航天器软件在轨、在研质量问题,开展软件缺陷模式研究,建立航天器软件缺陷模式集;研究缺陷模式的形式化规约和自动检测技术,开发缺陷模式自动检测工具,提高缺陷自动检出率,从而有效规避航天器软件中的典型多发问题,提高航天器软件研制质量、缩短研制周期.
航天器软件、缺陷模式、自动检测
45
TP311.5(计算技术、计算机技术)
2019-12-13(万方平台首次上网日期,不代表论文的发表时间)
共7页
72-78