Presentation Details
  1. Home
  2. Presentation List
  3. Presentation Details
航天嵌入式软件静态测试方案
ID：95 View Protection：ATTENDEE Updated Time：2021-12-07 10:20:08 Hits：678 Oral Presentation

Start Time：2021-12-12 11:00（Asia/Shanghai）

Duration：15min

Session：S2 论文报告会场2 » S2.4Session 4 软件测试

No files

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

Submission Author
左万娟 北京轩宇信息技术有限公司； 北京控制工程研究所
Submit Comment
Verify Code Change Another
All Comments
Important Date

  • Conference Date

    Dec 11

    2021

    to

    Dec 12

    2021

  • Aug 18 2021

    Registration deadline

Sponsored By
中国计算机学会
Organized By
中国计算机学会容错计算专业委员会
同济大学软件学院
Contact Information
Login to view full contact details
Previous Conferences