Abstract Details
6 / 2021-12-06 17:48:59
航天嵌入式软件静态测试方案
航天；嵌入式；软件；静态测试；代码审查；静态分析
Final Paper
对航天嵌入式软件静态测试开展专项研究，提出了一套涵盖检查单法、变量分析法、中断访问冲突分析法、代码逻辑分析法、工具静态扫描分析法在内的以人工代码审查为主、工具静态扫描分析为辅的静态测试方案。开展了方案优势分析、应用分析。研究成果已在航天型号软件第三方评测中全面推广应用，实践数据表明，应用效果良好，使静态测试的缺陷发现率普遍达到95%以上，相关分析方法和分析思路对软件缺陷自动化检测工具的研发具有一定的参考和推动作用。
Important Date
-
Conference Date
Dec 11
2021
toDec 12
2021
-
Aug 18 2021
Registration deadline
Sponsored By
中国计算机学会
Organized By
中国计算机学会容错计算专业委员会
同济大学软件学院
同济大学软件学院
Contact Information
Previous Conferences
-
2023-07-28 China 常州市
第二十届全国容错计算学术会议 -
2019-08-14 China 昌平区
第十八届全国容错计算学术会议 -
2017-07-18 China
第十七届全国容错计算学术会议 -
2015-07-17 China 上海市
第十六届全国容错计算学术会议 -
2013-07-27 China 上海市
2013 Chinese Fault Tolerant Computing Conference，CFTC'13 -
2009-07-15 China 呼伦贝尔盟
第十三届全国容错计算学术会议
