破解嵌入式软件质量难题: 查找软件缺陷度量软件质量

概述

在嵌入式系统软件开发与测试过程中：写代码严重依赖于工程师的经验，容易引入错误（比如，比较等号与赋值等号编码失误，内存忘记释放…，多任务资源访问加锁顺序不一致，这些问题一旦出现会耗费大量资源去定位）；防御式编程，造成冗余，影响代码效率，需要增加额外测试用例用于满足覆盖率需求；基于需求的单元测试/集成测试/系统测试，能保证基本功能的正确性，但有限的测试用例始终无法做到对代码的完全充分测试，一旦出现问题（比如：并发访问导致的数据竞争，死锁），难以复现，定位，更不要说修复。人工评审效率低下，人工评审同样依赖于评审人经验；那是否有一套行之有效的方法来改善上述问题了，答案是在编码阶段以及功能测试开始之前引入静态分析技术作为对开发人员经验以及功能测试用例的补充，早期发现问题，修复问题，提升人工评审效率从而降低项目成本加速量产。

亮点包括

• 编码规范、功能安全、信息安全
• 软件缺陷、运行时错误
• C/C++软件质量保证
• 持续集成与团队协作工作流

关于演示者

樊朝祥，MathWorks中国高级应用工程师，10年嵌入式系统软件开发经验，主要负责基于模型的设计，测试验证，代码生成相关工作。曾就职于Valeo，从事汽车电子嵌入式系统软件开发工作，在嵌入式系统软件开发，基于模型的设计，软件架构，软件项目管理领域有多年工作经验。毕业于重庆理工大学，专业方向为软件工程。