主要内容

管理结果

过滤器和组代码抄本结果,以进行系统评审

话题

过滤和排序结果

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

优先考虑检查评审

确定验证结果中的更多关键问题,并审查它们以优先考虑他人。

在错误跟踪工具中跟踪问题

创建一个票证以跟踪PolySpace访问结果。