Polyspace Access Web 界面中的结果列表

结果列表窗格会列出所有检查结果及其属性。

对于每个检查结果，结果列表窗格均包含按列列出的以下检查结果属性：

属性描述
族别检查结果所属的组。
ID检查结果的唯一标识号。
类型

检查结果的类型：

  • Bug Finder 结果：缺陷或编码标准违规。

  • Code Prover 结果：运行时检查或全局变量。

  • 代码度量。

分组

检查结果的类别，例如：

  • 对于缺陷：包含静态内存、数值、控制流、并发等分组。

  • 对于编码违规：包含为编码规则标准定义的分组。

    例如，MISRA C™:2012 定义了与代码构造相关的分组，如函数、指针和数组等。

检查

检查结果名称，例如：

  • 对于缺陷：显示缺陷名称

  • 对于编码违规：显示编码规则编号

信息

检查结果子类型（如果可用）。

  • 对于缺陷：显示影响分类。

    对于编码标准：显示必需或强制、规则或建议。

详细信息

有关检查结果的其他信息。该列显示结果详细信息窗格的第一行。

有关如何使用该列的示例，请参阅结果 MISRA C:2012 Dir 1.1 (Polyspace Bug Finder)。

文件包含检查结果发生时所在指令的文件。
函数包含检查结果发生时所在指令的函数。如果该函数是某个类的方法，则它会以 class_name::function_name 格式显示。
状态

您为检查结果分配的审查状态。可能的状态包括：

  • 未审查（默认状态）

  • 待调查

  • 待修复

  • 已申述

  • 未计划任何操作

  • 非缺陷

  • 其他

另请参阅在 Polyspace Access 工程中添加自定义状态。

行源代码中检查结果的行号。
列源代码中检查结果的列号。
严重性

您为检查结果分配的严重性级别。可能的级别包括：

  • 未设置

  • 高

  • 中

  • 低

责任人

为该检查结果分配的评审的用户名。

工单键

为检查结果创建 Bug 跟踪工具 (BTT) 工单时，此字段包含工单 ID。点击结果详细信息中的工单 ID，可在 BTT 界面中打开工单。

注释您输入的有关检查结果的注释。
文件夹包含源文件和检查结果的文件夹的路径。

提示

要显示或隐藏任何列，请点击结果列表窗格右上角的 图标，然后选择或清除要显示或隐藏的列的标题。

您可以使用此窗格来执行以下操作：

  • 浏览检查结果。

  • 使用工具条或上下文菜单中的过滤器组织审查。有关详细信息，请参阅Filter and Sort Results in Polyspace Access Web Interface。

  • 右键点击某个检查结果可获取该检查结果的 URL。在 Web 浏览器中打开此 URL 时，您会看到过滤后仅显示该检查结果的结果列表窗格。

  • 选择多个检查结果可执行批量编辑。要选择多个检查结果，请在按住 Ctrl 键的同时点击每个检查结果。要选择结果列表中当前显示的所有检查结果，请右键点击某个检查结果，然后点击上下文菜单中的全选。

    例如，您可以选择多个检查结果并将它们分配给同一个 Bug 跟踪工具工单。请参阅从 Polyspace Access Web 界面创建 Bug 跟踪工具工单。

  • 复制结果的审查信息，然后您可以将其作为 Polyspace 注解粘贴到您的代码中。要复制审查信息，请右键点击结果列表中的结果，然后选择将预申述添加到剪贴板 > 复制检查结果 findingName 的注解。其中，findingName 是检查结果的名称，例如 Typedef 不匹配或 AUTOSAR C++14 A5-2-6。

    有关向您的代码添加注解的详细信息，请参阅为代码添加注解并隐藏已知或可接受的结果 (Polyspace Bug Finder)。

如果结果列表包含超过 10000 个检查结果，则 Polyspace® Access 会截断该列表并在过滤器栏中显示此图标 。要显示所有检查结果，请参阅该图标的上下文帮助。

To see all findings, hover on the exclamation mark icon and click on the link Show all Results List findings.

10000 个检查结果的限制是预设的且无法更改。