このページは前リリースの情報です。該当の英語のページはこのリリースで削除されています。

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

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

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

システムコマンド

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

Polyspace Access からの結果のエクスポート (Polyspace Access)
Polyspace Access の結果を TSV ファイルにエクスポートする。
Polyspace Access からのレポートおよび変数のリストの生成 (Polyspace Access)
コード内の変数のリストを含む結果が示されているレポートで Polyspace Access の結果を要約します。