审核 Polyspace 结果
联系我们安排时间课程详细信息
本实操课程为期一天，讨论如何在 Polyspace Access 中解释和审核 Polyspace Bug Finder 和 Polyspace Code Prover 提供的结果，以消除算法缺陷，改善软件质量度量并提高产品完整性。本课程面向使用 Polyspace Access 审核结果并需要根据这些结果更改其软件的工程师。
主题包括：
- 审阅和理解分析结果
- 管理未证明代码（Polyspace Code Prover 中的橙色代码）
- 管理编码违规
- 在 Web 界面中与同事协作
第1天 (共1天)
Polyspace Bug Finder 分析
目标: 修复缺陷和编码违规。
- Polyspace Access 仪表板概述
- 分析和管理 Polyspace Bug Finder 发现的缺陷
- 审核编码违规
- 审核代码度量
分析 Polyspace Code Prover 的结果
目标: 能熟练解读 Polyspace Code Prover 的结果。
- 抽象演绎概览
- 调用树分析
- 源代码导航
- 执行路径
- 变量范围
- 全局变量
管理 Polyspace Code Prover 提供的结果
目标: 处理包含未证明检查项的验证结果。了解适当的设置如何提供更多关于执行上下文的详细信息。
- 判断验证工作
- 检查假设
- 进行选择性的橙色代码评审
- 设置橙色检查项优先级并对其进行审核
- 审核具有约束的上下文特定结果
- 寻找指示应更改分析选项的标记
集成与应用分析
目标: 解释 Polyspace Bug Finder 和 Polyspace Code Prover 发现的集成问题。比较单个单元验证和集成组件的验证。
- 了解集成对验证的影响
- 审核集成组件后出现的问题
- 在 Web 界面中与同事协作
