在 Polyspace 平台用户界面中生成报告

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

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

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

系统命令

`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)`	指定生成的报告的输出格式

`代码度量摘要`	创建 Polyspace 度量表
`代码验证摘要`	创建 Polyspace 分析结果表
`编码规则摘要`	Create table with number of coding rule violations
`缺陷摘要`	创建缺陷表（仅限 Bug Finder）
`运行时检查摘要（按文件排序）`	创建按文件排序的运行时检查表（仅限 Code Prover）
`软件质量目标 - 编码规则摘要`	创建从 Polyspace Metrics 下载的结果中的编码违规的表
`软件质量目标 - 运行时检查摘要`	为从 Polyspace Metrics 下载的结果创建结果汇总表
`摘要（按文件）`	创建按文件显示 Polyspace 结果摘要的表

`调用层次结构`	在源代码中创建显示调用图的表
`代码和验证信息`	创建验证时间和代码特性表
`代码度量详细信息`	创建按文件和函数细分的 Polyspace 度量表
`编码规则详细信息`	创建按文件细分的编码违规表
`全局变量检查`	创建全局变量的表（仅限 Code Prover）
`递归函数`	创建递归函数的表
`报告自定义（过滤）`	Create filters that apply to your Polyspace reports
`运行时检查详细信息（按颜色/文件排序）`	Create overrides for global filters in Polyspace reports (Code Prover only)
`运行时检查详细信息（按审查信息排序）`	创建按审查信息排序的运行时检查表（仅限 Code Prover）
`软件质量目标 - 运行时检查详细信息`	为从 Polyspace Metrics 下载的结果创建结果详细信息表
`变量访问`	Create table showing global variable access in source code (Code Prover only)
`变量检查详细信息（按审查信息排序）`	创建按审查信息排序的全局变量结果表（仅限 Code Prover）

`缩写定义`	创建报告中使用的 Polyspace 缩写及其完整形式的表
`配置参数`	创建分析选项、假设和编码规则配置的表

Generate Reports of Bug Finder or Code Prover Results in Polyspace Platform User Interface
Generate report from Polyspace Platform User Interface results.
Customize Existing Code Prover Report Template
Modify components of report templates to include only the details you need.
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.