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

2023 5 15
1 个回答
回答已采纳
更新时间：2025 3 10
13 次查看（30 天）

0 个投票

Polyspace のデスクトップ製品をインストールしようとしています。
ダウンロードしたインストーラーを起動し、MATLAB ライセンスを選択しましたが、Polyspace 製品が［製品の選択］画面に表示されません。 以前のリリースでは、このリストからインストールする Polyspace 製品を選択できました。
Polyspace Bug Finder、Polyspace Code Prover、Polyspace Test (R2019a and later) をインストールするにはどうすればよいか教えてください。

请先登录，再回答此问题。

 采纳的回答

MathWorks Support Team
编辑：MathWorks Support Team 2025-3-10

0 个投票

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 製品を同じユーザー インターフェースから実行できます。
詳細は以下を参照してください。

更多回答（0 个）

类别

在 帮助中心 和 File Exchange 中查找有关 インストールとライセンスの紹介 的更多信息

产品

版本

R2019a

标签

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!