Generating Reports of Verification Results :: Reviewing Verification Results (PolySpace®)

Learn more about PolySpace

Generating Reports of Verification Results

On this page…
PolySpace Report Generator Overview Generating Report for example.c

On this page…

The PolySpace Report Generator allows you to generate reports about your verification results, using predefined report templates.

The PolySpace Report Generator provides the following report templates:

Coding Rules Report – Provides information about compliance with MISRA-C Coding Rules, as well as PolySpace configuration settings for the verification.
Developer Report – Provides information useful to developers, including summary results, detailed lists of red, orange, and gray checks, and PolySpace configuration settings for the verification.
Developer with Green Checks Report – Provides the same content as the Developer Report, but also includes a detailed list of green checks.
Quality Report – Provides information useful to quality engineers, including summary results, statistics about the code, graphs showing distributions of checks per file, and PolySpace configuration settings for the verification.

The PolySpace Report Generator allows you to generate verification reports in the following formats:

Note Microsoft Word format is not available on UNIX platforms. RTF format is used instead.

You can generate reports for any verification results using the PolySpace Report Generator.

To generate a verification report:

In the Viewer, open your verification results if they are not already open.
Select Reports > Run Report.
The Run Report dialog box opens.
In the Select Report Template section, select Developer.rpt.
In the Output folder section, select the \polyspace_project\results folder.
Select PDF Output format.
Click Run Report.
The software creates the specified report. When report generation completes, the report opens.

Automatically Testing Unproven Code

Checking MISRA C Compliance