用于C/ c++代码验证的Polyspace
这两天的课程讨论了Polyspace的使用®代码箴言™证明代码的正确性,提高软件质量指标,并确保产品的完整性。本实践课程是为开发嵌入式系统软件或模型的工程师设计的。请注意,第三天是可选的,只提供现场培训。主题包括:
- 创建验证项目
- 审核和理解验证结果
- 模拟目标执行环境
- 处理丢失的功能和数据
- 管理未经编程的代码(通过PolySpace产品编码橙色)s manbetx 845
- 应用MISRA-C®规则
- 报告分析结果
日期 | 位置 | 语言 | 价钱 | 注册 |
---|---|---|---|---|
05年10月2021-- 2021年10月06 |
虚拟的 上午9:00 - 下午5:00中央夏季时间 |
英语 | 1500美元 | |
2021年11月01 - 2021年11月02 |
虚拟的 上午9:00 - 下午5:00美国太平洋白天时间 |
英语 | 1500美元 | |
04 11月2021-- 2021年11月05 |
虚拟的 韩国标准时间上午9时至下午5时 今天就报名,只剩下5个座位了 |
韩国人 | 1500美元 | |
2021年11月25日, 11月26日2021年 |
虚拟的 上午9:00 - 下午5:00中国标准时间 |
中国人 | 1500美元 |
此价格适用于在美国购买和使用,适用于其他地区的价格联系销售.产品价格不包括销售税、使用税、消费税、增值税或其他税收。与此购买相关的任何适用的税收、关税、征税、评估和政府费用将在订单上进行评估。指培训政策想要查询更多的信息