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

Code Metrics Summary Create table of Polyspace metrics
Code Verification Summary Create table of Polyspace analysis results
Run-time Checks Summary Ordered by File Create table with Polyspace Code Prover checks ordered by file
Software Quality Objectives - Run-time Checks Summary Create table of run-time check distribution in results downloaded from Polyspace Metrics
Summary By File Create table showing summary of Polyspace results by file
Call Hierarchy Create table showing call graph in source code
Code and Verification Information Create table of verification times and code characteristics
Code Metrics Details Create table of Polyspace metrics broken down by file and function
Recursive Functions Create table of recursive functions
Global Variable Checks Create table of Polyspace Code Prover global variables
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
Variable Access Create table showing global variable access in source code
Variable Checks Details Ordered By Review Information Create table with Polyspace Code Prover global variable results ordered by review information
Acronym Definitions Create table of Polyspace acronyms used in report and their full forms
Configuration Parameters Create table of analysis options and coding rules

Topics

Generate Report

Generate report from verification results using predefined templates.

Export Results to Text File

Export results to text file for computing graphs and statistics.

Customize Report Templates

Modify components of report templates to include only the details you need.

Was this topic helpful?