Parasoft C/C++test针对C/C++开发的专业白盒自动化测试方案,能有效提高软件开发效率和代码质量。C++test 可以进行静态分析,全面代码审查,运行时错误检测,并在单元测试和组件测试中集成覆盖率分析。
Parasoft C/C++test申请免费试用
基于模式的分析
基于模式的分析可以检测源代码中基于编程标准(如CWE和MISRA)的已知会导致软件缺陷的构造。基于模式的静态分析有助于确保开发人员遵循编码最佳实践、单元测试最佳实践以及组织的开发政策。
此分析和以下所有分析类型都是通过内置或用户定义的测试配置来执行的;请参见 “使用测试配置”。
有关内置配置的信息,请参见内置测试配置。
基于流量的分析
基于流程的分析模拟执行路径,以检测只有在运行时才会出现的潜在缺陷。通过分析跨越应用程序代码大部分的复杂路径,它可以识别出基于模式分析可能无法检测到的问题。
在分析期间运行Flow Analysis内置的测试配置之一,以执行基于流程的分析规则。
- 流量分析快速
- 流量分析标准
- 流量分析积极
有关如何配置流量分析的信息,请参见配置流量分析。
代码重复分析
避免代码重复可以帮助您改进应用程序设计并降低维护成本。该分析类型使用一组规则来指定什么应该被认为是重复代码。
运行以下内置测试配置来执行代码重复检测规则。
- 查找重复的代码
指标分析
度量分析可衡量代码的特性,如循环复杂度、扇形和缺乏凝聚力,以确定代码结构中的潜在弱点。您可以为度量设置一个可接受的范围,以便在代码不符合您的策略时发出警 。
运行以下内置测试配置来执行度量分析。
- 度量
有关代码复制检测和度量的详细信息,请参见《自动化用户指南》中的分析类型。
以上就是如何介绍静态分析类型的教程了,下一部分我们将介绍如何运行静态分析,感兴趣的朋友可以多多关注本教程。

标签:
声明:本站部分文章及图片源自用户投稿,如本站任何资料有侵权请您尽早请联系jinwei@zod.com.cn进行处理,非常感谢!