主要内容

计算代码度量 (-code-metrics)

计算并显示代码复杂度度量

描述

此选项仅适用于 Bug Finder。请参阅版本历史记录

指定 Polyspace® 必须计算并显示您的源代码的代码复杂度度量。这些度量包括文件度量(例如行数)和函数度量(例如圈复杂度和局部变量的估计大小)。

有关详细信息,请参阅使用 Polyspace 计算代码复杂度度量

要在开发周期中保持可接受的软件复杂度水平,请使用软件复杂度检查项。请参阅Reduce Software Complexity by Using Polyspace Checkers

设置选项

使用以下方法之一设置选项:

  • Polyspace 用户界面(仅限桌面端产品):在您的工程配置中,选择编码标准和代码度量节点,然后选择此选项。

  • Polyspace 平台用户界面(仅限桌面端产品):在您的工程配置中,在静态分析选项卡上,选择缺陷和编码标准节点,然后选择此选项。

  • 命令行和选项文件:请使用 -code-metrics 选项。请参阅命令行信息

为何使用此选项

默认情况下,Polyspace 不计算代码复杂度度量。如果您要在分析结果中显示这些度量,请在运行分析前设置此选项。

代码复杂度度量的值过高会导致代码混淆,并增加编码错误的可能性。此外,如果您对源代码运行 Code Prover 验证,先检查代码复杂度度量可能会使您受益。如果一个函数过于复杂,尝试验证该函数可能会导致大量未经证明的代码。有关如何为代码复杂度度量设限的信息,请参阅使用 Polyspace 计算代码复杂度度量

设置

打开

Polyspace 将计算代码复杂度度量并将其显示在结果列表窗格中。

关闭(默认值)

Polyspace 不计算复杂度度量。

提示

如果您只想计算代码的代码复杂度度量,请禁用缺陷检查。请参阅查找缺陷 (-checkers)

命令行信息

参数:-code-metrics
默认值:关闭
示例 (Bug Finder):polyspace-bug-finder -sources file_name -code-metrics
示例 (Bug Finder Server):polyspace-bug-finder-server -sources file_name -code-metrics

版本历史记录

全部展开