R2019a 以降、Polyspace 製品は MATLAB から独立しています。その結果、R2019a 以降の Polyspace 製品に対してソフトウェア保守サービスに加入しているユーザーには新しい Polyspace ライセンスが提供されました。
Polyspace R2019a 以降をインストールするには、インストーラーで新しい Polyspace ライセンスを選択する必要があります。以下の手順に従ってください。
- MathWorks インストーラーをダウンロードします。
- ダウンロードした MathWorks インストーラーを実行します（例: "matlab_R2019a_win64.exe"）。
- インストーラーの指示に従って、MathWorks アカウントにログインします。
- 次の画面で、「Polyspace Desktop」、「Polyspace Server」、または「Polyspace Test」ライセンスを必ず選択してください。Polyspace ライセンスが表示されない場合は、ご所属先のライセンス管理者に連絡してください。
- インストーラーの指示に従って、Polyspace 製品をインストールします。
注: R2019a 以降で Polyspace を MATLAB/Simulink と統合するには、追加の手順が必要です。詳細は以下の MATLAB Answers の投稿を参照してください。
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 のインストール方法の詳細を参照してください。
