在命令行中安装 Polyspace Server 产品

本主题介绍如何通过命令行安装 Polyspace® Server 产品。或者，您也可以创建一个 Docker 镜像以运行 Polyspace Server 产品。

Polyspace Server 产品支持在持续集成 (CI) 服务器端自动运行 Polyspace。您可以通过终端或使用 Azure® 或 AWS® 等云计算平台访问此服务器。请使用以下两种安装方法之一执行命令行安装。

安装方法 1 - 使用 MATLAB 包管理器

使用 MATLAB® 包管理器 (mpm) 从操作系统命令行安装 Polyspace Server 产品。如果您计划在容器内运行 Polyspace，可以使用 Polyspace Dockerfile 构建一个自定义的 Polyspace Docker® 容器。

前提条件

使用 mpm 开始安装之前：

  • 确认您的电脑是否能访问 Internet。此示例使用 mpm 从 mathworks.com 下载产品文件。如果您已经使用交互式安装程序下载了产品，或者已装载了产品 ISO 镜像，可以使用 --source 参量选择安装源。

  • 下载 MATLAB 包管理器。有关下载 MATLAB 包管理器的最新版本的信息，请参阅获取 MATLAB 包管理器。

  • 要安装网络许可证管理器，请执行以下操作：有关安装网络许可证管理器的详细信息，请参阅如何安装网络许可证管理器？

  • 对于 Linux 安装，需要在您的计算机上安装所有 Polyspace 依赖项。从 R2024a 起，在容器中运行 Polyspace 产品所需要的 Polyspace 依赖项已包含在对应产品的 Dockerfile 中。请参阅 Polyspace Bug Finder Server 和 Polyspace Code Prover Server。

    如果安装 R2023b、R2023a 或 R2022b，请转至 GitHub® 上的 Polyspace 依赖项存储库查看依赖项列表。然后打开位于文件夹 release/system 中的 base-dependencies.txt，其中 release 是您的 Polyspace 发行版本，system 是您的操作系统，例如 r2023b/ubuntu22.04。

安装步骤

运行 mpm install 命令以使用 Linux 终端或 Windows 命令行安装 Polyspace Server 产品。有关选项和 Windows 命令示例，请参阅 mpm install。

要运行 mpm install 命令并在 Linux 上安装 R2025a 发行版，请运行以下命令。 

./mpm install --release=R2025a --destination=/home/<USER>/polyspace \
--products Polyspace_Bug_Finder_Server Polyspace_Code_Prover_Server

在指向许可证服务器的客户端计算机上创建一个网络许可证文件。

  1. 创建一个名称为 network.lic 的纯文本文件。

  2. 在文件的第一行，从许可证服务器上的 license.dat 文件中复制 SERVER 行。此行包含许可证服务器的主机名和主机 ID 以及运行许可证管理器的网络端口。

  3. 在此文件的第二行，添加文本 USE_SERVER。

    您的文件应类似于以下所示：

    network.lic
    SERVER my-license-server-hostname 00A1B2C3D4E5 27000
USE_SERVER

  4. 将此文件放在每个已安装产品的 productroot/licenses 文件夹下。

将安装添加到您的 PATH 变量。 

export PATH=<polyspaceroot>/polyspace/bin/:$PATH

通过运行 polyspace-bug-finder-server 或 polyspace-code-prover-server 命令执行 Polyspace 分析，以测试您的安装。导航到 polyspaceroot/polyspace/bin（其中 polyspaceroot 是您的安装文件夹），并运行以下命令：

./polyspace-bug-finder-server \
-sources ../examples/cxx/Bug_Finder_Example/sources/main.c -results-dir /tmp/BF_result

安装方法 2 - 静默安装程序

如果 MATLAB 包管理器无法使用，请使用静默安装程序方法来安装 Polyspace Server 产品。

要运行 Polyspace Server 产品，您必须安装这些产品和用于管理许可证的网络许可证管理器。

前提条件

在从命令行开始安装之前，请注意以下事项：

  • 您必须有来自 MathWorks® 的许可证文件（.lic 文件），以及此许可证的文件安装密钥。要获取许可证文件和文件安装密钥，请在许可证中心中激活 Polyspace。

  • 必须安装网络许可证服务器。有关安装网络许可证管理器的详细信息，请参阅如何安装网络许可证管理器？

安装步骤

按照说明以编程方式安装产品。

安装后，cd 至 polyspaceroot/polyspace/bin（其中 polyspaceroot 是您的安装文件夹），然后运行以下命令：

./polyspace-bug-finder-server -help
如果未看到此子文件夹或者出现其他错误，则可能表示安装没有成功完成。检查安装日志。

通过运行 polyspace-bug-finder-server 或 polyspace-code-prover-server 命令执行 Polyspace 分析，以测试您的安装。导航到 polyspaceroot/polyspace/bin（其中 polyspaceroot 是您的安装文件夹），并运行以下命令：

./polyspace-bug-finder-server \
-sources ../examples/cxx/Bug_Finder_Example/sources/main.c -results-dir /tmp/BF_result

另请参阅

外部网站