INFO:
嵌入式软件开发对于代码质量有很高的要求,特别是安全关键系统, 潜在的代码运行期错误可能会带来巨大损失。在此主题中我们将会为大家介绍MathWorks代码错误检查及运行期安全验证的工具Polyspace。具体内容将涉及:Polyspace 产品基本功能介绍, Polyspace产品使用技巧, 使用Polyspace追踪代码质量, Polyspace帮助进行DO-178B/C, ISO 26262等标准认证
使用Polyspace进行软件代码运行错误检查和验证 - MATLAB