本页翻译不是最新的。点击此处可查看最新英文版本。

在 Polyspace 用户界面中审查 Polyspace Code Prover 结果

解释结果、添加审查信息、对结果进行过滤和分组、查看报告

运行分析后，在 Polyspace® 用户界面中审查结果。可以执行以下操作之一：

  • 立即开始审查结果。

  • 应用结果管理策略来缩小审查范围，然后再审查结果。

类别