主要内容

在服务器端安装 Polyspace Test

您可以使用 Polyspace® Test™ 管理和执行 C 和 C++ 代码单元测试和集成测试,以及执行代码覆盖率分析。

您可以在服务器级别的计算机上运行 Polyspace Test,并使用以下产品通过 Web 浏览器审查结果:

  • 管理和执行测试的 Polyspace Test

  • 基于 Web 浏览器对测试结果进行审查的 Polyspace Access™

通过将这些产品与自动化编译工具配合使用,您可以将 Polyspace 分析集成到持续集成系统中。

您需要安装什么

在持续集成过程中,开发人员将代码提交到共享存储库。自动化编译系统定期或基于预定义的触发器对每次提交的代码进行编译和测试,然后对代码进行集成。您可以在此过程中运行 Polyspace。

产品安装

要执行此工作流,您必须在充当服务器的计算机上安装以下产品:

安装文件夹

安装程序会根据您的操作系统和发行版本选择默认安装文件夹。在安装过程中,您可以根据需要更改此默认文件夹。

例如,下面列出了版本 R2026a 的默认安装文件夹。

操作系统默认安装文件夹
Windows®C:\Program Files\Polyspace\R2026a
Linux®(大多数发行版)/usr/local/Polyspace/R2026a

用于运行测试的 Polyspace 产品

安装 Polyspace Test 以运行分析并将结果上传到 Web 界面以进行审查。

检查 Polyspace 安装

要检查 Polyspace Test 是否安装成功,请执行以下操作:

  1. 打开一个命令行窗口。导航到 polyspaceserverroot\polyspace\bin。其中,polyspaceserverrootPolyspace Test 的安装文件夹,例如 C:\Program Files\Polyspace\R2026a

  2. 输入:

    polyspace-test -help

您应该会看到 polyspace-test 命令可以使用的选项的列表。

要检查是否已设置 Polyspace Access Web 界面以上传结果,请执行以下操作:

  1. 再次导航到 polyspaceserverroot\polyspace\bin

  2. 输入:

    polyspace-access -host hostName -port portNumber -create-project testProject

    其中,hostName 是托管 Polyspace Access Web 服务器的服务器的名称。对于本地托管的服务器,请使用 localhostportNumber 是服务器的可选端口号。如果省略端口号,则将使用 9443

    如果连接成功,则会在 Polyspace Access Web 界面中创建一个名为 testProject 的工程。

  3. 在 Web 浏览器中打开以下 URL:

    https://hostName:portNumber/metrics/index.html
    其中,hostNameportNumber 是上一步骤中的主机名和端口号。

在 Polyspace Access Web 界面上的工程资源管理器窗格中,您会看到新创建的工程 testProject

安装 Polyspace 和其他 MathWorks 产品

安装其他 Polyspace 产品

要安装其他 Polyspace 基础产品,请为每个基础产品再次运行 MathWorks 安装程序。

Polyspace Test 和 Bug Finder 服务器端产品是独立的基础产品。您通常可将 Code Prover 服务器端产品作为 Bug Finder 服务器端产品安装的一部分进行安装。

例如,要安装 Polyspace Test 和 Polyspace Bug Finder™ Server™,请运行安装程序两次。在每次运行中,请选择适当的许可证并按照提示进行操作。您不能将 Bug Finder 和 Code Prover 服务器端产品与其他 Polyspace 产品安装在同一安装文件夹中。

安装其他 MathWorks 产品

要安装 Polyspace 和其他 MathWorks 产品(例如 MATLAB®),请运行 MathWorks 安装程序两次。

  • 在第一次运行时,选择与其他 MathWorks 产品(例如 MATLAB、Simulink® 或 Embedded Coder®)对应的许可证。

  • 在第二次运行时,选择与 Polyspace 产品对应的许可证。如果您要安装多个 Polyspace 基础产品,请参阅安装其他 Polyspace 产品

在此工作流中,MATLAB 和 Simulink 等产品将安装在与 Polyspace 产品不同的根文件夹中。您可以将两个安装链接起来,并使用 MATLAB 脚本来运行 Polyspace。请参阅将 Polyspace 与 MATLAB 和 Simulink 集成 (Polyspace Bug Finder)

安装较早的 Polyspace 产品版本

如果您从 MathWorks 下载页面下载 MathWorks 安装程序,您将获得所安装产品版本的最新更新。

要安装产品的先前更新,请按照以下步骤操作:

  1. MathWorks 下载页面中,选择产品版本,然后在我要下拉列表中,选择获取 ISO 和 DMG,而不是安装产品

  2. 选择版本选择更新下拉列表中,选择您想要安装的版本和更新编号。

  3. 获取适用于 MATLAB 和 Simulink 产品的 ISO 和 DMG 部分,下载 MathWorks 安装程序。

  4. 启动安装程序,并提供您的 MathWorks 帐户信息。如果您拥有 Polyspace 产品的许可证,您应该会在选择许可证表中看到列出的产品许可证。选择合适的产品许可证,然后继续进行安装。有关此工作流的详细信息,请参阅以非交互方式安装产品