在 Visual Studio 中为 Polyspace as You Code 配置检查项

您可以在 Visual Studio 中使用 Polyspace^® as You Code 来检查各种类型的缺陷和编码违规。请参阅缺陷 (Polyspace Bug Finder)和编码标准和代码度量 (Polyspace Bug Finder)。默认分析会检查一部分缺陷。请参阅默认启用的 Polyspace Bug Finder 缺陷检查项 (Polyspace Bug Finder)。要检查非默认缺陷和编码违规，请在 Visual Studio^® 中配置 Polyspace as You Code 扩展。

在 Visual Studio 中创建检查项文件

您需要先在 Visual Studio 中创建一个检查项文件，并在“选项”对话框中指定该检查项文件，然后才能配置检查项。要创建检查项文件，请在 Visual Studio 中打开命令行窗口并输入以下命令：

polyspace-checkers-selection

在“检查项选择”窗口中，选择要使用的检查项。使用用户界面保存您的文件。

或者，点击配置视图中的 Configure checkers icon 图标。如果 Visual Studio 中的检查项文件 Polyspace as You Code 设置中有文件路径，并且文件在该路径上不存在，则 Polyspace as You Code 会创建该文件并打开“检查项选择”窗口。

选择检查项和编码规则

您可以为 Polyspace as You Code 配置指定现有检查项文件。在工具栏中，选择工具 > 选项，然后选择 Polyspace as You Code 节点。在检查项文件中指定检查项 XML 文件的完整路径。有关 Polyspace 桌面端和服务器端中的等效工作流，请参阅Prepare Checkers Configuration for Polyspace Bug Finder Analysis (Polyspace Bug Finder)。

Visual Studio Polyspace project properties

创建或修改检查项配置

在“检查项选择”窗口中创建新的检查项和编码规则选择或修改现有的选择。将新配置保存在可重用的检查项文件中。

Checkers selection window

在 Polyspace as You Code 透视的配置视图中，点击以打开“检查项选择”窗口。“检查项选择”窗口由您在 Polyspace as You Code > 分析选项下的“选项”对话框中的检查项文件中指定的检查项 XML 文件预填充。
选择要激活的缺陷和编码规则检查项。
您还可以激活预定义类别的缺陷检查项 All、Default、High、Medium 和 Low。选择 High、Medium 或 Low 可分别激活高影响、中等影响和低影响缺陷。请参阅按影响进行的缺陷分类 (Polyspace Bug Finder)。同样，您可以激活由相应标准定义的预定义编码规则组。
- 选择规范 > 软件复杂性检查项时，请审查它们的阈值。如果默认阈值不可接受，请在阈值列中指定一个合适的阈值。请参阅检查规范 (-guidelines) (Polyspace Bug Finder)。
- 选择自定义规则时，请审查规则的模式和约定。请参阅检查自定义规则 (-custom-rules) (Polyspace Bug Finder)。
- 要创建自定义编码标准分类，或标记感兴趣的 Bug Finder 编码规则检查项，请在“检查项选择”窗口的注释列中输入文本。当您在 Polyspace Access™ 桌面端界面或 Polyspace as You Code 扩展中查看结果时，Polyspace 将在结果详细信息窗格和结果列表的详细信息列（如果可用）中显示该文本。
  注意
  以下各项中会省略您在“检查项选择”窗口中输入的自定义文本：
  生成的报告。
  在桌面端界面打开来自 Polyspace Access 的结果时的 Polyspace 桌面端界面。此限制仅适用于 Bug Finder 检查项。
点击保存更改以将选择更改提交到您的检查项文件。

从桌面端工程导入检查项配置

您可以从 Polyspace 桌面端工程文件 (.psprj) 导入检查项和编码规则配置。请参阅Import Analysis Options from Polyspace Desktop Project。

修改检查项行为

要修改 Bug Finder 缺陷和编码规则检查项的默认行为，可使用分析选项。有关用于修改检查项默认行为的分析选项的列表，请参阅Modify Default Behavior of Bug Finder Checkers (Polyspace Bug Finder)。

要在 Polyspace as You Code 中指定分析选项，请执行以下操作：

将分析选项附加到其他分析选项文件中指定的选项文件中。选项文件是一个文本文件，每行包含一个分析选项。例如，如果要添加分析选项 -code-behavior-specifications (Polyspace Bug Finder) 和有效布尔类型 (-boolean-types) (Polyspace Bug Finder)，请在选项文件中附加以下行：
```
-code-behavior-specifications file1
-boolean-types boolean1_t,boolean2_t
```
如果您没有选项文件，请创建一个包含必要选项的选项文件。在其他分析选项文件中指定该新选项文件的路径。请参阅用于 Polyspace 分析的选项文件 (Polyspace Bug Finder)。