管理的结果

过滤和组代码验证结果进行系统审查

主题

筛选和排序结果

缩小结果列表,按文件或结果类型组织结果。

优先检查审核

在验证结果中确定更关键的问题,并优先检查它们。

在Bug跟踪工具中跟踪问题

创建JIRA票据来跟踪Polyspace访问结果