在 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
或者,点击配置视图中的 图标。如果 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)。
创建或修改检查项配置
在“检查项选择”窗口中创建新的检查项和编码规则选择或修改现有的选择。将新配置保存在可重用的检查项文件中。
在 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)。
相关主题
- 默认启用的 Polyspace Bug Finder 缺陷检查项 (Polyspace Bug Finder)
- 用于 Polyspace 分析的选项文件 (Polyspace Bug Finder)
- Checkers Deactivated in Polyspace as You Code Analysis
- Modify Default Behavior of Bug Finder Checkers (Polyspace Bug Finder)