本页面提供的是上一版软件的文档。当前版本中已删除对应的英文页面。
计算代码度量 (-code-metrics)
(已删除)计算并显示代码复杂度度量
不再支持使用 Code Prover 来计算代码度量。请改用 Bug Finder 中的计算代码度量 (-code-metrics)。有关详细信息,请参阅版本历史记录。
描述
指定 Polyspace® 必须计算并显示您的源代码的代码复杂度度量。这些度量包括文件度量(例如行数)和函数度量(例如圈复杂度和局部变量的估计大小)。
有关详细信息,请参阅使用 Polyspace 计算代码复杂度度量。
要在开发周期中保持可接受的软件复杂度水平,请使用软件复杂度检查项。请参阅Reduce Software Complexity by Using Polyspace Checkers。
为何使用此选项
默认情况下,Polyspace 不计算代码复杂度度量。如果您要在分析结果中显示这些度量,请在运行分析前设置此选项。
代码复杂度度量的值过高会导致代码混淆,并增加编码错误的可能性。此外,如果您对源代码运行 Code Prover 验证,先检查代码复杂度度量可能会使您受益。如果一个函数过于复杂,尝试验证该函数可能会导致大量未经证明的代码。有关如何为代码复杂度度量设限的信息,请参阅使用 Polyspace 计算代码复杂度度量。
设置
打开Polyspace 将计算代码复杂度度量并将其显示在结果列表窗格中。
关闭(默认值)Polyspace 不计算复杂度度量。
提示
如果您只想计算代码的代码复杂度度量,请执行以下操作:
在 Bug Finder 中,禁用缺陷检查。请参阅
查找缺陷 (-checkers)。在 Code Prover 中,运行验证,直到源代码合规性检查阶段。请参阅
验证等级 (-to)。
Code Prover 分析操作会在源代码合规性检查阶段后计算堆栈使用量度量。如果您在源代码合规性检查之前停止了 Code Prover 验证,则不会报告堆栈使用量度量。
命令行信息
参数:-code-metrics |
| 默认值:关闭 |
示例 (Bug Finder):polyspace-bug-finder -sources |
示例 (Code Prover):polyspace-code-prover -sources |
示例 (Bug Finder Server):polyspace-bug-finder-server -sources |
示例 (Code Prover Server):polyspace-code-prover-server -sources |