Polyspace Access レポート生成の例

レポートへの Polyspace 結果のアーカイブ

認証や記録保持のために、Polyspace^® の結果を自動生成されるレポートにアーカイブします。レポートを生成するには、事前定義されたテンプレートを使用するか、独自のテンプレートを作成します。以下の例は、Polyspace の結果から作成できる、具体的なレポートの種類を示しています。

トピック

Polyspace の結果からのレポートの生成 (Polyspace Bug Finder)
事前定義されたテンプレートを使用して Polyspace の結果からレポートを生成する。
Polyspace Access からのレポートおよび変数のリストの生成
コード内の変数のリストを含む結果を含むレポートで Polyspace Access の結果を要約します。
Generate Report Containing MISRA C:2012 Violations, Code Metrics, and Runtime Check Results (Polyspace Bug Finder)
Generate a single report combining results from Bug Finder and Code Prover into a single file.
既存の Bug Finder レポートテンプレートのカスタマイズ (Polyspace Bug Finder)
必要な詳細のみを含めるためにレポートテンプレートのコンポーネントを変更する。