Polyspace Access からのレポートおよび変数のリストの生成

メモ

コマンドラインで Polyspace^® Access™ に関する結果のレポートを生成するには、Polyspace Bug Finder™ Server™ または Polyspace Code Prover™ Server がインストールされている必要があります。

Polyspace Access プロジェクトで表示できる Code Prover 解析の結果のレポートを生成して、変数のリストをエクスポートするとします。

Polyspace Access に接続するには、ホスト名と暗号化されたパスワードを含むログイン資格情報を指定します。パスワードを暗号化するには、polyspace-access コマンドを使用し、プロンプトにユーザー名とパスワードを入力します。

polyspace-access -encrypt-password 
login: jsmith
password:
CRYPTED_PASSWORD LAMMMEACDMKEFELKMNDCONEAPECEEKPL
Command Completed

ログインと暗号化パスワードを資格情報ファイルに保存し、そのファイルに対する読み取り権限と書き込み権限を制限します。テキストエディターを開いて、エディターで次の 2 行をコピーしてから、ファイルを myCredentials.txt などとして保存します。

 -login jsmith
 -encrypted-password LAMMMEACDMKEFELKMNDCONEAPECEEKPL

ファイルの権限を制限するには、ファイルを右クリックして、Linux^® では [アクセス許可] タブを、Windows^® では [セキュリティ] タブを選択します。

Polyspace Access で要約するプロジェクトを選択するには、プロジェクトの実行 ID を指定します。最新の実行 ID を使用してプロジェクトのリストを取得するには、コマンド polyspace-access -list-project を使用します。

polyspace-access -host myAccessServer -credentials-file myCredentials.txt -list-project
Connecting to https://myAccessServer:9443
Connecting as jsmith
Get project list with the last Run Id
Restricted/Code_Prover_Example (Code Prover) RUN_ID 14
public/Bug_Finder_Example (Bug Finder) RUN_ID 24
public/CP/Code_Prover_Example (Polyspace Code Prover) RUN_ID 16
public/Polyspace (Code Prover) RUN_ID 28
Command Completed

ホスト名が myAccessServer の Polyspace Access インスタンスから、実行 ID が 16 の結果の Developer レポートを生成します。Polyspace Access のこのインスタンスの URL は https://myAccessServer:9443 です。

SET template_path=^
"C:\Program Files\Polyspace\R2019a\toolbox\polyspace\psrptgen\templates"

polyspace-report-generator -credentials-file myCredentials.txt ^
-template %template_path%\Developer.rpt ^
-host myAccessServer ^
-run-id 16 ^
-output-name myReport

このコマンドは、指定されたテンプレートを使用して myReport.docx レポートを作成します。このレポートは、コマンドの呼び出し元のパスのフォルダー Polyspace-Doc に保存されます。

指定された解析結果に対してコード内のグローバル変数のリストを含むタブ区切りのテキストファイルを生成します。

polyspace-report-generator -credentials-file myCredentials.txt^
-generate-variable-access-file ^
-host myAccessServer ^
-run-id 16

グローバル変数のリスト Variable_View.txt は、生成されたレポートと同じフォルダーに保存されます。エクスポートされる変数のリストについては、エクスポートした変数リストの表示 (Polyspace Code Prover)を参照してください。