コマンド ラインでの Polyspace Access の結果とユーザーの管理

polyspace-access コマンドを使用して、コマンド ラインで Polyspace Access の結果とユーザーを管理します。polyspace-access の使用に関する詳細および例については、こちらのコマンド リファレンス ページを参照してください。

メモ

polyspace-access コマンドは polyspaceroot\polyspace\bin にあります。ここで、polyspaceroot は Polyspace^® Server インストール フォルダー (C:\Program Files\Polyspace Server\R2025b など) です (インストール フォルダー (Polyspace Bug Finder)も参照してください)。Polyspace Server と Polyspace Access™ は別個の製品です。コマンドの絶対パスの入力を省略するには、この場所をオペレーティング システムの PATH 環境変数に追加します。

プロジェクトおよび管理とレビュー

コマンド	説明
polyspace-access -create-project	Polyspace Access Web インターフェイスでプロジェクト フォルダーを作成します。
polyspace-access -move-project	プロジェクトまたはフォルダーを移動するか、その名前を変更します。
polyspace-access -delete-project	指定されたプロジェクトまたはフォルダーを削除します。
polyspace-access -set-deletion-policy	指定されたプロジェクトのプロジェクト実行削除ポリシーを設定または編集します。
polyspace-access -unset-deletion-policy	指定されたプロジェクトのプロジェクト実行削除ポリシーを設定解除します。
polyspace-access -get-deletion-policy	指定されたプロジェクトの削除ポリシーを表示します。
polyspace-access -list-project	Polyspace Access データベース内のすべてのプロジェクトのパスをリストします。
polyspace-access -list-runs	指定されたプロジェクトにアップロードされたすべての実行を表示します。
polyspace-access -set-project-information	バナー テキストなどのプロジェクト情報を表示および編集します。
polyspace-access -unset-project-information	バナー テキストなどのプロジェクト固有の情報を削除します。

結果のアップロード、ダウンロード、またはエクスポート

コマンド	説明
polyspace-access -upload	Polyspace Bug Finder、Polyspace Code Prover、Polyspace Test の結果を Polyspace Access データベースにアップロードします。
polyspace-access -export	Polyspace Access データベースからプロジェクトの結果をエクスポートします。
polyspace-access -download	Polyspace Access から結果をダウンロードします。

調査結果のレビュー情報の管理

コマンド	説明
polyspace-access -review	プロジェクトの調査結果のレビュー フィールド内の情報を編集します。
polyspace-access -import-reviews	Polyspace Access でソース プロジェクトからターゲット プロジェクトにレビュー情報をインポートします。

ソフトウェア品質目標の管理

コマンド	説明
polyspace-access -set-sqo	指定されたプロジェクトに SQO レベルを割り当てます。
polyspace-access -get-sqo	指定されたプロジェクトに現在割り当てられている SQO レベルと SQO 定義を表示します。
polyspace-access -list-sqo	使用可能なすべての SQO の名前をリストします。

プロジェクト実行ラベルおよび未割り当ての調査結果の管理

コマンド	説明
polyspace-access -add-label	プロジェクト実行にラベルを追加します。
polyspace-access -remove-label	プロジェクト実行から指定されたラベルを削除します。
polyspace-access -set-unassigned-findings	Polyspace Access データベース内のプロジェクトでオーナーが未割り当ての結果にオーナーを割り当てます。

ユーザーのアクセス許可の管理

コマンド	説明
polyspace-access -set-role	指定されたプロジェクトまたはプロジェクト フォルダーのユーザーに役割を割り当てます。
polyspace-access -unset-role	指定されたプロジェクトまたはフォルダーのユーザーに以前に割り当てられたすべての役割を削除します。

Polyspace Web Metrics からの結果の移行

コマンド	説明
polyspace-access -generate-migration-commands	プロジェクトを Polyspace Metrics から Polyspace Access に移行するためのスクリプトを生成します。
polyspace-access -migrate	-generate-migration-commands コマンドで生成されたスクリプトを使用して、Polyspace Metrics から Polyspace Access にプロジェクトを移行します。

その他のコマンド

コマンド	説明
polyspace-access -ver	指定された Polyspace Access インスタンスのバージョンとライセンス番号を表示します。
polyspace-access -encrypt-password	Polyspace Access にログインするために使用するパスワードを暗号化します。