检查规范 (-guidelines)
检查是否违反规范
自 R2021a 起
描述
此选项仅影响 Bug Finder。
指定是否检查是否违反规范。每个选项值对应要检查的规范子集。
设置选项
使用以下方法之一设置选项：
Polyspace® 用户界面（仅限桌面端产品）：在您的工程配置中，选择编码标准和代码度量节点，然后为此选项选择一个值。
Polyspace 平台用户界面（仅限桌面端产品）：工程配置中不存在此选项。通过
使用自定义检查项文件和检查项激活文件 (-checkers-activation-file)选项激活检查项。
为何使用此选项
规范是可自定义的检查项，用于检查是否违反了编码最佳做法。您可以使用此选项指定符合您要求的规范规则子集。
经过分析，结果列表窗格列出了违规项。在源窗格中，对于每个违规，Polyspace 将一个 
符号分配给与违规相关的关键字或标识符。
设置
- all
使用默认阈值检查是否违反了所有规范规则。
请参阅规范。
- his
检查是否违反了 Hersteller Initiative Software (HIS) 标准中规定的软件复杂度度量标准。请参阅HIS 代码复杂度度量。
HIS 标准为软件复杂度检查项的子集推荐了具体的阈值。当您使用输入 HIS 时，Polyspace 会激活这组软件复杂度检查项，并使用其 HIS 推荐的阈值。如果软件复杂度度量超过 HIS 推荐的阈值，Polyspace 会引发违规。
- from-file
指定一个 XML 文件，在其中配置具有特定阈值的自定义规范检查项。在 Polyspace Desktop 上运行分析时，使用桌面端用户界面创建或编辑包含检查项配置的 XML 文件。在 Polyspace 服务器上运行分析时，编辑现有的检查项选择文件。在 Polyspace as You Code 上运行分析时，使用“检查项选择”用户界面创建或编辑包含检查项配置的 XML 文件。
使用值 from-file 时，请使用选项
按文件设置检查项 (-checkers-selection-file)来指定检查项选择 XML 文件。
提示
使用选项文件时，您可以激活规范检查项，并指定检查项选择文件来修改其阈值。例如，在选项文件中，输入：
您还可以在命令行中同时使用上述选项。-guidelines from-file -checkers-selection-file selection_xml
或者，您可以使用命令
-checkers-activation-file指定检查项激活文件。您无需指定缺陷和编码标准的具体选项。例如，在命令行或选项文件中，输入：其中文件-checkers-activation-file activation_xml
activation_xml是使用检查项选择用户界面创建的检查项激活文件。如果在文件activation_xml中激活了规范检查项，则无需指定选项-guidelines。这些选项更改了 Polyspace 计算代码度量的方式：
这些选项会更改代码中的规范违规数量。
命令行信息
在命令行中使用命令 -guidelines 来检查是否违反了代码复杂度规范。
参数：-guidelines |
值：all | his | from-file |
示例 (Bug Finder)：polyspace-bug-finder -sources |
示例 (Bug Finder Server)：polyspace-bug-finder-server -sources |
或者，通过检查项激活 XML 文件启用所有或特定的代码复杂度规范。请参阅检查项激活文件 (-checkers-activation-file)。
版本历史记录
在 R2021a 中推出
