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)
必要な詳細のみを含めるためにレポート テンプレートのコンポーネントを変更する。