主要内容

在桌面端安装 Polyspace Test

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

有关所有 Polyspace 产品的概述,请参阅Polyspace 产品和软件开发工作流 (Polyspace Bug Finder)

产品安装

要安装 Polyspace Test,请运行 MathWorks® 安装程序,按照提示进行操作,并提供您的产品许可证。您可以通过购买产品或申请试用版来获取安装程序和许可证。有关详细说明,请参阅安装和许可

要在命令行以非交互方式或静默方式安装产品,请参阅以非交互方式安装产品

安装文件夹

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

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

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

安装后步骤

安装 Polyspace Test 后,您可以打开 Polyspace 平台用户界面或运行命令行可执行文件。

  • 要打开 Polyspace 平台用户界面,请双击桌面上的 Polyspace Test R2026a 快捷方式或运行可执行文件 polyspaceroot\polyspace\bin\polyspace-desktop-ui,其中 polyspaceroot 是 Polyspace 的安装文件夹,例如 C:\Program Files\Polyspace\R2026a

  • 要运行 polyspace-code-profilerpolyspace-test 等命令行可执行文件,请打开命令提示符并输入相应命令,例如输入以下命令:

    polyspaceroot\polyspace\bin\polyspace-code-profiler -h
    或者,您可以将路径 polyspaceroot\polyspace\bin 添加到您的操作系统中的 PATH 环境变量中。然后,您便无需输入可执行文件的完整路径,而是只需输入以下命令:
    polyspace-code-profiler -h

安装 Polyspace Test 和其他 Polyspace 产品

要安装 Polyspace Test 和 Polyspace 静态分析产品(例如 Polyspace Bug Finder™Polyspace Code Prover™),您必须运行 MathWorks 安装程序两次。但是,只要您在安装过程中选择相同的安装文件夹,您就可以在同一用户界面(Polyspace 平台用户界面)内使用所有产品。

例如,要在同一用户界面内使用 Polyspace TestPolyspace Bug Finder,您必须运行 MathWorks 安装程序两次:

  • 在一次运行时,选择与 Polyspace Test 对应的许可证文件,选择安装文件夹,然后安装 Polyspace Test

  • 在第二次运行时,选择与 Polyspace Bug Finder 对应的许可证文件,选择与上一次运行相同的安装文件夹,然后安装 Polyspace Bug Finder

如果您在未将 Polyspace Bug FinderPolyspace Test 安装在相同文件夹中的情况下,尝试在 Polyspace 平台用户界面中运行静态分析,您可能会看到如下错误:

This feature requires the Polyspace Bug Finder product to be installed.

安装较早的 Polyspace 产品版本

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

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

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

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

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

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