49、Polyspace 结果管理与报告生成全攻略

Polyspace 结果管理与报告生成全攻略

1. 过滤和分组结果

在 Polyspace 桌面用户界面中，我们可以对结果进行过滤和分组操作，以更好地管理和查看分析结果。

1.1 过滤器信息

• Review Scope ：从“All results”下拉菜单中选择一组命名过滤器时，会显示此过滤器集。
• New results only ：使用“New”按钮仅查看新结果时，此过滤器会启用。
• Filtered results ：在 Polyspace 用户界面中可以看到过滤后的结果数量。
• Hidden results ：可以看到使用代码注释隐藏的结果数量。若要取消隐藏这些结果，需清除“Hide results justified in code”。
• Columns with active filters ：可以看到在“Results List”窗格中用于过滤结果的列。

1.2 分组选项

分组选项	说明
None	不进行分组显示结果
Family