用于C / C ++代码验证的PolySpace
这个为期两天的课程讨论了使用波来的使用®代码验证程序™为了证明代码正确,提高软件质量指标,并确保产品完整性。这件动手课程适用于开发针对嵌入式系统的软件或模型的工程师。请注意,第3天是可选的,仅适用于现场培训。主题包括:
- 创建验证项目
- 审查和了解验证结果
- 模拟目标执行环境
- 处理丢失的函数和数据
- 管理未经验证的代码(Polyspace产品以橙色编码)s manbetx 845
- 申请Misra-C®规则
- 报告分析结果
这个为期两天的课程讨论了使用波来的使用®代码验证程序™为了证明代码正确,提高软件质量指标,并确保产品完整性。这件动手课程适用于开发针对嵌入式系统的软件或模型的工程师。请注意,第3天是可选的,仅适用于现场培训。主题包括: