主要内容

本页翻译不是最新的。点击此处可查看最新英文版本。

报告

缺陷报告、摘要报告、报告模板

要指定必须根据验证结果生成报告,请使用报告选项。指定报告必须包含的内容和报告格式,例如 PDF 或 Microsoft® Word

Polyspace 选项

生成报告指定在分析后是否生成报告
Bug Finder 和 Code Prover 报告 (-report-template)Specify template for generating analysis report
输出格式 (-report-output-format)指定生成的报告的输出格式

主题

相关信息