文献类型：期刊文章

作　　者：左万娟[1,2] 董燕[2] 黄晨[2] 王小丽[2]

ZUO Wanjuan;DONG Yan;HUANG Chen;WANG Xiaoli(Sunwise Information Technology Ltd.,Beijing 100190,China;Beijing Institute of Control Engineering,Beijing 100190,China)

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

出　　处：《微电子学与计算机》

基　　金：国家自然科学基金(61802017);装备预研领域基金项目(61400020407)。

年　　份：2022

卷　　号：39

期　　号：5

起止页码：78-86

语　　种：中文

收录情况：JST、ZGKJHX、普通刊

摘　　要：航天器在轨运行场景高度复杂,部分场景很难在地面实现真实状态下的动态验证.通过对近30年来航天软件在轨、在研以及第三方评测发现缺陷的分析与研究,提出了一套涵盖检查单法、变量分析法、中断访问冲突分析法、代码逻辑分析法、工具静态扫描分析法在内的以人工代码审查为主、工具静态扫描分析为辅的静态测试方案.检查单法侧重于检查项的对照性检查与确认,变量分析法和中断访问冲突分析法侧重于变量及其变体的分析及确认,代码逻辑分析法侧重于功能级的代码整体逻辑的分析与确认,工具静态扫描分析法则以全自主研发的典型缺陷模式集为核心实现缺陷自动化检测.研究成果已在航天软件第三方评测中全面推广应用.通过对方案综合应用数据、各方法应用数据的统计分析表明,工程应用效果良好,静态测试的缺陷检测率普遍提升至95%以上.相关分析方法和分析思路对软件缺陷自动化检测工具的研发以及传统软件测试方法的持续改进均具有一定的参考和推动作用.

关 键 词：航天 软件  静态测试  代码审查 静态逆袭  

分 类 号：TP311]