このページは前リリースの情報です。該当の英語のページはこのリリースで削除されています。
Polyspace Access レポート生成の例
R2026aレポートへの 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)
必要な詳細のみを含めるためにレポート テンプレートのコンポーネントを変更する。
