このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

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 解析の送信を参照してください。

メモ

  • この更新手順は、R2019a 以降のリリースのみを対象としています。

  • polyspace-access -download (Polyspace Access)コマンドを使用して、Polyspace Access version R2022a Update 1 以降に保存されている結果をダウンロードするには、コマンドを実行するために使用する Polyspace 製品を R2022a Update 1 以降のバージョンに更新してください。

ディスプレイがあり、インターネットに接続されているマシンでの更新のインストール

ターミナルのコマンド ラインから更新バイナリに移動し、更新バイナリを実行します。ご使用のプラットフォームと Polyspace のバージョン別の更新バイナリのパスとファイル名を次の表に示します。

プラットフォーム R2023a より前R2023a 以降
Windows® 
polyspaceroot\bin\win64
update_installer.exe
 
polyspaceroot\bin\win64
MathWorksUpdateInstaller.exe
Linux® 
polyspaceroot/bin/glnxa64
./update_installer
 
polyspaceroot/bin/glnxa64
./MathWorksUpdateInstaller
macOS 
polyspaceroot/bin/maci64
./update_installer
 
polyspaceroot/bin/maci64
./MathWorksUpdateInstaller

ここで、polyspaceroot は Polyspace のインストール フォルダーです。たとえば、C:\Progam Files\Polyspace\R2025a です。

あるいは、ファイル エクスプローラーで更新インストーラーのフォルダーを開き、バイナリをダブルクリックします。更新を完了するには、ユーザー インターフェイスのプロンプトに従ってください。

更新のサイレント インストール

メモ

R2023a 以降、この手続きはライセンス管理者のみが実行できます。

ライセンスのライセンス管理者を確認するには、MathWorks® ライセンス センターにログインし、該当するライセンスの行をクリックして [管理者へのお問い合わせ] タブを選択します。

更新する Polyspace ソフトウェアが、インターネットに接続していないマシンや、ディスプレイがないマシン (サーバーなど) にインストールされている場合は、更新インストーラーをサイレントに実行します。

更新パッケージのダウンロード

  1. インターネットに接続された、ディスプレイがあるマシンで MathWorks ダウンロード ページに移動します。[ダウンロードの選択] リストで [アップデートの入手] を選択し、[リリースを選択] リストで更新を適用するリリースを選択します。

  2. [Polyspace 製品のアップデートを入手する] セクションを展開し、[オフライン インストール用アップデート パッケージを入手する] をクリックします。R2023a 以降では、このリンクはライセンス管理者としてログインしている場合にのみ表示されます。

  3. 更新を適用するプラットフォームを選択してから、[ダウンロード] をクリックします。

  4. 更新を適用するマシンに、前の手順でダウンロードした圧縮ファイルをコピーします。

Polyspace 更新の適用

  1. 更新パッケージをコピーしたマシンで、新しいフォルダーに更新パッケージを解凍します。たとえば、圧縮された更新パッケージを Linux の /tmp にコピーした場合に、このパッケージを新しいフォルダー R2025a_Update_1 に解凍するには、次のコマンドを実行します。

     unzip /tmp/R2023a_Update_1_Linux_package.zip -d R2025a_Update_1
    このコマンドを実行すると、パッケージが現行ディレクトリの R2025a_Update_1 フォルダーに解凍されます。

  2. ご使用のプラットフォームとリリースに対応する更新インストーラー バイナリに移動し、適切なオプションを指定してバイナリを実行します。

    プラットフォーム R2023a より前R2023a 以降
    Windows 
    cd polyspaceroot\bin\win64
update_installer.exe -updatepackage updatePkg 
    cd updatePkg\bin\win64
MathWorksUpdateInstaller.exe --destination polyspaceroot
    Linux 
    cd polyspaceroot/bin/glnxa64
./update_installer -updatepackage updatePkg

    cd updatePkg
         /bin/glnxa64
./MathWorksUpdateInstaller --destination polyspaceroot
    macOS 
    cd polyspaceroot/bin/maci64
./update_installer -updatepackage updatePkg

    cd updatePkg/bin/maci64
./MathWorksUpdateInstaller --destination polyspaceroot

    ここで、polyspaceroot は Polyspace インストール フォルダーです。たとえば /usr/local/Polyspace/R2025a です。updatePkg は、前の手順で更新パッケージを解凍したフォルダーです。たとえば /tmp/R2025a_Update_1 です。

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

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

プラットフォーム ログ ファイルへのパス
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/> タグの内部にリストされています。以下に例を示します。

...
<release>R2025a</release>
<description>Update 1</description>
...
更新がインストールされていない場合、<description><description/> タグは空になります。

参考

トピック