-
博客
希望我们能与您分享和探讨成长中的点点滴滴
静态代码分析是如何工作的
创提信息
2022/07/20
分享到
了解静态代码分析是如何工作的，可以帮助您更轻松地提高质量，并在不牺牲速度的情况下遵守编码规范。在这里，我们将阐释静态代码分析是如何工作的。
本文将包含如下几个部分：
• 软件测试中的静态分析
• 静态代码分析是如何工作的
• 静态代码分析示例
• Perforce静态代码分析工具如何提供帮助
软件测试中的静态分析
静态分析在软件测试开始之前发挥着关键的作用。静态分析会确保您传递给测试的代码是最高质量的。而且，如果您选择了合适的静态分析工具，开发流程将会加快。
静态分析能发现什么
静态分析在您运行程序之前就能发现代码中潜在的质量问题。
这些问题包括：
• 编程错误
• 违反编码规范
• 安全漏洞
静态分析工具特别擅长发现诸如缓冲区溢出、内存泄漏和空指针之类的编码问题。
静态分析可以帮助开发团队学习最佳编码实践，这有助于您长期提高代码质量。
静态分析不能识别什么
有些问题是静态分析无法识别的。例如，静态分析无法检测出软件需求是否已经满足，也无法识别出某个函数将如何执行。您需要对此进行动态测试。
这就是为什么静态分析和动态测试是互补的。静态分析可以在早期检测出代码中的错误，这确保了产品进入测试阶段的时候的高质量。而且，因为通过这种方式确保了测试流程更高效，静态分析还加速了整个研发周期。
静态代码分析是如何工作的
下面是静态代码分析的工作原理。
1. 编写代码
您的第一步是编写代码。
2. 运行静态代码分析工具
接下来，在代码上运行静态代码分析工具。该工具将根据预先定义的编码规则检查代码。这些预先定义的编码规则可能来自编码规范，也可能是您的团队开发的内部编码规则。
3. 审查结果
静态代码分析工具将识别不符合编码规则的代码。然后，您可以审查结果。可能会有误报需要排除，有些问题会比其他问题更加严重需要尽快修复。一些静态代码分析工具，比如Helix QAC和Klocwork，将为您确定问题的优先级。
4. 修复需要修复的问题
接下来，您将修复需要修复的问题。从最关键的部分开始。然后继续修复列表中的其他问题。
5. 继续测试
一旦您解决了代码中的问题，就可以进入下一个开发阶段。您也可以重新开始这个流程。
静态代码分析示例
Helix QAC和Klocwork用于多个行业提供最精确的静态分析结果，30多年来一直是值得信赖的静态代码分析工具，可以帮助您比其他工具更准确地发现代码中的缺陷。您可以随时分析和修复代码。使用Helix QAC或Klocwork是确保您的代码符合ISO标准的最佳方式。
以下是一个静态代码分析的示例。
选择编码规范(如适用)
您可以在Helix QAC或Klocwork中添加一个合规模块，以轻松地遵守编码规范。MISRA、AUTOSAR和CERT是一些常见的编码规范，您也可以使用自己的内部编码规则。
创建您的项目
在运行分析之前，您需要创建一个新项目。在这里，您可以选择一种编程语言(C, C++, C#, Java或JavaScript)。
然后，您将：
1. 配置项目的设置以匹配编译器的设置。这可以确保您的分析能够顺利而准确地运行。Helix QAC和Klocwork也可以针对不同的编译器进行优化。
2. 同步您的项目。这将指定静态分析工具分析哪个源文件和头文件。
分析您的项目
您可以在构建项目之时或之后开始分析项目。分析项目可以通过脚本、命令或点击按钮来完成。
Helix QAC和Klocwork还能与Microsoft Visual Studio和Eclipse相集成。因此，您可以在不离开集成开发环境(IDE)的情况下分析文件。
审查违规情况
您将看到与您的项目相关联的文件和文件夹。当您选择一个文件时，您将看到分析结果。如果一行代码旁边有一个泡泡图标，这意味着该行代码存在诊断信息。您可以点击泡泡来查看违规情况。
您还可以使用诊断窗口来筛选结果。只需点击诊断信息，就可以看到代码中哪里出现了违规情况。
根据严重度筛选
根据代码的性质，您可能会得到数百甚至数千条诊断信息。您可以使用严重度筛选器来确定您需要处理的问题的优先级。严重度级别可针对您的团队进行定制。
您还可以按规则筛选诊断信息。如果您有一个(或多个)对产品更重要的规则，这样的功能是很有帮助的。
抑制您无法修复的违规情况
如果您发现了您不打算修复的一条诊断信息或一种诊断类型，您可以加以抑制。您可以配置抑制的范围以满足您的需要。您还可以添加偏差标记。这些是用来记录您抑制诊断的原因。这对合规而言很重要。
完全不抑制某些规则或诊断是很难的，因为每个人通常都需要抑制一些规则，特别是当涉及到遗留代码时。
编辑您的代码
您可以选择在静态分析工具或集成开发环境(IDE)中编辑代码。只需修复代码，保存文件，然后重新分析文件。如果诊断信息消失，则问题已得到修复。
评审代码度量指标
您也可以使用web仪表盘来检查Helix QAC或Klocwork的代码度量指标。例如，您可以查看圈复杂度这个指标的历史记录。这将使您了解代码的复杂度是如何随时间而变化的。过于复杂的代码很难维护。
试用Helix QAC或Klocwork进行静态代码分析
您可以亲自体验一下，就明白为什么Helix QAC和Klocwork这两款静态代码分析工具受到业界的信赖长达30多年。若想了解Helix QAC和Klocwork将如何帮助您分析代码，立刻注册申请免费试用吧。