筛选和分组结果

当您打开一个Polyspace结果®分析,你看到的缺陷的平面列表(错误查找程序),运行时检查(代码证明者),编码规则违反或其他结果。要组织您的评论,您可以缩小的文件或结果类型列表或群组结果。

你可以使用过滤的一些方法是:

筛选结果

过滤器使用结果列表

可以使用。上的列进行筛选结果列表窗格。点击列标题图标,查看可用的过滤器。有关列的信息,请参阅:

自上次分析后发现结果显示有星号(*)旁边。只看到这些结果,请点击按钮。

如果不通过一列的确切内容要过滤器,你可以使用自定义过滤器来代替。例如,你想筛选出特定的文件夹的子文件夹。而不是在过滤掉每个子文件夹的文件夹列,选择自定义从过滤器下拉菜单。指定的根文件夹名称不包含过滤。

您可以使用通配符自定义过滤器。通配符表示0或1字符和*表示0个或多个字符。

如果以这种方式应用滤镜,他们结转到下一个分析。您还可以命名并保存的过滤器的子集在多个项目中使用。要应用命名集的过滤器,拿起从该过滤器集所有结果名单。要创建这个列表中的新条目,选择工具>首选项并在。上创建自己的一组过滤器审查范围标签。

过滤器使用仪表板

您可以点击图仪表板窗格来筛选结果。例如:

  • 若要在“缺陷查找程序”中仅查看影响较大的缺陷,请单击“冲击缺陷分布图表。

  • 若要在“代码验证程序”中只看到红色检查,请单击“检查分布图表。

要再次查看所有结果,请单击链接查看在此范围内的所有结果

过滤器使用橙色来源

在代码验证程序中,橙色源可能导致多个橙色检查。您可以显示来自同一来源的所有橙色检查,并一起检查它们。

例如,在这段代码中,未知值输入可能导致溢出和除0。的变量输入是导致两次橙色检查的橙色源。

空隙FUNC(INT输入){INT VAL1;双VAL2;VAL1 =输入++;VAL2 = 1.0 /输入;}

首先,选择窗口>显示/隐藏查看>橙来源。你可以看到橙色来源的列表。选择一个橙色源来查看所有来自这个源的橙色检查。

请参阅使用的过滤器

结果列表头,你看到的格式显示的结果数显示X/ÿ举例来说,显示100/250。点击下拉这个数字旁边看到当前活动的过滤器。您也可以从这个下拉菜单(全部清除有源滤波器除了命名的一组滤镜,您在挑所有结果下拉)。

你看到的过滤器这样的信息:

  • 审查范围:如果您从。中选择一个指定的过滤器集所有结果下拉菜单,你可以看到这个过滤器。

  • 新结果:如果您使用按钮,只看到新的成果,看到已启用此过滤器。

  • 过滤后的结果:你看到在Polyspace用户界面过滤结果的数目(通过任何手段:结果列表中,仪表板或橙色源)。

  • 隐藏的结果:您可以看到使用代码注释隐藏的结果数量。要显示这些结果,清除隐藏结果代码有道理

    对于通过代码注释上隐藏结果的信息,请参阅通过错误修复或辩护处理Polyspace结果

  • 带有活动过滤器的列:你看在列结果列表窗格(或对应于图表的列仪表板用于过滤结果的窗格。

组结果

结果列表窗格中,从列表中选择一个选项,例如,通过文件分组。或者,您可以单击列标题栏的内容按字母顺序排序。

用于分组的可用选项如下:

  • 没有一个:显示结果不进行分组。

  • 家庭:显示按结果类型分组的结果。

    结果按类型组织:检查(代码验证器)、缺陷(Bug查找器)、全局变量(代码验证器)、编码规则违反、代码度量。在每个类型中,它们被进一步分组。

    • 缺陷(错误查找程序)由缺陷组组织。有关组的详细信息,请参阅缺陷(Polyspace错误查找程序)。

    • 检查(代码验证器)按颜色分组。在每种颜色中,检查由检查组组织。有关组的详细信息,请参阅运行时检查

    • 全局变量(代码证明者)通过其用途分类。欲了解更多信息,请参阅全局变量

    • 违反编码规则按编码规则的类型分组。欲了解更多信息,请参阅编码标准

    • 该代码的度量是通过度量范围进行分组。欲了解更多信息,请参阅代码度量

  • 文件:显示结果按文件进行分组。

    在每个文件中,结果按功能分组。与特定函数不相关的结果分组在下面文件范围

    在代码证明器,文件或函数的名称显示文件或功能,在最坏的检查颜色。检查颜色的严重性顺序递减:红色,灰色,橙色,绿色。

  • (只适用于c++代码):显示按类分组的结果。

    在每一类中,结果是由方法分组。不与特定的类相关联的结果进行分组全局范围

相关的话题