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

Visual Studio での Polyspace as You Code 拡張機能のインストール

Visual Studio^® IDE 内で Polyspace^® as You Code 拡張機能を使用すると、現在表示中のファイルに対して Polyspace を実行し、コードのバグやコーディング規約違反をチェックできます。解析を実行するには、Polyspace as You Code 解析エンジンをインストールする必要があります。この拡張機能を使用することで、Visual Studio からこの解析エンジンを指して、Polyspace 解析によって生成された結果を表示できます。

この拡張機能は次の 2 つの方法のいずれかでインストールできます。

• Polyspace as You Code インストーラーの実行中に、この拡張機能をインストールするオプションを選択します。インストーラーによって、Polyspace as You Code 解析エンジンと拡張機能がインストールされます。

  Install Polyspace as You Code Using Installerを参照してください。

• Polyspace as You Code インストーラーの実行中に解析エンジンのみをインストールする場合は、後で Visual Studio 拡張機能インストーラー (VSIX) ファイルを使用します。VSIX ファイルは、インストーラーの実行後に使用できるようになります。

  拡張機能は、Visual Studio 2019 version 16.11.* 以降および Visual Studio 2022 version 17.2.* 以降でインストールできます。

メモ

Polyspace as You Code 拡張機能を Visual Studio にインストールするには、その前に、以前のバージョンの拡張機能をすべてアンインストールします。

このトピックでは以降、2 番目の方法について説明します。この場合、インストーラーの実行中に拡張機能のインストールをスキップし、後で VSIX ファイルを使用して拡張機能をインストールします。

対話型インストール

拡張機能を対話的にインストールするには、次のようにします。

1. フォルダー polyspaceroot\polyspace\plugin\visual_studio 内にある .vsix ファイルをダブルクリックします。

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

2. 画面上のプロンプトに従って操作します。

   Visual Studio インストール環境が拡張機能の前提条件を満たしていないことを示すメッセージが表示され、Visual Studio 2019 を使用している場合は、最新の更新をインストールしてから拡張機能を再インストールします。

インストール後に、Visual Studio を開いて、拡張機能がインストールされたことを確認します。たとえば、Visual Studio 2019 で [拡張機能] 、 [拡張機能の管理] を選択します。インストール済みの拡張機能のリストに Polyspace が表示されているはずです。このリストから拡張機能の無効化やアンインストールを実行することもできます。

コマンド ラインでのインストール

グラフィカル ユーザー インターフェイスを開かずに拡張機能をインストールするには、コマンド ラインで /q フラグを指定して VSIX インストーラーを実行します。

• マシン上のすべてのバージョンの Visual Studio に拡張機能をインストールするには、次のコマンドを入力します。

  cd VSIXInstallerpath
  VSIXInstaller.exe /q polyspaceroot\polyspace\plugin\visual_studio\polyspace_as_you_code.vsix

  ここで、VSIXInstallerpath は VSIX インストーラー ファイルのパスです。たとえば、Visual Studio 2019 インストール環境では、パスは C:\Program Files (x86)\Microsoft Visual Studio\2019\Professional\Common7\IDE のようになります。

• 拡張機能を特定のバージョンの Visual Studio にインストールするには、次のコマンドを入力します。

  cd VSIXInstallerpath
  VSIXInstaller.exe /q /s:name /v:version ^ 
  polyspaceroot\polyspace\plugin\visual_studio\polyspace_as_you_code.vsix

  ここで、name は Visual Studio アプリケーションの名前 (たとえば、Visual Studio Professional エディションの場合は Pro)、version は major.minor 形式のバージョン番号 (たとえば、Visual Studio 2019 のメジャー バージョンの場合は 16.11) です。

拡張機能をサイレント モードでアンインストールするには、/u フラグを使用します。/u フラグを使用するには、vsixID 値が必要です。使用している VSIX ファイルの vsixID 値を見つけるには、以下のようにします。

1. VSIX ファイルのコピーを作成し、ファイル名拡張子に .zip を使用して ZIP ファイルになるように名前を変更します。

2. この ZIP ファイルを開いて extension.vsixmanifest XML ファイルを見つけます。

3. extension.vsixmanifest XML ファイルを開きます。vsixID 値は <Identity Id="guid" /> タグ内の数値 "guid" です。

vsixID を含む /u フラグの例を以下に示します。

VSIXInstaller.exe /u:Polyspace.1234a5bc-d678-9e01-f234-5gh6789ijklm

フラグの詳細を表示するには、次のコマンドを入力します。

cd VSIXInstallerpath
VSIXInstaller.exe

参考

トピック

• Install Polyspace as You Code Using Installer