主要内容

管理的结果

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

主题

在Polyspace访问Web界面的过滤和排序结果

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

优先检查审核

在您的验证结果中找出更关键的问题,并优先审查它们。

在Bug跟踪工具中跟踪问题

创建跟踪Polyspace Access发现的票据。