报告
缺陷报告、摘要报告、报告模板
要指定必须根据验证结果生成报告,请使用报告选项。指定报告必须包含的内容和报告格式,例如 PDF 或 Microsoft® Word。
Polyspace 选项
生成报告 | 指定在分析后是否生成报告 |
Bug Finder 和 Code Prover 报告 (-report-template) | Specify template for generating analysis report |
输出格式 (-report-output-format) | 指定生成的报告的输出格式 |
主题
- 指定 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.