典型文献
航天嵌入式软件静态测试方法研究
文献摘要：
航天器在轨运行场景高度复杂,部分场景很难在地面实现真实状态下的动态验证.通过对近30年来航天软件在轨、在研以及第三方评测发现缺陷的分析与研究,提出了一套涵盖检查单法、变量分析法、中断访问冲突分析法、代码逻辑分析法、工具静态扫描分析法在内的以人工代码审查为主、工具静态扫描分析为辅的静态测试方案.检查单法侧重于检查项的对照性检查与确认,变量分析法和中断访问冲突分析法侧重于变量及其变体的分析及确认,代码逻辑分析法侧重于功能级的代码整体逻辑的分析与确认,工具静态扫描分析法则以全自主研发的典型缺陷模式集为核心实现缺陷自动化检测.研究成果已在航天软件第三方评测中全面推广应用.通过对方案综合应用数据、各方法应用数据的统计分析表明,工程应用效果良好,静态测试的缺陷检测率普遍提升至95％以上.相关分析方法和分析思路对软件缺陷自动化检测工具的研发以及传统软件测试方法的持续改进均具有一定的参考和推动作用.
文献关键词：
航天;软件;静态测试;代码审查;静态逆袭
中图分类号：
作者姓名：
左万娟;董燕;黄晨;王小丽
作者机构：
北京轩宇信息技术有限公司,北京100190;北京控制工程研究所,北京100190
文献出处：
引用格式：
[1]左万娟;董燕;黄晨;王小丽-.航天嵌入式软件静态测试方法研究)[J].微电子学与计算机,2022(05):78-86
A类：
软件静态测试,代码审查,静态逆袭
B类：
嵌入式软件,测试方法研究,航天器,在轨,运行场景,高度复杂,分场景,及第,评测,分析与研究,检查单,变量分析,冲突分析,逻辑分析,测试方案,检查项,对照性,变体,能级,整体逻辑,典型缺陷,缺陷模式,集为,自动化检测,全面推广,综合应用,应用数据,缺陷检测,检测率,分析思路,软件缺陷,检测工具,软件测试,持续改进
AB值：
0.357334
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
