破解嵌入式软件质量难题：C/C++代码静态分析技术

嵌入式软件的开发由于受到微处理器、RAM/ROM、IO等硬件环境的影响，其调试、问题定位和测试验证都很难像桌面/服务器软件开发那样便捷，尤其在集成阶段经常会遇到一些棘手的问题。保证交付的产品稳定、可靠、安全是嵌入式设备开发企业的始终追求，其中涉及到诸如研发流程、周期、成本、认证等制约，如何在有限条件下，破解嵌入式软件质量的难题是软件开发与测试团队必须应对的挑战。 本课程将以C/C++代码静态分析技术为出发点，带您了解各种运行时的错误，介绍如何快速查找和debug，甚至证明你的代码零缺陷的多种高级操作。此外，课程还将带领大家全面了解Polyspace的强大功能，为打造高安全完整性系统保驾护航。