主要内容

生成报告

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

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

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

MATLAB API

全部展开

polyspace_reportGenerate reports from Polyspace analysis results
polyspace.BugFinderResultsMATLAB 读取 Polyspace Bug Finder 结果

Polyspace 选项

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

Report Generator 组件

全部展开

代码度量摘要创建 Polyspace 度量表
代码验证摘要创建 Polyspace 分析结果表
编码规则摘要Create table with number of coding rule violations
缺陷摘要创建缺陷表(仅限 Bug Finder)
运行时检查摘要(按文件排序)Create table with run-time checks ordered by file (Code Prover only)
软件质量目标 - 编码规则摘要创建从 Polyspace Metrics 下载的结果中的编码违规的表
软件质量目标 - 运行时检查摘要为从 Polyspace Metrics 下载的结果创建结果汇总表
摘要(按文件)创建按文件显示 Polyspace 结果摘要的表
调用层次结构Create table showing call graph in source code
代码和验证信息创建验证时间和代码特性表
代码度量详细信息创建按文件和函数细分的 Polyspace 度量表
编码规则详细信息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)
运行时检查详细信息(按审查信息排序)创建按审查信息排序的运行时检查表(仅限 Code Prover)
软件质量目标 - 运行时检查详细信息为从 Polyspace Metrics 下载的结果创建结果详细信息表
变量访问Create table showing global variable access in source code (Code Prover only)
变量检查详细信息(按审查信息排序)创建按审查信息排序的全局变量结果表(仅限 Code Prover)
缩写定义创建报告中使用的 Polyspace 缩写及其完整形式的表
配置参数创建分析选项、假设和编码规则配置的表

主题

创建报告(PDF、Word、HTML)

导出结果(ExcelMATLAB