使用 Hyper-V 创建 Linux 虚拟机

通过创建运行 Linux 分发版的虚拟机 (VM)，然后在该虚拟机中安装 Polyspace Access，您可以在 Windows Server^® 2016 和 2019 上安装 Polyspace^®。

警告

与在实体机上使用 Polyspace Access 相比，在虚拟机中使用 Polyspace Access 在 I/O 操作期间产生的开销最多为实体机的 50%。

前提条件

在创建虚拟机之前，请：

确保在计算机上启用 Hyper-V。
按 Windows+X 键并点击 Windows PowerShell (Admin) 打开 PowerShell。
在 PowerShell 命令提示符中，输入以下命令：
```
(Get-WindowsOptionalFeature -featurename Microsoft-hyper-v -online).state
```
如果此命令未返回 Enabled，请输入以下命令：
```
Install-WindowsFeature -Name Hyper-V -IncludeManagementTools -Restart 
```
此命令会启用 Hyper-V 并重新启动计算机。
按 Windows 键并键入 HyperV 打开 Hyper-V 管理器，然后点击操作 > 连接到服务器并选择本地计算机。
确保已在 Hyper-V 中创建外部虚拟交换机。
在 PowerShell 命令提示符中，输入以下命令：
```
Get-VMSwitch | where SwitchType -eq 'External'
```
如果此命令未返回任何结果，请按照这些说明创建外部虚拟交换机。运行此命令可能需要管理员特权。
下载 Docker 支持的 Linux 分发版的 ISO 镜像（例如，Ubuntu Server）。有关可用于 Docker 引擎或 Docker Engine Enterprise (EE) 的 Linux 分发版列表，请参阅 Docker 引擎支持的平台和 Linux 分发版上的 Docker EE。
下载并安装网络许可证管理器。请参阅安装许可证管理器。

创建虚拟机

要创建虚拟机，请打开 Hyper-V 管理器。在操作窗格中，点击新建 > 虚拟机。

按照新建虚拟机向导窗口中的提示进行操作。

在指定代数步骤中，选择第二代。
在分配内存步骤中，分配足够的内存以满足 Polyspace Access 的要求。建议内存不要小于 32 GB。
在配置网络步骤中，选择与外部连接类型对应的交换机。
在连接虚拟硬盘步骤中，虚拟硬盘的大小必须满足 Polyspace Access 数据库的要求。建议磁盘大小不要小于 500 GB。
在安装选项步骤中，选择从可启动的镜像文件安装操作系统，并提供已下载的 Linux ISO 镜像的路径。

点击完成并关闭向导后，在虚拟机窗格中右键点击新创建的虚拟机，然后点击设置。在设置窗口中，点击左窗格中的安全，选择启用安全启动，并从模板下拉列表中选择 Microsoft UEFI 证书颁发机构。安全启动有助于防止加载操作系统的实用工具在启动时运行未经授权的代码。有关 Microsoft 支持安全启动的 Linux 分发版列表，请参阅 Windows 上 Hyper-V 支持的 Linux 和 FreeBSD 虚拟机。

启动并配置虚拟机

要启动虚拟机 (VM)，请在 Hyper-V 管理器中右键点击虚拟机窗格中的虚拟机名称，然后点击连接。如果是首次启动虚拟机，请按照提示安装在创建虚拟机时在安装选项步骤中指定的 Linux 分发版。

在安装过程中，需要指定 Linux 计算机的主机名，以及用于登录 Linux 计算机的用户名和密码。在后续配置步骤中使用 sudo 命令时，需要输入此密码。

安装 Linux 发行版后，重新启动 VM 并打开一个 Linux 命令行终端。

安装 Docker 引擎。有关安装说明，请参阅 Docker 文档，例如获取 Docker 引擎 - Ubuntu 社区。
安装 Docker 引擎后，将当前用户添加到 docker 组。只有 docker 组中的用户可以运行 Docker 命令。在终端中，输入以下命令：
```
sudo usermod -aG docker $USER
```
安装 openssl 实用工具。如果为 Polyspace Access 启用 HTTPS，可以使用此实用工具来生成公钥/私钥对以配置 User Manager 服务，以及生成必要的证书。例如，在 Ubuntu 上输入以下命令：
```
sudo apt install openssl
```
如果已安装 openssl，则此命令将不起作用。
安装 openssh-server 服务器并确保在防火墙配置中启用了端口 22。然后您可以使用 SSH 远程登录到 Linux 计算机，或者将文件安全地传输到 Linux 计算机。例如，在 Ubuntu 上输入以下命令：
```
sudo apt install openssh-server
sudo ufw allow 22
```
如果已安装 openssh-server，则此安装命令将不起作用。完成此步骤后，可以使用 scp 等命令在 Windows Server 2016 计算机与 Linux 虚拟机之间安全地传输文件。
例如，如果以用户名 accessUser 登录到主机名为 access-vm-lnx 的 Linux 虚拟机，则可以在 Windows Server 计算机上输入以下命令来传输文件 myFile.txt：
```
scp pathTO\myFile.txt accessUser@access-vm-lnx:~
```
此命令会将该文件复制到 Linux 虚拟机的 /home/accessUser 文件夹下。
pathTO 是 myFile.txt 的路径。
完成以上配置步骤后，重新启动虚拟机。

要安装 Polyspace Access，请参阅安装用于 Web 审查的 Polyspace Access (Polyspace Bug Finder) 和管理 Polyspace NNU 许可证 (Polyspace Bug Finder)。