Adding custom labels to project runs carried out in Polyspace Server R2021a

I want to customize project run IDs so that they contain useful information and become easily identifiable. My projects are analyzed in Polyspace Code Prover Server and the results are uploaded onto Polyspace Access for review. Both my Polyspace Server and Polyspace Access are in version R2021a.

I found the functionality of adding custom labels to project runs, as documented here:

https://uk.mathworks.com/help/releases/R2022b/codeprover/ug/add-labels-to-project-runs-in-polyspace-access-web-interface.html

I cannot access this functionality from my version of Polyspace. I can upgrade my Polyspace Access to R2022b but I cannot upgrade my Polyspace Code Prover Server to any version newer than R2021a. Can I still use this new feature?

Answer 1

[MathWorks Support Team]

The functionality of assigning custom labels to project runs is a feature under Polyspace Access and is available from release R2022a. Further information can be found in the Release Notes linked below, under the section "R2022a > Reviewing Results > Polyspace Access Project Runs: Add labels to analysis runs that you upload to a project":

https://www.mathworks.com/help/codeprover/release-notes.html?category=reviewing-results&rntext=Polyspace+Access+Project+Runs%3A+Add+labels+to+analysis+runs+that+you+upload+to+a+project&startrelease=R2022a&endrelease=R2022a&groupby=release&sortby=descending

If you upgrade Polyspace Access to R2022b without upgrading other Polyspace products (including Polyspace Code Prover, Polyspace Code Prover Server, Polyspace Bug Finder, Polyspace Bug Finder Server), you can still run an analysis on these Polyspace products, then upload the results to Polyspace Access for review. This is because Polyspace Access is backward compatible with older versions of Polyspace products, so it is safe to upload results from an older version of Polyspace to the latest Polyspace Access.

You should then be able to label the runs in the Polyspace Access User Interface as long as it is in a version later than R2022a. However, you would not be able to add labels from the command line in your release of Polyspace Code Prover Server.

To be able to label project runs automatically from the command line, an upgrade of both Polyspace Code Prover Server and Polyspace Access to R2022a or later would be required.