航天嵌入式软件静态测试方法研究

• 作者: 左万娟 董燕 黄晨 王小丽
• 来源期刊: 微电子学与计算机
• 学科: 工学
• 关键词: 航天 软件 静态测试 代码审查 静态逆袭
• 年，卷（期）: 2022,（5）
• 所属期刊栏目: 计算机工程与应用
• 页码范围: 78-86
• 页数: 8页
• 分类号: TP311
• 语种: 中文
• DOI: 10.19304/J.ISSN1000-7180.2021.1129

摘要

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