上传示例并打开 Polyspace Access 界面

前提条件

若要开始使用 Polyspace® Access™，请将结果上传到 Polyspace Access 数据库并打开 Web 界面查看这些结果。

上传示例

从命令行上传结果

要上传 Polyspace Bug Finder™ Server™ 或 Polyspace Code Prover™ Server 安装所提供的示例，请从命令行转至 polyspaceroot\polyspace 并运行以下命令：

bin\polyspace-access -host hostname -port port^
-upload examples\cxx\Bug_Finder_Example\Module_1\BF_Result
polyspaceroot 是 Polyspace 安装的路径。hostname 是托管 Polyspace Access 的计算机的完全限定域名 (FQDN)。port 是在启动 admin-docker-agent 二进制文件时指定的端口号。有关从命令行上传结果的详细信息，请参阅通过命令行上传结果 (Polyspace Bug Finder)。

在执行每个命令后，系统都会提示您输入用户名和密码。输入用于登录 Polyspace Access 的凭据。

您无法使用命令行将 Polyspace 桌面端产品分析的结果上传到 Polyspace Access 数据库。

从桌面端界面上传结果

要上传 Polyspace Bug Finder 或 Polyspace Code Prover 提供的演示示例，请执行以下操作：

  1. 在桌面端界面中打开示例，并在工程浏览器窗格中选择结果或者切换到结果列表窗格。

  2. 从菜单中点击 Access > 上传结果。如果提示您登录，请使用您的 Polyspace Access 凭据。

  3. 在将结果上传到 Polyspace Access 存储库窗口中，点击文件夹选择一个上传位置，然后点击 上传。您还可以对工程进行重命名。

您也可以在工程浏览器窗格中选择一个结果，然后使用上下文菜单将其上传到 Polyspace Access 数据库。

您必须配置桌面端界面才能与 Polyspace Access 进行通信。请参阅将 Polyspace 用户界面与 Polyspace Access 集成。

将结果上传到 Polyspace Access 后：

  • 如果在桌面端界面中打开结果的本地副本，将无法更改 Status、Severity 或 comment 字段。

  • 要更改状态、严重性或“注释”字段，请转至 Access > 打开结果，从 Polyspace Access 打开结果。

    在桌面端界面中保存您对这些字段所做的更改后，这些更改将反映在 Polyspace Access Web 界面中。

打开 Polyspace Access Web 界面

若要打开 Polyspace Access 界面，请在 Cluster Dashboard 中点击 Open UI。

In the Cluster Admin interface, on the Cluster Dashboard window, the Open UI link appears on the Polyspace Access row.

从地址栏复制 URL（例如 https://access-machine.company.com:9443/metrics/index.html）并将其分享给 Polyspace Access 用户。使用此 URL，用户可以从连接到 Polyspace Access 托管服务器的任何计算机上打开 Polyspace Access 界面。

完成安装后，关闭 Cluster Admin 界面并在命令行中按 Ctrl+C 停止 admin-docker-agent 二进制文件。如果您在关闭界面之前停止二进制文件，则 App 状态将列为未知状态。

另请参阅

主题