Polyspace 製品の更新

このトピックでは、デスクトップマシンまたはサーバーマシンで静的解析向けの Polyspace^® 製品 (Bug Finder と Code Prover) と、動的テスト向けの Polyspace 製品 (Polyspace Test™) を更新する方法を説明します。Polyspace Access™ を更新する場合は、Polyspace Access の更新のインストールまたは新バージョンへのアップグレード (Polyspace Access)を参照してください。

以下の手順に従って Polyspace 製品の最新の更新をインストールします。

Polyspace Bug Finder™
Polyspace Bug Finder Server™
Polyspace Code Prover™
Polyspace Code Prover Server
Polyspace Test

Polyspace の実行中のセッションをすべて終了してから、更新インストーラーバイナリを実行します。各更新には、それまでの更新に含まれている修正がすべて含まれています。たとえば更新 3 をインストールすると、更新 1 と 2 のすべての修正も取得することになります。

インターネットに接続された、ディスプレイがあるマシンで更新をインストールする場合は、グラフィカルインターフェイスで更新インストーラーを実行します。インターネットに接続していないマシンや、ディスプレイがないマシンに更新をインストールする場合は、更新パッケージをダウンロードしてから、更新インストーラーをサイレントに実行します。

複数の Polyspace 基本製品を更新するには、基本製品ごとに更新インストーラーを実行します。たとえば Polyspace Test と Polyspace Bug Finder Server を更新するには、更新インストーラーを 2 回実行します (インスタンスごとに 1 回)。

クライアントマシンからサーバーマシンに Polyspace 解析の負荷を移行する場合は、クライアントマシンとサーバーマシンの両方で Polyspace を更新します。クライアントマシンとサーバーマシンの Polyspace のバージョンは一致している必要があります。スクリプトを使用したデスクトップからリモートサーバーへの Polyspace 解析の送信を参照してください。

更新のインストール

MathWorks^® ダウンロードページから更新インストーラーをダウンロードし、更新を Polyspace インストールフォルダーにインストールします。R2025b より前のリリースの更新については、以前のリリースのドキュメントを参照してください。

手順 1: 更新パッケージのダウンロード

インターネットに接続された、ディスプレイがあるマシンで MathWorks ダウンロードページに移動します。[ダウンロードの選択] リストで [アップデートの入手] を選択し、[リリースを選択] リストで更新を適用するリリースを選択します。
[Polyspace 製品のアップデートを入手する] セクションを展開し、[オフラインインストール用アップデートパッケージを入手する] をクリックします。
このリンクはライセンス管理者のみに表示されます。ライセンス管理者ではない場合、ライセンスの管理者を確認するには、MathWorks ライセンスセンターにログインし、該当するライセンスの行をクリックして [管理者へのお問い合わせ] タブを選択します。
更新を適用するプラットフォームを選択してから、[ダウンロード] をクリックします。
更新を適用するマシンに、前の手順でダウンロードした圧縮ファイルをコピーします。

手順 2: Polyspace 更新の適用

更新パッケージをコピーしたマシンで、新しいフォルダーに更新パッケージを解凍します。たとえば、パッケージ <updatePackageZipFile>.zip を新しいフォルダーに解凍するには、次のコマンドを実行します。
```
unzip <updatePackageZipFile>.zip -d <updatePkgFolder>
```
このコマンドを実行すると、パッケージが現行ディレクトリの <updatePkgFolder> フォルダーに解凍されます。
ご使用のプラットフォームとリリースに対応する更新インストーラーバイナリに移動し、適切なオプションを指定してバイナリを実行します。
- Windows^®:
```
cd <updatePkgFolder>\bin\win64
MathWorksUpdateInstaller.exe --destination <polyspaceroot>
```
- Linux^®:
```
cd <updatePkgFolder>/bin/glnxa64
./MathWorksUpdateInstaller --destination <polyspaceroot>
```
- macOS:
```
cd <updatePkgFolder>/bin/maci64
./MathWorksUpdateInstaller --destination <polyspaceroot>
```
ここで、polyspaceroot は Polyspace インストールフォルダーです。たとえば /usr/local/Polyspace/R2026a です。<updatePkgFolder> は、前の手順で更新パッケージを解凍したフォルダーです。

更新インストーラーログと更新バージョンの確認

インストールステータスを確認したり、インストール更新プロセスでエラーが発生していないか確認したりするには、更新インストーラーログファイルを開きます。更新インストーラーログは、プラットフォームの一時フォルダーに保存されています。

プラットフォーム	ログファイルへのパス
Windows	`C:\Users\username\AppData\Local\Temp\mathworks_username.log`
Linux/macOS	`/tmp/mathworks_username.log`

インストーラーの実行中に更新ログを検証することもできます。たとえば Windows で更新をインストールする場合は、次のコマンドを使用します。

MathWorksUpdateInstaller.exe --destination <polyspaceroot>; get-content -Last 1 $env:TEMP\mathworks_$env:USERNAME.log -wait

Linux または macOS で更新をインストールする場合は、次のコマンドを使用します。

./MathWorksUpdateInstaller --destination <polyspaceroot> & tail -f /tmp/mathworks_$USER.log

更新のインストール完了後にターミナルへのログ出力を停止するには、Ctrl + C を押します。

Polyspace 更新のバージョンを確認するには、Polyspace のインストールフォルダーに移動し、テキストエディターでファイル VersionInfo.xml を開きます。更新バージョンが <description><description/> タグの内部にリストされています。更新がインストールされていない場合、<description><description/> タグは空になります。

Polyspace 製品の更新

更新のインストール

手順 1: 更新パッケージのダウンロード

手順 2: Polyspace 更新の適用

更新インストーラー ログと更新バージョンの確認

参考

トピック

更新インストーラーログと更新バージョンの確認