主要内容

配置报告生成

生成汇总 Polyspace® Bug Finder™ 分析结果的报告

指定是否随 Polyspace 静态分析结果一起生成 PDF、HTML 或 Microsoft® Word 报告。使用预定义的报告模板之一将特定类型的结果收集到预定义章节中,或者创建自定义模板。

您还可以直接从分析结果本身生成报告,而无需在分析前指定报告生成。有关详细信息,请参阅生成报告

Polyspace 选项

全部展开

生成报告指定在分析后是否生成报告
输出格式 (-report-output-format)指定生成的报告的输出格式
-report-output-name指定报告的名称
Bug Finder 和 Code Prover 报告 (-report-template)Specify template for generating analysis report
作者 (-author)Specify author name for Polyspace Platform project
版本 (-verif-version)Assign a source code version identifier to Polyspace Platform project
创建时间查看 Polyspace 平台工程的创建日期和时间 (自 R2024a 起)
上次修改时间查看上次修改 Polyspace 平台工程的日期和时间 (自 R2024a 起)
-date指定分析日期

主题

生成报告

自定义报告模板

相关信息