R2019a 以降の Polyspace をインストールするにはどうすればよいですか?

Polyspace のデスクトップ製品をインストールしようとしています。

ダウンロードしたインストーラーを起動し、MATLAB ライセンスを選択しましたが、Polyspace 製品が［製品の選択］画面に表示されません。 以前のリリースでは、このリストからインストールする Polyspace 製品を選択できました。

Polyspace Bug Finder、Polyspace Code Prover、Polyspace Test (R2019a and later) をインストールするにはどうすればよいか教えてください。

Answer 1

[MathWorks Support Team]

R2019a 以降、Polyspace 製品は MATLAB から独立しています。その結果、R2019a 以降の Polyspace 製品に対してソフトウェア保守サービスに加入しているユーザーには新しい Polyspace ライセンスが提供されました。

Polyspace R2019a 以降をインストールするには、インストーラーで新しい Polyspace ライセンスを選択する必要があります。以下の手順に従ってください。

1. MathWorks インストーラーをダウンロードします。
2. ダウンロードした MathWorks インストーラーを実行します（例: "matlab_R2019a_win64.exe"）。
3. インストーラーの指示に従って、MathWorks アカウントにログインします。
4. 次の画面で、「Polyspace Desktop」、「Polyspace Server」、または「Polyspace Test」ライセンスを必ず選択してください。Polyspace ライセンスが表示されない場合は、ご所属先のライセンス管理者に連絡してください。
5. インストーラーの指示に従って、Polyspace 製品をインストールします。

注: R2019a 以降で Polyspace を MATLAB/Simulink と統合するには、追加の手順が必要です。詳細は以下の MATLAB Answers の投稿を参照してください。

Polyspace R2019a を Simulink R2019a で使用する方法

Polyspace 静的解析製品 (Polyspace Bug Finder、Polyspace Code Prover) と Polyspace 動的テスト製品 (Polyspace Test) には、2 つの別々のライセンスと 2 つの別々のインストールが必要です。ただし、両方の製品セットに同じインストールフォルダーを使用し、すべての Polyspace 製品を同じユーザー インターフェースから実行できます。

詳細は以下を参照してください。

• Polyspace Desktop 製品のインストール: Polyspace Bug Finder または Polyspace Code Prover のインストール方法の詳細を参照してください。
• Polyspace Server 製品のインストール: Polyspace Bug Finder Server または Polyspace Code Prover Server のインストール方法の詳細を参照してください。
• Polyspace Test のインストール: Polyspace Test のインストール方法の詳細を参照してください。