Polyspace 平台用户界面中的“结果列表”

结果列表窗格会列出所有结果及其属性。为了便于结果审查，可使用任务栏中的过滤器或点击某一列以按所选的列对结果列表进行排序。请参阅Filter and Sort Results in Polyspace Platform User Interface。

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

属性描述
族别 结果所属的族别。
ID 结果的唯一标识号。
类型 缺陷或编码违规。
分组

结果的类别，例如：

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

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

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

检查

结果名称，例如：

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

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

信息

有关结果的其他信息。例如，

  • 对于代码度量：度量所测量的值，如文件中不含注释的行的总数。

  • 对于缺陷：影响值。

  • 对于编码违规：规则类别，例如必需或建议。

详细信息

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

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

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

结果所在行号。

列

结果所在列号。

状态

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

  • 未审查（默认状态）

  • 待调查

  • 待修复

  • 已申述

  • 未计划任何操作

  • 非缺陷

  • 其他

要创建和使用自定义审查状态，请参阅Create Custom Review Statuses。

严重性

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

  • 未设置

  • 高

  • 中

  • 低

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

使用此窗格，您可以：