Main Content

在 Visual Studio 中安装 Polyspace as You Code 扩展

使用 Visual Studio® IDE 中的 Polyspace® as You Code 扩展，您可以对当前正在查看的文件运行 Polyspace 并检查代码是否存在 Bug 和编码标准违规。您必须安装 Polyspace as You Code 分析引擎才能运行分析。此扩展允许您从 Visual Studio 指向此分析引擎并显示由 Polyspace 分析生成的结果。

可以通过以下两种方式之一安装此扩展：

  • 运行 Polyspace as You Code 安装程序时，选择相应的选项来安装此扩展。由安装程序安装 Polyspace as You Code 分析引擎和此扩展。

    请参阅使用安装程序安装 Polyspace as You Code。

  • 如果您在运行 Polyspace as You Code 安装程序时仅安装分析引擎，可在以后再使用 Visual Studio 扩展安装程序 (VSIX) 文件。只有在运行安装程序后 VSIX 文件才可用。

    您可以在 Visual Studio 2019 版本 16.11.* 及更高版本和 Visual Studio 2022 版本 17.2.* 及更高版本中安装此扩展。

注意

在 Visual Studio 中安装 Polyspace as You Code 扩展之前，请先卸载任何先前版本的扩展。

本主题其余部分的内容将介绍第二种方法，即在运行安装程序时跳过此扩展的安装并在稍后使用 VSIX 文件安装此扩展。

交互式安装

要以交互方式安装此扩展，请执行以下操作：

  1. 双击 polyspaceroot\polyspace\plugin\visual_studio 文件夹中的 .vsix 文件。

    其中，polyspaceroot 是 Polyspace as You Code 安装文件夹，例如 C:\Program Files\Polyspace as You Code\R2024a。

  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 应用程序的名称（例如，Pro 表示 Visual Studio Professional 版本）。version 是 major.minor 格式的版本号（例如，16.11 表示 Visual Studio 2019 的主要版本）。

要以静默方式卸载此扩展，请使用 /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

相关主题