将 Polyspace 平台用户界面与 Polyspace Access 集成
您可以将 Polyspace® 平台用户界面与 Polyspace Access™ 集成，这样便可以从本地计算机向 Polyspace Access 服务器上传结果。
要将 Polyspace 平台用户界面与 Polyspace Access 集成，请执行以下操作：
在 Polyspace 平台用户界面中，从工具条中选择设置以打开“Polyspace 平台设置”窗口。
选择 Polyspace Access 并指定以下设置：
字段 描述 Polyspace Access URL 用于登录 Polyspace Access 界面的 URL，按以下格式指定：
或https://hostName:port
如果不知道该 URL，请联系您的 Polyspace Access 管理员。http://hostName:port
Client keystore path 密钥库文件的路径，您配置 Polyspace Access 以使用 HTTPS 时所用的签名证书即导入此处。请参阅生成客户端密钥库。
如果 Polyspace Access URL 使用 HTTPS，则此字段为必填项。如果该 URL 使用 HTTP（不建议），请将此字段留空。
Client keystore password 与密钥库文件关联的密码。
如果 Polyspace Access URL 使用 HTTPS，则此字段为必填项。如果该 URL 使用 HTTP（不建议），请将此字段留空。
重新启动 Polyspace 平台用户界面以使更改生效。重新启动 Polyspace 平台用户界面后，请从工具条中选择访问以执行以下操作：
打开 Polyspace Access Web 界面。
将分析结果上传到 Polyspace Access 数据库。此选项仅在您以审查透视查看结果时才会显示。
为存储在 Polyspace Access 数据库中的结果生成报告。请参阅Generate Reports of Bug Finder or Code Prover Results (Polyspace Bug Finder)。
生成客户端密钥库
如果 Polyspace Access 配置为使用 HTTPS，则需要生成一个 Java® 密钥库 (JKS) 文件以实现 Polyspace Access 与客户端计算机上的以下 Polyspace 界面之间的通信：
Polyspace 平台用户界面
polyspace-report-generator(Polyspace Bug Finder) 二进制文件polyspace-results-export(Polyspace Bug Finder) 二进制文件
获取用于配置 Polyspace Access 以使用 HTTPS 的签名证书，并将该证书导入生成的 JKS 文件。
获取 Polyspace Access 签名证书
如果您负责管理 Polyspace Access 软件的安装，请将您在配置 Polyspace Access 以使用 HTTPS 时获取的签名证书复制到客户端计算机。使用 scp 等实用工具将证书从安装 Polyspace Access 的服务器计算机安全地复制到客户端计算机。
如果您是 Polyspace Access 最终用户，请联系您的 Polyspace 管理员以获取签名证书。您也可以从 Web 浏览器下载签名证书。请参阅通过 Web 浏览器下载签名证书。
生成 JKS 文件并导入 Polyspace Access 签名证书
要生成 JKS 文件，请使用 keytool 密钥和证书管理实用工具。在安装 Polyspace 桌面端或服务器端产品时，以下文件夹中会提供 keytool 实用工具：
Windows®:
polyspaceroot\sys\java\jre\win64\jre\binLinux®:
polyspaceroot/sys/java/jre/glnxa64/jre/bin
其中，polyspaceroot 是您的产品安装文件夹，例如 /usr/local/Polyspace/R2026a。
建议您使用 Polyspace 桌面端或服务器端产品安装中附带的 keytool 实用工具来生成密钥库文件。备用 JDK（例如 OpenJDK）中的其他 keytool 实用工具可能会生成具有不兼容格式的密钥库文件，因此不应使用。此外，生成密钥库时，请保持用户版本与 Polyspace 版本一致。例如，如果您使用的是 R2026a 版本的 Polyspace，则应使用 R2026a 版本的 keytool 实用工具。
例如，如果您获取了 Polyspace Access 签名证书文件 admin_cert.cer，请使用以下命令生成对应的 JKS 文件：
keytool -import -trustcacerts -alias cert -file admin_cert.cer -keystore client-cert.jks -storepass passwordclient-cert.jks。与此密钥库文件关联的密码是 password。通过 Web 浏览器下载签名证书
要下载 Polyspace Access 签名证书的副本，请按照 Web 浏览器中有关如何查看和下载证书的说明进行操作。
下载证书后，请按照生成 JKS 文件并导入 Polyspace Access 签名证书中的说明生成客户端密钥库。
注意
通过 Web 浏览器下载签名证书之前，请与您的网络安全管理员联系。如果您的网络没有针对未经授权的访问实施防护措施，则通过 Web 浏览器下载证书可能容易遭受中间人 (MITM) 攻击。
