Documentation

Generate Report

Monitor quality through reports of verification results

Polyspace® provides you with predefined report templates to select specific aspects of your verification results. Choose a report template to match your requirements. For more information, see Report template or try different report templates on sample results.

If you have Simulink® Report Generator™ installed on your system, you can customize the report templates further to suit your requirements.

Report Generator Components

Acronym Definitions Create table of Polyspace acronyms used in report and their full forms
Call Hierarchy Create table showing call graph in source code
Code Metrics Details Create table of Polyspace metrics broken down by file and function
Code Metrics Summary Create table of Polyspace metrics
Code Verification Summary Create table of Polyspace analysis results
Code and Verification Information Create table of verification times and code characteristics
Coding Rules Details Create table of coding rule violations broken down by file
Coding Rules Summary Create table with number of coding rule violations
Configuration Parameters Create table of analysis options and coding rules
Defects Summary Create table of Polyspace Bug Finder defects
Recursive Functions Create table of recursive functions
Report Customization (Filtering) Create filters that apply to your Polyspace reports
Run-time Checks Details Ordered by Color/File Create overrides for global filters in Polyspace reports
Run-time Checks Details Ordered by Review Information Create table with Polyspace Code Prover checks ordered by review information
Run-time Checks Summary Ordered by File Create table with Polyspace Code Prover checks ordered by file
Software Quality Objectives - Coding Rules Summary Create table of coding rule violations in results downloaded from Polyspace Metrics
Software Quality Objectives - Run-time Checks Details Create table of run-time checks in results downloaded from Polyspace Metrics
Software Quality Objectives - Run-time Checks Summary Create table of run-time check distribution in results downloaded from Polyspace Metrics
Variable Access Create table showing global variable access in source code
Was this topic helpful?