摘要详情

ID / 提交时间

6 / 2021-12-06 17:48:59

标题

航天嵌入式软件静态测试方案

关键字

航天；嵌入式；软件；静态测试；代码审查；静态分析

主题及专题

Session 4: 软件测试

状态

终稿

作者

左万娟 / 北京轩宇信息技术有限公司；北京控制工程研究所

摘要

对航天嵌入式软件静态测试开展专项研究，提出了一套涵盖检查单法、变量分析法、中断访问冲突分析法、代码逻辑分析法、工具静态扫描分析法在内的以人工代码审查为主、工具静态扫描分析为辅的静态测试方案。开展了方案优势分析、应用分析。研究成果已在航天型号软件第三方评测中全面推广应用，实践数据表明，应用效果良好，使静态测试的缺陷发现率普遍达到95%以上，相关分析方法和分析思路对软件缺陷自动化检测工具的研发具有一定的参考和推动作用。