Polyspace Access 报告生成示例
将 Polyspace® 结果存档到报告中
要用于认证并保留记录,请将 Polyspace 结果存档到自动生成的报告中。要生成报告,请使用预定义模板或创建您自己的模板。这些示例显示了可以根据 Polyspace 结果创建的特定类型的报告。
主题
- 根据 Polyspace 结果生成报告 (Polyspace Bug Finder)
使用预定义模板根据 Polyspace 结果生成报告。
- 从 Polyspace Access 生成报告和变量列表
将 Polyspace Access™ 中的结果汇总到一份报告中,该报告所含结果包括您代码中的变量列表。
- Generate Report Containing Polyspace Bug Finder and Polyspace Code Prover Results (Polyspace Bug Finder)
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 (Polyspace Bug Finder)
Modify components of report templates to include only the details you need.