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.
既存の Bug Finder レポートテンプレートのカスタマイズ (Polyspace Bug Finder)
必要な詳細のみを含めるためにレポートテンプレートのコンポーネントを変更する。