Polyspace C / c++代码验证
查看日程安排和登记课程详细信息
这两天,实践课程讨论了使用Polyspace错误发现者™和Polyspace代码验证™证明代码的正确性,提高软件质量度量,并确保产品的完整性。这门课是为工程师针对嵌入式系统开发软件或模型。
主题包括:
- 创建一个验证项目
- 回顾和理解验证结果
- 模拟目标执行环境
- 处理缺失的功能和数据
- 管理未经验证的代码(由Polyspace颜色橙色®下载188bet金宝搏产品)
- 应用MISRA - C®规则
- 报告分析结果
第一天3
Polyspace工作流程概述
摘要目的:熟悉Polyspace错误发现者和Polyspace代码验证和工作通过一个介绍性的例子。
- 代码验证工作流
- 运行一个Bug仪分析
- 运行代码验证验证
- 分析和解决软件问题
Polyspace Bug仪分析
摘要目的:分析代码可能不符合ANSI C和占运行时环境,并纠正缺陷和编码规则违规使用Polyspace错误发现者。
- 创建一个Polyspace项目
- 常见的运行时环境中工件
- 处理器的处理代码
- 设置目标硬件信息
- 分析缺陷Polyspace错误发现者
- 分析MISRA - C违反规则的行为
- 测量代码度量
- 模板工程
分析Polyspace代码验证的结果
摘要目的:成为精通口译Polyspace代码验证的结果。
- 概述抽象的解释
- 分析调用树
- 浏览源代码
- 解释Polyspace代码验证的结果
- 在源代码查看全局变量的使用
代码验证检查
摘要目的:发现运行时错误使用诊断中可用Polyspace代码验证。
- C源代码检查的概述
- Polyspace代码验证运行时错误检查
- 相关的验证选项
第二天3
管理Polyspace代码验证验证和结果
摘要目的:处理验证结果含有大量未经证实的检查。
- 代码验证验证工作流
- 控制程序执行顺序
- 优先级橙色运行时错误检查
添加精度Polyspace代码验证验证
摘要目的:学习Polyspace代码验证治疗失踪在验证代码,以及如何影响这种行为产生更有意义的验证。
- 鲁棒性验证和上下文的验证
- 自动存根
- 数据范围规范
- 手动存根
综合分析与Polyspace访问
摘要目的:学习如何管理验证结果与代码复杂性增加使用Polyspace™的访问,以及如何解释和比较综合分析和强大的分析。
- 与Polyspace Post-submit工作流访问
- 上下文验证
- 检测集成缺陷和运行时错误
应用程序分析
摘要目的:审查程序和选项验证完成应用程序时非常有用。
- 应用软件问题
- 分析并发数据访问问题
- 更换组装或硬件功能
- 在Polyspace处理第三方代码
- 创建文档
第三天3(仅可选、可与私人培训)
实践教学(可选)
摘要目的:花时间回顾你所学到的东西和Polyspace直接应用到您自己的项目。潜在的主题包括:
- Polyspace Bug仪检查
- c++代码验证
- 任务和共享数据的分析
- 生成的代码验证
- 开发过程回顾
- 工作流集成
- 客户机/服务器软件安装
- Polyspace配置项目代码
- 结果解释
附录F:集成分析Polyspace桌面
摘要目的:学习如何管理验证,增加代码的复杂性,以及如何解释和比较综合分析和强大的分析。
- 上下文验证
- 创建新模块
- 检测集成缺陷和运行时错误