在桌面端安装 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是 Polyspace 的安装文件夹,例如polyspacerootC:\Program Files\Polyspace\R2026a。要运行
polyspace-code-profiler和polyspace-test等命令行可执行文件,请打开命令提示符并输入相应命令,例如输入以下命令:或者,您可以将路径polyspaceroot\polyspace\bin\polyspace-code-profiler -h
添加到您的操作系统中的polyspaceroot\polyspace\binPATH环境变量中。然后,您便无需输入可执行文件的完整路径,而是只需输入以下命令:polyspace-code-profiler -h
安装 Polyspace Test 和其他 Polyspace 产品
要安装 Polyspace Test 和 Polyspace 静态分析产品(例如 Polyspace Bug Finder™ 和 Polyspace Code Prover™),您必须运行 MathWorks 安装程序两次。但是,只要您在安装过程中选择相同的安装文件夹,您就可以在同一用户界面(Polyspace 平台用户界面)内使用所有产品。
例如,要在同一用户界面内使用 Polyspace Test 和 Polyspace Bug Finder,您必须运行 MathWorks 安装程序两次:
在一次运行时,选择与 Polyspace Test 对应的许可证文件,选择安装文件夹,然后安装 Polyspace Test。
在第二次运行时,选择与 Polyspace Bug Finder 对应的许可证文件,选择与上一次运行相同的安装文件夹,然后安装 Polyspace Bug Finder。
如果您在未将 Polyspace Bug Finder 与 Polyspace Test 安装在相同文件夹中的情况下,尝试在 Polyspace 平台用户界面中运行静态分析,您可能会看到如下错误:
This feature requires the Polyspace Bug Finder product to be installed.安装较早的 Polyspace 产品版本
如果您从 MathWorks 下载页面下载 MathWorks 安装程序,您将获得所安装产品版本的最新更新。
要安装产品的先前更新,请按照以下步骤操作:
从 MathWorks 下载页面中,选择产品版本,然后在我要下拉列表中,选择获取 ISO 和 DMG,而不是安装产品。
从选择版本和选择更新下拉列表中,选择您想要安装的版本和更新编号。
从获取适用于 MATLAB 和 Simulink 产品的 ISO 和 DMG 部分,下载 MathWorks 安装程序。
启动安装程序,并提供您的 MathWorks 帐户信息。如果您拥有 Polyspace 产品的许可证,您应该会在选择许可证表中看到列出的产品许可证。选择合适的产品许可证,然后继续进行安装。有关此工作流的详细信息,请参阅以非交互方式安装产品。