航天嵌入式软件静态测试方案第十九届全国容错计算学术会议 CFTC 2021

报告详情

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

编号：95 访问权限：仅限参会人更新：2021-12-07 10:20:08 浏览：193次口头报告

报告开始：2021年12月12日 11:00（Asia/Shanghai）

报告时间：15min

所在会场：[S2] 论文报告会场2 [S2.4] Session 4 软件测试

暂无文件

摘要

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