Main Content

通过 Bug 修复或申述在 Polyspace Access 中处理结果

本主题介绍了如何在 Polyspace® Access™ Web 界面中向 Polyspace 结果中添加审查信息。若要了解 Polyspace 桌面端产品的用户界面中的类似工作流,请参阅通过 Bug 修复或申述在 Polyspace 用户界面中处理结果 (Polyspace Bug Finder)

在了解某个 Polyspace 检查结果的根本原因后,您可以修复代码。或者,向 Polyspace 结果中添加审查信息,以便日后修复代码或者对结果进行申述。可以使用该信息来跟踪审查进度。

如果您向结果文件中添加审查信息,则该信息将延用到同一工程的下一次分析的结果中。如果您将相同信息作为注释添加到您的代码(注解),则该信息将延用到代码的任何后续分析中,无论是否在同一工程中。

在“结果详细信息”窗格中添加审查信息

设置状态严重性,还可以选择在结果详细信息窗格中输入带有更多解释的注释。状态表示您对 Polyspace 结果的响应。

如果您不打算修复代码以响应结果,请分配以下状态之一:

  • 已申述

  • 未计划任何操作

  • 非缺陷

这些状态表明您已经给予了适当的考虑并对此结果进行了申述(尽管结果如此,但仍保留了代码)。请注意,后续分析会像以前一样继续显示已申述的结果。例如,之前为橙色的 Code Prover 结果在申述后不会变为绿色。但是,在审查过程中,您可以一键滤除已申述的结果,只关注未申述的结果。请参阅Filter and Sort Results in Polyspace Access Web Interface

Polyspace Test™ 结果可以继承已申述状态。如果为父节点指定已申述状态,则该父节点的所有子节点都会继承该状态。具有继承的已申述状态的子节点会在结果详细信息窗格中显示继承标签。

Polyspace Access 工程中添加自定义状态

如果您的公司对结果使用自定义审查状态,则可以在 Polyspace Access 中添加这些状态。要添加自定义状态,请执行以下操作:

  1. 在 Polyspace 桌面端界面中打开结果。请参阅在桌面端界面中打开 Polyspace Access 结果

  2. 在 Polyspace 桌面端界面中,创建自定义状态。请参阅Create Custom Review Status (Polyspace Bug Finder)

创建状态后,可从结果详细信息窗格的状态下拉列表中获取该状态。您可以从 Polyspace Access 或 Polyspace 桌面端界面指定该自定义状态。

为检查结果指定自定义状态后,可以将该状态应用于同一工程中的其他检查结果。您不能为其他工程中的检查结果指定该自定义状态。

跟踪审查进度

为了给审查工作流提供便利,Polyspace Access 将分析检查结果分类如下:

  • 待处理 - 状态为未审查且需要通过修复或申述加以解决的检查结果。

  • 处理中 - 状态为待修复待调查其他且需要通过修复或申述加以解决的检查结果。

  • 完成 - 状态为已申述未计划任何操作非缺陷的检查结果。

注意

绿色运行时检查、绿色共享变量、非共享变量和代码度量不需要解决或申述。这些检查结果不计入待处理处理中完成检查结果的数量。

控制板透视中,待处理处理中的检查结果被视为打开的问题。如果代码的 Polyspace 分析发现已知或可接受的缺陷或编码违规,您可以通过指定上述已申述状态之一,在后续分析中从打开的问题列表中删除缺陷或违规。

在代码中添加注释或注解

您还可以在代码编辑器中添加特定的代码注释或注解以响应 Polyspace 结果。如果您以特定语法输入代码注释或注解,则在下一次分析代码时,软件可以读取这些代码注释或注解并在结果详细信息中填充严重性状态注释字段。

有关注解语法,请参阅Annotate Code and Hide Known or Acceptable Results (Polyspace Bug Finder)

如果您未在注解中显式指定状态,则 Polyspace 会假定您已将状态设置为未计划任何操作

相关主题