Main Content

从 Polyspace Access 打开或导出结果

Polyspace® Access™ 提供了一个集中式数据库,您可以在其中存储 Polyspace 分析结果,以便与您的团队共享结果并进行协同审查。将分析结果上传到数据库后,您可以:

  • 在 Web 浏览器中查看结果。

  • 从为 Polyspace Access 配置的任何 Polyspace 桌面端界面打开结果。

  • 将结果列表导出为制表符分隔值 (TSV) 文件以进行进一步处理,例如应用自定义过滤器和通过/失败标准。

  • 使用 polyspace-access 命令下载结果。您可以使用这些下载的结果在 Polyspace Access 工程之间合并审查信息,或将其用作 Polyspace as You Code 中基线工作流的一部分。另请参阅:

    您无法在任何 Polyspace 界面中打开使用 polysace-access 下载的结果。

本主题的其余部分探讨如何在桌面端界面中打开 Polyspace Access 结果以及如何将结果导出为 TSV 文件。

在桌面端界面中打开 Polyspace Access 结果

您必须先将 Polyspace 桌面端界面配置为与 Polyspace Access 进行通信,然后才能在桌面端界面中打开 Polyspace Access 结果。请参阅将 Polyspace 用户界面与 Polyspace Access 集成

要打开存储在 Polyspace Access 数据库中的结果,请转至桌面端界面中的 Access > 打开结果,然后按照提示操作。如果您收到登录请求,请使用您的 Polyspace Access 登录凭据。

您也可以从 Polyspace Access Web 界面打开桌面端界面。在工具条中,点击在桌面端打开。桌面端界面会打开并显示当前显示在 Polyspace Access Web 界面中的分析结果。

注意

在 Linux® 中,桌面端界面必须已打开,您才能查看当前在 Polyspace Access 中打开的分析结果。

在 Polyspace 桌面端界面中打开结果后,您对状态严重性或注释字段所做的更改会在您保存这些更改后反映在 Polyspace Access 中。

如果您在桌面端界面中打开您上传到 Polyspace Access 的结果的本地副本,结果详细信息窗格中的审查字段将是只读状态。您无法编辑状态严重性或注释字段。

将 Polyspace Access 结果导出为 TSV 文件

要将 Polyspace Access 结果导出为制表符分隔值 (TSV) 文件,您只能使用 polyspace-access 二进制文件从命令行导出。当您导出结果时,会生成一个 TSV 文件,其中所列结果的大多数结果属性都与Polyspace Access Web 界面中的结果列表相同。每个列出的结果还包含一个 URL,您可以通过该 URL 在 Polyspace Access 中打开相关结果。要过滤导出的结果列表,请参阅 polyspace-access 导出选项。

例如,要从存储在 Polyspace Access 的 public 文件夹中的工程 myProject 中导出状态为未审查的所有编码规则,请打开命令提示符终端并输入以下命令:

polyspace-access -host hostName -port port ^
-export public/myProject -coding-rules -review-status Unreviewed ^
-output coding_rules.tsv

该命令会提示您输入 Polyspace Access 登录凭据,然后输出 coding_rules.tsv 文件。

hostNameport 对应于您在 Polyspace Access 界面的 URL 中指定的主机名和端口号,例如 https://hostName:port/metrics/index.html。如果您不确定要使用的主机名和端口号,请联系您的 Polyspace Access 管理员。根据您的配置,您可能还必须在命令中指定 -protocol 选项。请参阅配置并启动 Cluster Admin

另请参阅

相关主题