Install Polyspace Test on Desktop

You can use Polyspace^® Test™ to manage and execute unit and integration tests for C and C++ code, and to perform code coverage analysis.

For an overview of all Polyspace products, see Polyspace Products and Software Development Workflows (Polyspace Bug Finder).

Product Installation

To install Polyspace Test, run the MathWorks^® installer, follow the prompts, and provide your product license. You can get the installer and license by purchasing the product or requesting a trial. For detailed instructions, see Installation and Licensing.

To install the products non-interactively or silently at the command line, see Install Products Noninteractively.

Installation Folder

The installer selects a default installation folder based on your operating system and the release version. During installation, you can change this default folder if needed.

For instance, the default installation folder for release R2026a is listed here.

Operating System	Default Installation Folder
Windows^®	`C:\Program Files\Polyspace\R2026a`
Linux^® (most distributions)	`/usr/local/Polyspace/R2026a`

Post-Installation Steps

After you install Polyspace Test, you can open the Polyspace Platform user interface or run command-line executables.

To open the Polyspace Platform user interface, double-click the Polyspace Test R2026a shortcut on your desktop or run the executable polyspaceroot\polyspace\bin\polyspace-desktop-ui, where polyspaceroot is the Polyspace installation folder, for instance, C:\Program Files\Polyspace\R2026a.
To run command-line executables such as polyspace-code-profiler and polyspace-test, open a command prompt and enter commands such as:
```
polyspaceroot\polyspace\bin\polyspace-code-profiler -h
```
Alternatively, you can add the path polyspaceroot\polyspace\bin to the PATH environment variable in your operating system. Then, instead of entering the full path to command-line executables, you can simply enter commands such as:
```
polyspace-code-profiler -h
```

Install Polyspace Test with Other Polyspace Products

To install Polyspace Test and Polyspace static analysis products, such as Polyspace Bug Finder™ and Polyspace Code Prover™, you must run the MathWorks installer twice. However, you can use all products from within the same user interface (the Polyspace Platform user interface) as long as you choose the same installation folder during installation.

For instance, to use Polyspace Test and Polyspace Bug Finder from within the same user interface, run the MathWorks installer twice:

In one run, select the license file that corresponds to Polyspace Test, select an installation folder, and install Polyspace Test.
In a second run, select the license file that corresponds to Polyspace Bug Finder, select the same installation folder as the previous run, and install Polyspace Bug Finder.

If you do not have Polyspace Bug Finder installed in the same folder as Polyspace Test and try to run static analysis in the Polyspace Platform user interface, you might see errors such as:

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

Install Older Polyspace Product Versions

If you download the MathWorks installer from MathWorks Downloads, you get the latest update of the product release you are installing.

To install a previous update of the product, follow these steps:

From MathWorks Downloads, select the product release and from the I Want To dropdown, instead of Install Products, select Get ISOs and DMGs.
Select the release and update number that you want to install from the Select Release and Select Update dropdown.
From the section Get ISOs and DMGs for MATLAB and Simulink Products, download the MathWorks installer.
Start the installer and provide your MathWorks Account information. If you have a license for the Polyspace products, you should see the product licenses listed in the Select license table. Select the appropriate product license and continue the installation. For more information on this workflow, see Install Products Noninteractively.