Main Content

Polyspace Access Web 界面中的结果列表

本主题主要介绍 Polyspace® Access Web 界面。要了解 Polyspace 桌面端用户界面中的等效窗格,请参阅Results List in Polyspace Desktop User Interface (Polyspace Bug Finder)

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

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

属性描述
族别检查结果所属的组。
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

    有关向您的代码添加注解的详细信息,请参阅Annotate Code and Hide Known or Acceptable Results (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 个检查结果的限制是预设的且无法更改。