配置报告生成
生成汇总 Polyspace® Bug Finder™ 分析结果的报告
指定是否随 Polyspace 静态分析结果一起生成 PDF、HTML 或 Microsoft® Word 报告。使用预定义的报告模板之一将特定类型的结果收集到预定义章节中,或者创建自定义模板。
您还可以直接从分析结果本身生成报告,而无需在分析前指定报告生成。有关详细信息,请参阅生成报告。
Polyspace 选项
主题
生成报告
- 指定 Polyspace 分析选项
在 Polyspace 用户界面、其他 IDE 或脚本中指定 Polyspace 分析选项。 - 根据 Polyspace 结果生成报告
使用预定义模板根据 Polyspace 结果生成报告。 - 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.
自定义报告模板
- Customize Existing Bug Finder Report Template
Modify components of report templates to include only the details you need.