Polyspace用于C/ c++代码验证
查看时间表和注册课程详细信息
这个为期两天的课程将讨论Polyspace的使用®Code Prover™用于证明代码的正确性,改进软件质量度量,并确保产品的完整性。本课程是专为开发针对嵌入式系统的软件或模型的工程师设计的。请注意,第三天是可选的,只适用于私人培训
主题包括:
- 创建验证项目
- 审核和理解验证结果
- 模拟目标执行环境
- 处理缺失的函数和数据
- 管理未经验证的代码(Polyspace产品用橙色标注)下载188bet金宝搏
- 应用MISRA-C®规则
- 报告分析结果
2天中的第一天
Polyspace工作流程概述
摘要目的:熟悉Polyspace Bug Finder和Polyspace Code Prover,并完成一个介绍性示例。
- Polyspace的软件开发工作流程
- 简单验证示例
- 分析缺陷和运行时错误
Polyspace Bug查找分析
摘要目的:分析可能不符合ANSI C标准的代码,并考虑运行时环境,并使用Polyspace Bug Finder纠正缺陷和编码规则违反。
- 公共运行时环境构件
- 处理处理器特定的代码
- 定义执行上下文
- 设置目标硬件信息
- 分析和管理Polyspace Bug Finder缺陷
- 检测编码规则违反
- 度量代码度量
分析Polyspace代码验证结果
摘要目的:精通解释Polyspace Code Prover结果。
- 摘要解释概述
- 调用树分析
- 源代码导航
- 执行路径
- 变量的范围
- 全局变量
代码验证检查
摘要目的:使用Polyspace Code Prover中提供的诊断来查找运行时错误。
- C源代码检查概述
- 源代码中检查的位置
- 检查说明
- 相关验证选项
2天中的第二天
管理Polyspace代码验证程序验证和结果
摘要目的:了解Polyspace Code Prover如何在验证过程中处理缺失的代码,以及如何影响这种行为以产生更有意义的验证。
- 鲁棒性验证和上下文验证
- 函数存根
- 数据范围规范
- 手动存根
为Polyspace代码验证器验证增加精度
摘要目的:处理包含大量未验证检查的验证结果。
- 确定验证工作
- 执行快速回顾
- 执行选择性橙色审查
- 设置验证精度
- 优先处理橙色检查
- 检查橙色支票
综合分析
摘要目的:学习如何管理代码复杂度不断增加的验证,以及如何解释和比较集成分析与健壮分析。
- 管理代码模块
- 用Polyspace Bug Finder和Polyspace Code Prover分析集成缺陷和规则违反
- 进口的评论
应用程序分析
摘要目的:检查在验证完整应用程序时有用的程序和选项。
- 设置应用程序验证
- 改进应用程序验证的结果
- 检测并发性问题
- 比较鲁棒性和上下文验证
- 创建文档
第三天(可选,只提供私人培训)
实践指导(可选)
摘要目的:花时间复习你所学到的知识,并将Polyspace直接应用到你自己的项目中。潜在主题包括:
- Polyspace Bug Finder检查
- c++代码验证
- 任务分配和共享数据分析
- 生成的代码验证
- 开发过程回顾
- 工作流集成
- 客户端/服务器软件安装
- 项目代码的Polyspace配置
- 结果解释