生成报告

指定在分析后是否生成报告

描述

指定是否随分析结果一起生成报告。

您可以使用某个外部软件查看该报告，具体取决于您指定的格式。例如，如果您指定了 PDF 格式，则可以在 pdf 阅读器中查看该报告。

使用以下方法之一设置选项：

您可以根据分析结果生成报告以供存档。您可以向管理层或客户提供此报告，作为代码质量的证明。

您也可以通过使用其他分析选项，根据具体需要定制报告内容和格式。请参阅 Bug Finder 和 Code Prover 报告 (-report-template) 和输出格式 (-report-output-format)。

打开

Polyspace 使用您指定的模板和格式生成分析报告。

该报告存储在结果文件夹的 Polyspace-Doc 子文件夹中。

在 Polyspace 桌面端产品中，要从用户界面打开结果文件夹，请在工程浏览器窗格中右键点击结果节点并选择使用文件管理器打开文件夹。

在命令行中，结果文件夹是 -results-dir 选项的参量。

关闭（默认值）

Polyspace 不生成分析报告。您仍然可以在 Polyspace 界面中查看结果。

此选项允许您在开始分析之前指定报告生成。

要在分析完成后生成报告，请在 Polyspace 桌面端产品的用户界面中选择报告 > 运行报告。或者，在命令行中使用 polyspace-report-generator 命令。

分析完成后，您还可以将结果导出为文本文件，以便进一步自定义。请将 -generate-results-list-file 选项与 polyspace-report-generator 命令一起使用。

没有单独用于启用报告生成器的命令行选项。不过，使用 -report-template 选项指定模板和使用 -report-output-format 选项指定输出格式时会自动启用报告生成器。