在 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 安装程序时仅安装分析引擎,可在以后再使用 Visual Studio 扩展安装程序 (VSIX) 文件。只有在运行安装程序后 VSIX 文件才可用。
您可以在 Visual Studio 2019 版本 16.11.* 及更高版本和 Visual Studio 2022 版本 17.2.* 及更高版本中安装此扩展。
注意
在 Visual Studio 中安装 Polyspace as You Code 扩展之前,请先卸载任何先前版本的扩展。
本主题其余部分的内容将介绍第二种方法,即在运行安装程序时跳过此扩展的安装并在稍后使用 VSIX 文件安装此扩展。
交互式安装
要以交互方式安装此扩展,请执行以下操作:
双击
文件夹中的polyspaceroot
\polyspace\plugin\visual_studio.vsix
文件。其中,
是 Polyspace as You Code 安装文件夹,例如polyspaceroot
C:\Program Files\Polyspace as You Code\R2024a
。按照屏幕上的提示进行操作。
如果您看到一条消息,指出您的 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
是 VSIX 安装程序文件的路径。例如,在 Visual Studio 2019 安装中,路径可能是VSIXInstallerpath
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
是 Visual Studio 应用程序的名称(例如,name
Pro
表示 Visual Studio Professional 版本)。
是version
格式的版本号(例如,major
.minor
16.11
表示 Visual Studio 2019 的主要版本)。
要以静默方式卸载此扩展,请使用 /u
标志。使用 /u
标志需要 vsixID
值。要查找 VSIX 文件的 vsixID
值,请执行以下操作:
创建 VSIX 文件的副本并将其重命名为文件扩展名为
.zip
的 ZIP 文件。打开该 ZIP 文件并找到
extension.vsixmanifest
XML 文件。打开
extension.vsixmanifest
XML 文件。您的vsixID
值是<Identity Id="guid" />
标记中的编号"guid"
。
包含 vsixID
的 /u
标志的一个示例是:
VSIXInstaller.exe /u:Polyspace.1234a5bc-d678-9e01-f234-5gh6789ijklm
有关标志的详细信息,请输入以下命令:
cd VSIXInstallerpath VSIXInstaller.exe