生成报告

使用分析结果报告监视质量

Polyspace^® 提供了预定义的报告模板，可以用来选择分析结果的特定方面。请选择一个可针对您的需求收集足够信息的模板。有关详细信息，请参阅Bug Finder and Code Prover report (-report-template)或尝试对示例结果使用不同的报告模板。

如果您已在系统上安装了 MATLAB^® Report Generator™，则可以进一步自定义报告模板以满足您的需求。

DOS/UNIX 命令

`polyspace-report-generator`	(System Command) Generate reports from Polyspace analysis results stored locally or on Polyspace Access
`polyspace-results-export`	(System Command) Export Polyspace results to external formats such as CSV or JSON

polyspace_report Generate reports from Polyspace analysis results

polyspace.CodeProverResults 从 MATLAB 读取 Polyspace Code Prover 结果

`生成报告`	指定在分析后是否生成报告
`Bug Finder 和 Code Prover 报告 (-report-template)`	Specify template for generating analysis report
`输出格式 (-report-output-format)`	指定生成的报告的输出格式

`代码度量摘要`	Create table of Polyspace metrics
`代码验证摘要`	Create table of Polyspace analysis results
`编码规则摘要`	Create table with number of coding rule violations
`缺陷摘要`	Create table of defects (Bug Finder only)
`运行时检查摘要（按文件排序）`	Create table with run-time checks ordered by file (Code Prover only)
`软件质量目标 - 编码规则摘要`	Create table of coding rule violations in results downloaded from Polyspace Metrics
`软件质量目标 - 运行时检查摘要`	Create table of results summary for results downloaded from Polyspace Metrics
`摘要（按文件）`	创建按文件显示 Polyspace 结果摘要的表

`调用层次结构`	Create table showing call graph in source code
`代码和验证信息`	Create table of verification times and code characteristics
`代码度量详细信息`	Create table of Polyspace metrics broken down by file and function
`编码规则详细信息`	Create table of coding rule violations broken down by file
`全局变量检查`	创建全局变量的表（仅限 Code Prover）
`递归函数`	创建递归函数的表
`报告自定义（过滤）`	Create filters that apply to your Polyspace reports
`运行时检查详细信息（按颜色/文件排序）`	Create overrides for global filters in Polyspace reports (Code Prover only)
`运行时检查详细信息（按审查信息排序）`	Create table with run-time checks ordered by review information (Code Prover only)
`软件质量目标 - 运行时检查详细信息`	Create table of result details for results downloaded from Polyspace Metrics
`变量访问`	Create table showing global variable access in source code (Code Prover only)
`变量检查详细信息（按审查信息排序）`	Create table with global variable results ordered by review information (Code Prover only)

`缩写定义`	Create table of Polyspace acronyms used in report and their full forms
`配置参数`	创建分析选项、假设和编码规则配置的表

根据 Polyspace 结果生成报告
使用预定义模板根据 Polyspace 结果生成报告。
Customize Existing Code Prover Report Template
Modify components of report templates to include only the details you need.
Generate Report Containing Polyspace Bug Finder and Polyspace Code Prover Results
Generate a single report that combines Bug Finder results such as coding rule violations and code metrics with Code Prover run time checks.
Sample Report Template Customizations
See examples of modifications you can make to a predefined report template.

Export Polyspace Analysis Results
Export results to text file, MATLAB table or JSON format for computing graphs and statistics.
Visualize Code Prover Analysis Results in MATLAB

Generate graphs from Polyspace analysis results.
- Export Polyspace Analysis Results to Excel by Using MATLAB Scripts
Export Global Variable List
Export list of global variables in C/C++ code along with read and write operations.

Troubleshoot out of memory errors when generating large reports.