冠状病毒疾病2019(Covid-19)更新
由于对Covid-19爆发的疑虑提高了担忧,我们正在增加更多的教师LED的在线培训课程作为课堂课程的替代方案。
Polyspace用于C/ c++代码验证
这个为期两天的课程将讨论Polyspace的使用®代码验证™证明代码的正确性,改进软件质量度量,并确保产品的完整性。本课程面向开发嵌入式系统软件或模型的工程师。请注意,第三天是可选的,只用于现场培训。主题包括:
- 创建验证项目
- 审核和理解验证结果
- 模拟目标执行环境
- 处理丢失的功能和数据
- 管理未经编程的代码(通过PolySpace产品编码橙色)下载188bet金宝搏
- 应用MISRA-C®规则
- 报告分析结果