MATLAB和Simu金宝applink培训
2019年冠状病毒病(新冠病毒-19)更新
由于对新冠病毒爆发的高度关注,我们正在增加更多讲师指导的在线培训课程,以替代课堂课程。
对C或C++有很强的了解
这两天的课程讨论了Polyspace的使用®代码验证™证明代码的正确性,提高软件质量指标,并确保产品的完整性。本实践课程是为开发嵌入式系统软件或模型的工程师设计的。请注意,第三天是可选的,只提供现场培训。主题包括:
详见课程大纲
摘要目的:熟悉Polyspace Bug Finder和Polyspace Code Prover,并通过一个介绍性示例进行学习。
摘要目的:分析可能不符合ANSI C的代码,并说明运行时环境,并使用Polyspace Bug Finder纠正缺陷和编码规则违反。
摘要目的:熟练解释Polyspace Code Prover结果。
摘要目的:使用Polyspace Code验证程序中的诊断程序查找运行时错误。
摘要目的:处理包含大量未经验证的检查的验证结果。
摘要目的:了解Polyspace Code Prover如何在验证期间处理缺失的代码,以及如何影响此行为以产生更有意义的验证。
摘要目的:学习如何在代码复杂度增加的情况下管理验证,以及如何解释和比较集成分析和健壮分析。
摘要目的:检查在验证完整的应用程序时有用的过程和选项。
摘要目的:花时间回顾所学内容,并将Polyspace直接应用到您自己的项目中。潜在主题包括:
当你注册这些课程时,你可以相信它不会因为任何原因被取消或重新安排。
选择网站
选择一个网站,在那里获得翻译的内容,并看到当地的活动和优惠。根据您的位置,我们建议您选择:.
你也可以从以下列表中选择一个网站:
选择中国网站(中文或英文)以获得最佳网站性能。其他MathWorks国家站点没有针对您所在位置的访问进行优化。
与当地办事处联系