Polyspace Access からのレポートの生成

Polyspace^® Access™ Web インターフェイスからの結果のエクスポート

カスタムフィルターやパス/失敗の基準の適用などのさらなる処理のために、Polyspace Access Web インターフェイスで結果をタブ区切り値 (TSV) ファイル内に要約できます。認証や記録保持のために、結果の要約をレポートにアーカイブできます。

システムコマンド

`polyspace-access -export`	Export results from Polyspace Access database
`polyspace-report-generator` (Polyspace Bug Finder)	(システムコマンド) ローカルで、または Polyspace Access に保存される Polyspace 解析結果のレポートの生成

Polyspace Access から結果を開くまたはエクスポートする
デスクトップインターフェイスで Polyspace Access の結果を開くか、TSV ファイルに結果をエクスポートする。
Polyspace Access からのレポートおよび変数のリストの生成
コード内の変数のリストを含む結果が示されているレポートで Polyspace Access の結果を要約します。