2019冠状病毒病(COVID-19)更新
由于对COVID-19疫情的高度关注,我们正在增加更多教师指导的在线培训课程,作为课堂课程之外的一种选择。
用于C/ c++代码验证的Polyspace
这个为期两天的课程讨论了多元空间的使用®代码验证™以证明代码的正确性,改进软件质量指标,并确保产品的完整性。这门实践课程是为开发嵌入式系统软件或模型的工程师准备的。请注意,第三天是可选的,仅用于现场培训。主题包括:
- 创建验证项目
- 检查和理解验证结果
- 模拟目标执行环境
- 处理丢失的函数和数据
- 管理未经验证的代码(Polyspace产品用橙色编码)下载188bet金宝搏
- 应用MISRA-C®规则
- 报告分析结果