Register Polyspace Desktop User Interface

To enable interactions between a Polyspace desktop user interface and Polyspace^® Access, start the desktop interface and go to Tools > Preferences.

In the Server Configuration tab, complete these fields:

• Polyspace Access URL: Specify the URL you use to log into the Polyspace Access interface as http(s)://hostName:port. If you do not know the URL, contact your Polyspace Access administrator.

• Client keystore path: path to the key store file where you imported the signed certificate use to configure Polyspace Access with HTTPS. See Generate a Client Keystore.

  If the Polyspace Access URL does not use HTTPS, leave this field blank.

• Client keystore password: The password associated with the key store file.

  If the Polyspace Access URL does not use HTTPS, leave this field blank.

To associate your Polyspace desktop interface with Polyspace Access, click Register Polyspace UI, click OK, and then close and restart the desktop interface for the changes to take effect. From the Polyspace Access web interface, you can now start the desktop interface and view currently opened results.

Once you restart the desktop interface, select Access to:

• Open the Polyspace Access web interface.

• Open analysis results from the Polyspace Access database.

• Upload analysis results to the Polyspace Access database.

Note

In Linux^®, the desktop interface must already be open before you can view results currently open in Polyspace Access.

Generate a Client Keystore

If you configure the Polyspace Access to use the HTTPS protocol, you must generate a Java^® Key Store (JKS) file to enable communications between Polyspace Access and the desktop interface, or the polyspace-report-generator and polyspace-results-export binaries. You import the signed certificate that you used to configure Polyspace Access with HTTPS to the JKS file you generate. See Choose Between HTTP and HTTPS Configuration for Polyspace Access.

To generate the jks file, use the keytool key and certificate management utility. To use keytool you must have Java Platform, Standard Edition Development Kit (JDK) installed on your machine. keytool is available from the Java installation folder, for instance:

• Windows^®: C:\Program Files\Java\jdk1.8.0_181\bin\keytool.exe

• Linux: /usr/bin/keytool or %JAVA_HOME%/bin/keytool

If you have a MathWorks^® product other than Polyspace Access installed on your machine, for example Polyspace Bug Finder™ Server™, keytool is available in that product installation folder under matlab/sys/java/jre/$ARCH/jre/bin.

$ARCH is a platform specific folder such as glnxa64.

For example, if you used signed certificate admin_cert.cer to configure HTTPS for Polyspace Access, generate the corresponding JKS file by using this command:

keytool -import -trustcacerts -alias cert -file admin_cert.cer -keystore client-cert.jks -storepass password

The command outputs file client-cert.jks. The password associated with this key store file is password.

Related Topics

• Upload Results from the Desktop Interface