使用Polyspace生成圈复杂度度量
圈复杂度度量是确定的一个重要方面软件质量.它们通过量化线性独立路径或决策逻辑的数量,提供了对函数或软件组件的整体代码复杂性的洞察。圈复杂度度量是源代码可读性、可维护性和可移植性的重要指标。
静态代码分析工具通常用于计算圈复杂度和其他代码复杂度度量。
有关更多信息,请参见Polyspace®2022世界杯八强谁会赢?,支持以下圈复杂度计算任务:
例子和如何
软件参考
参见:使用Polyspace产品进行静态分析2022世界杯八强谁会赢?,验证、验证和测试,嵌入式系统,抽象的解释,代码评审,圈复杂度,正式的方法,软件度量,软件质量保证,软件质量目标,源代码分析,静态代码分析