Until R2018b
You can do this as follows:
set MATLAB=C:\Program Files\MATLAB\R2018a "%MATLAB%\polyspace\bin\polyspace-results-repository.exe" -download -f -prog Code_Prover_Example -verif-version 1.1 -product "Code Prover" Results_SQO "%MATLAB%\polyspace\bin\polyspace-report-generator.exe" -results-dir Results_SQO -template "%MATLAB%\toolbox\polyspace\psrptgen\templates\metrics\SoftwareQualityObjectives_Summary.rpt" -format PDF
The first command
polyspace-results-repository
(after the set) is downloading the results 1.1 from the project Code_Prover_Example into the results folder
Results_SQO
.
The next command polyspace-report-generator is launching the report generation using the template SoftwareQualityObjectives_Summary.rpt in PDF format for the results in the results folder Results_SQO.
The SQO level will be the one set in Polyspace Metrics.
Since R2019a
To begin, you need to upload your Polyspace Bug Finder and Polyspace Code Prover results to the Polyspace Access repository.
Next, for the project, you must explicitly define a Software Quality Objective (SQO) level. This can be done either through the web interface or via the command line using:
polyspace-access -set-sqo
Refer to the documentation for more details: SQO Documentation
Once the SQO level is assigned to the project, you can generate a report using one of the two SQO-specific templates:
- SoftwareQualityObjectives.rpt
- SoftwareQualityObjectives_Summary.rpt
For example, on a Windows system, you can define the template path and select the desired template as follows:
SET templatepath="C:\Program Files\Polyspace\R2025a\toolbox\polyspace\psrptgen\templates\sqo\"
SET reporttemplate=%template_path%\SoftwareQualityObjectives.rpt
Then, generate the report using the polyspace-report-generator command. Replace the placeholders with your actual values (see PolyspaceReportGenerator documentation):
polyspace-report-generator -host myAccessServer -credentials-file myCredentials.txt ^
-template %report_template% ^
-format PDF -run-id 16 ^
-output-name myReport.pdf
The resulting myReport.pdf will indicate whether the project PASSes or FAILs based on the SQO level defined in Polyspace Access for the project associated with run ID 16.
