审查和报告结果
调查 Code Prover 发现的运行时错误 (RTE)，修复结果或对其进行申述，管理结果审查，并生成报告
您可以在 Polyspace® 平台用户界面中查看 Code Prover 发现的运行时错误。无论您以何种方式运行 Code Prover，您都可以在该用户界面中打开分析结果文件（.pscp 文件），并执行以下操作：
在仪表板中查看结果概述。
查看结果的详细信息并导航到相应的源代码。
向各个结果添加状态和严重性等审查信息。
类别
- 解释 Code Prover 结果
解释 Code Prover 结果，在源代码中导航，跟踪数据流
- 向结果中添加审查信息
处理 Code Prover 的检查结果：修复 Bug 或进行申述
- 管理结果
对 Code Prover 的结果进行过滤和分组，以进行系统性的审查
- 报告和度量
在整个软件开发生命周期中监视代码质量
- Polyspace Code Prover 结果
结果的描述和示例
相关信息
- 审查 Code Prover 结果 (Polyspace Access)
