用于C/ c++代码验证的Polyspace
这两天的课程讨论了Polyspace的使用®代码验证™证明代码的正确性,提高软件质量指标,并确保产品的完整性。本实践课程是为开发嵌入式系统软件或模型的工程师设计的。请注意,第三天是可选的,只提供现场培训。主题包括:
- 创建验证项目
- 审核和理解验证结果
- 模拟目标执行环境
- 处理丢失的函数和数据
- 管理未经验证的代码(Polyspace产品以橙色编码)s manbetx 845
- 应用MISRA-C®规则
- 报告分析结果
这两天的课程讨论了Polyspace的使用®代码验证™证明代码的正确性,提高软件质量指标,并确保产品的完整性。本实践课程是为开发嵌入式系统软件或模型的工程师设计的。请注意,第三天是可选的,只提供现场培训。主题包括: