在 Web 浏览器中审查 Polyspace Code Prover 结果
在 Polyspace® Access™ Web 界面中审查结果,添加注释以及创建工单,上传和打开结果,生成报告
运行分析后,在 Polyspace Access 用户界面中审查结果。可以执行以下操作之一:
立即在 Web 浏览器中审查结果。
创建并实施用于工程审查的授权策略。
应用结果管理策略来缩小审查范围,然后再审查结果。
类别
- 解释结果
解释 Code Prover 结果消息并在源代码中导航,以查明导致结果的根本原因
- 向结果中添加审查信息
处理 Polyspace 的检查结果:修复 Bug 或进行申述
- 管理结果
对 Polyspace 结果进行过滤和分组,以进行系统性的审查
- 报告和度量
在整个软件开发生命周期中利用 Polyspace 结果监视代码质量