主要内容

Polyspace 用户界面与 Polyspace Access 集成

如果您使用 Polyspace® 桌面端用户界面,则可以将该界面与 Polyspace Access™ 集成,以启用本地计算机与存储在 Polyspace Access 服务器上的结果之间的交互。

要将 Polyspace 用户界面与 Polyspace Access 集成,请执行以下操作:

  1. 在 Polyspace 桌面端用户界面中,转至工具 > 预设项,然后选择服务器配置选项卡。

    Polyspace Preferences window in Polyspace desktop user interface

    如果您使用的是 Polyspace 平台用户界面 (Polyspace Test),请从工具条中选择预设项

    Polyspace Preferences window in Polyspace Platform user interface

  2. 填写以下字段:

    字段描述
    Polyspace Access URL

    按以下格式指定用于登录 Polyspace Access 界面的 URL:

    http(s)://hostName:port
    如果不知道该 URL,请联系您的 Polyspace Access 管理员。

    Client keystore path

    密钥存储文件的路径,您配置 Polyspace Access 以使用 HTTPS 时所用的签名证书即导入此处。请参阅生成客户端密钥库

    如果 Polyspace Access URL 使用 HTTPS,则此字段为必填项。如果该 URL 使用 HTTP(不建议),请将此字段留空。

    Client keystore password

    与密钥存储文件关联的密码。

    如果 Polyspace Access URL 使用 HTTPS,则此字段为必填项。如果该 URL 使用 HTTP(不建议),请将此字段留空。

    若要检查桌面端界面与您在 Polyspace Access URL 字段中指定的 Polyspace Access 实例,请点击 Check Polyspace Access connection。如果需要,请输入您的 Polyspace Access 凭据。在 Polyspace 平台用户界面中,检查 Polyspace Access 连接按钮不可用。

若要将您的 Polyspace 桌面端界面与 Polyspace Access 相关联,请依次点击注册 Polyspace UI确定,然后关闭并重新启动桌面端界面来使更改生效。现在,您可以从 Polyspace Access Web 界面启动桌面端界面并查看打开的结果。在 Polyspace 平台用户界面中,注册 Polyspace UI 按钮不可用。

重新启动桌面端界面后,选择 来执行以下操作:

注意

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

生成客户端密钥库

如果 Polyspace Access 配置为使用 HTTPS,则需要生成一个 Java® 密钥库 (JKS) 文件以启用 Polyspace Access 与客户端计算机上的这些 Polyspace 界面之间的通信:

获取用于配置 Polyspace Access 以使用 HTTPS 的签名证书,并将该证书导入生成的 JKS 文件。

获取 Polyspace Access 签名证书

如果您负责管理 Polyspace Access 软件的安装,请将您在配置 Polyspace Access 以使用 HTTPS 时获取的签名证书复制到客户端计算机。使用 scp 等实用工具将证书从安装 Polyspace Access 的服务器计算机安全地复制到客户端计算机。

如果您是 Polyspace Access 最终用户,请联系您的 Polyspace 管理员以获取签名证书。或者,通过 Web 浏览器下载签名证书

生成 JKS 文件并导入 Polyspace Access 签名证书

要生成 jks 文件,请使用 keytool 密钥和证书管理实用工具。在安装 Polyspace 桌面端或服务器端产品时,以下文件夹中会提供 keytool 实用工具:

  • Windows®: polyspaceroot\sys\java\jre\win64\jre\bin

  • Linux: polyspaceroot/sys/java/jre/glnxa64/jre/bin

polyspaceroot 是您的产品安装文件夹,例如 /usr/local/Polyspace/R2025b

建议您使用 Polyspace 桌面端或服务器端产品安装中附带的 keytool 实用工具来生成密钥库文件。备用 JDK(例如 OpenJDK)中的 keytool 实用工具可能会生成具有不兼容格式的密钥库文件,因此不应使用。

例如,如果您获取了 Polyspace Access 签名证书文件 admin_cert.cer,请使用以下命令生成对应的 JKS 文件:

keytool -import -trustcacerts -alias cert -file admin_cert.cer -keystore client-cert.jks -storepass password
此命令输出文件 client-cert.jks。与此密钥库文件关联的密码是 password

通过 Web 浏览器下载签名证书

要下载 Polyspace Access 签名证书的副本,请按照 Web 浏览器中有关如何查看和下载证书的说明进行操作。

下载证书后,请按照生成 JKS 文件并导入 Polyspace Access 签名证书中的说明生成客户端密钥库。

注意

通过 Web 浏览器下载签名证书之前,请与您的网络安全管理员联系。如果您的网络没有针对未经授权的访问实施防护措施,则通过浏览器下载证书可能容易遭受中间人 (MITM) 攻击。

另请参阅

主题