本页面提供的是上一版软件的文档。当前版本中已删除对应的英文页面。

使用文件设置检查项 (-checkers-selection-file)

（已删除）为您的分析定义一组自定义编码标准检查

此选项仅适用于编码规则和代码度量，现已从 Code Prover 中删除。请改用 Bug Finder 中的使用文件设置检查项 (-checkers-selection-file)。有关详细信息，请参阅版本历史记录。

描述

指定 XML 配置文件的完整路径，该文件中包含您自定义的编码标准检查项选择。您还可在该同一 XML 文件中为各编码标准指定自定义的检查项选择：

  • MISRA C™:2004

  • MISRA C:2012

  • MISRA™ C++

  • JSF AV C++

  • AUTOSAR C++14（仅限 Bug Finder）

  • CERT® C（仅限 Bug Finder）

  • CERT C++（仅限 Bug Finder）

  • ISO®/IEC TS 17961（仅限 Bug Finder）

  • Polyspace® 规范（仅限 Bug Finder）

您还可以定义自定义规则，将代码中的标识符与您指定的文本模式相匹配。

设置选项

用户界面（仅限桌面端产品）：在您的工程配置中，此选项位于编码标准和代码度量节点上。

命令行和选项文件：请使用 -checkers-selection-file 选项。请参阅命令行信息。

启用此选项时，请将您选择的编码标准设置为 from-file 以使用指定的配置文件。

为何使用此选项

使用此选项来定义特定于组织的编码标准检查项选择。不同编码标准的配置被合并到单个 XML 文件中，您可以在所有工程中重复使用该文件以强制应用通用的编码标准。

设置

打开

Polyspace 根据您指定的配置文件中定义的编码标准检查项选择或自定义规则来检查您的代码。

要使用 Polyspace 桌面端创建配置文件，请在配置中选择编码标准和代码度量。要打开检查项选择界面，请点击右窗格中的文件夹 ()。在左窗格中选择要配置的编码标准，然后在右窗格中选择要激活的规则。

要使用 Polyspace As you Code IDE 插件创建配置文件，请参阅特定插件的文档。

要使用或更新某个现有文件，请在检查项选择对话框的选择文件字段中输入该文件的完整路径。或者，在检查项选择窗口中点击浏览并浏览到该现有文件。

关闭（默认值）

Polyspace 不会根据您指定的配置文件中定义的编码标准检查项的选择或自定义规则来检查您的代码。

提示

  • 对于 Polyspace 桌面端产品，请在 Polyspace 用户界面中指定编码标准配置。保存配置时，会创建一个 XML 文件以供当前工程和其他工程使用。

  • 对于 Polyspace Server 产品，您必须创建编码标准 XML。根据您要启用的标准，创建 polyspaceserverroot\polyspace\examples\doc_cxx\coding_standards_XML 中某个文件的可写副本。通过使用该 XML 文件中的条目关闭规则（模板中启用了对应标准的所有规则）。其中，polyspaceserverroot 是 Polyspace Server 产品的根安装文件夹，例如 C:\Program Files\Polyspace Server\R2019a。

    例如，要关闭 MISRA C:2012 规则 8.1，请在文件 misra_c_2012_rules.xml 中使用以下条目：

    <standard name="MISRA C:2012">
  ...
  <section name="8 Declarations and definitions">
      ...
      <check id="8.1" state="off">
      </check>
      ...
  </section>
  ...
</standard>

    有关规则 ID 和节名称的完整列表，请参阅：

    注意

    在以后的版本中，检查项配置文件的 XML 格式可能会有所变化。

命令行信息

参数：-checkers-selection-file
值：XML 配置文件的完整路径
默认值：关闭
示例 (Bug Finder)：polyspace-bug-finder -sources file_name -checkers-selection-file "C:\Standards\custom_config.xml" -misra3 from-file
示例 (Code Prover)：polyspace-code-prover -sources file_name -checkers-selection-file "C:\Standards\custom_config.xml" -misra3 from-file
示例 (Bug Finder Server)：polyspace-bug-finder-server -sources file_name -checkers-selection-file "C:\Standards\custom_config.xml" -misra3 from-file
示例 (Code Prover Server)：polyspace-code-prover-server -sources file_name -checkers-selection-file "C:\Standards\custom_config.xml" -misra3 from-file

版本历史记录

全部展开

另请参阅

主题