レポート生成の構成

Polyspace^®Bug Finder™ 解析結果を要約するレポートを生成する

Polyspace 静的解析結果と共に PDF、HTML、または Microsoft^® Word のレポートを生成するかどうかを指定します。事前定義済みのレポートテンプレートのうち、特定の種類の結果を事前定義されている章にまとめるテンプレートを使用するか、カスタムテンプレートを作成します。

解析前にレポート生成を指定するのではなく、解析結果そのものからレポートを生成することもできます。詳細については、レポートの生成を参照してください。

Polyspace オプション

Bug Finder と Code Prover のレポート (-report-template) 解析レポートを生成するためのテンプレートの指定

`作成者 (-author)`	Specify author name for Polyspace Platform project
`バージョン (-verif-version)`	Assign a source code version identifier to Polyspace Platform project
`作成日`	See date and time when Polyspace Platform project was created (R2024a 以降)
`最終更新日時`	See date and time when Polyspace Platform project was last modified (R2024a 以降)
`-date`	解析の日付の指定

Polyspace 解析オプションの指定
Polyspace ユーザーインターフェイス、他の IDE、またはスクリプトで Polyspace 解析オプションを設定する。
Polyspace の結果からのレポートの生成
事前定義されたテンプレートを使用して Polyspace の結果からレポートを生成する。
Generate Report Containing Polyspace Bug Finder and Polyspace Code Prover Results
Generate a single report that combines Bug Finder results such as coding rule violations and code metrics with Code Prover run time checks.