(function(w,d,s,l,i){w[l]=w[l]||[];w[l].push({'gtm.start': new Date().getTime(),event:'gtm.js'});var f=d.getElementsByTagName(s)[0], j=d.createElement(s),dl=l!='dataLayer'?'&l='+l:'';j.async=true;j.src= 'https://www.googletagmanager.com/gtm.js?id='+i+dl;f.parentNode.insertBefore(j,f); })(window,document,'script','dataLayer','GTM-NKB5KB'); VectorCAST/Lint™ - 静态分析 | Vector
VectorCAST/Lint
静态分析

静态分析

VectorCAST/Lint是源代码静态分析工具,可以在C/C++代码库上执行基于模块的代码或整个程序的源代码分析,并在编译之前自动从源代码中识别问题。VectorCAST/Lint静态分析可帮助开发人员在任何正式测试之前的软件开发周期中尽早发现编程错误和其他缺陷,从而降低了开发安全关键型和任务关键型嵌入式应用程序的成本,时间和风险。涉及数据初始化,类型不匹配和模块间不一致的错误可能在代码执行期间非常耗时,因为它们通常会导致段错误或其他“崩溃”。VectorCAST/Lint在编译代码之前识别出这些错误,从而加快了项目的测试阶段。

 

VectorCAST/Lint使用了来自Gimpel Software的强大的Lint源代码静态分析引擎,并且已扩展为支持当前与VectorCAST动态测试产品线集成的大量嵌入式编译器环境。

开箱即用的VectorCAST/Lint配置用于检查MISRA C,MISRA C:2004和MISRA C++:2008标准。这些标准建议对C/C++语言使用有限的构造子集,目的是更安全,更可维护地使用该语言。在代码分析报告中突出显示了不符合该标准的内置规则的代码区域。VectorCAST/Lint中的MISRA检查功能包括对递归的检测,对MISRA 2”基础类型”概念的支持,函数副作用的确定以及对MISRA C++支持。

通过将静态分析与动态测试相结合来验证代码,从而确保开发出可靠的嵌入式软件

VectorCAST/Lint是对VectorCAST套件中动态嵌入式软件测试工具的完美补充。虽然VectorCAST/Lint会在编译源代码之前查看整个C/C++程序并查找错误,不一致和冗余,但动态测试(例如单元和集成测试,代码覆盖率和回归测试管理)将重点放在执行嵌入式硬件/模拟器上的源代码,以通过测试用例的通过/失败分析来评估代码的正确性。

由于动态测试工具不依赖于静态分析的信息来构建可执行的测试套件,因此,在进行单元,集成和回归测试时,每次对文件进行更改时,都无需运行静态分析。通过将源代码静态分析和动态测试相结合,开发C/C++嵌入式应用程序的组织可以提高检测缺陷的速度和准确性,缩短验证和确认过程,并确保开发出更高质量的软件。

优势

  • 帮助找到与宽松的语言编写规范有关的问题
  • 致力于检查代码是否可能存在缺陷
  • 分析引擎基于最广泛使用的静态分析技术

亮点

  • 易于使用的GUI缩短了学习曲线
  • 与FLEXlm集成以确保许可证使用合规
  • 现成的对MISRA C/C++的支持
  • 带有消息注释的源代码查看器
  • 识别初始化错误,类型检查和宏分析
  • 快速发现可能需要大量时间才能在正式软件测试期间识别的问题
  • 可自定义的报告

工作原理

使用VectorCAST/Lint进行静态源代码分析

 

VectorCAST/Lint使用了来自Gimpel Software的强大的Lint源代码静态分析引擎,并且已扩展为支持当前与VectorCAST动态测试产品线集成的大量嵌入式编译器环境。VectorCAST/Lint从Gimpel Software启动PCLint产品,以静态分析一个或多个源代码文件。VectorCAST/Lint中提供了PCLint中所有可用的功能。

VectorCAST/Lint对PCLint的全面功能进行了一些关键的增强,包括许可证管理以及基于GUI的分析和报告。

 

许可证管理

VectorCAST/Lint许可证由与VectorCAST套件其余部分相同的许可证管理器管理:FLEXlm。这使得关心许可证合规性的组织可以将PCLint的并发使用数量限制为仅组织拥有的许可证数量。Vector为VectorCAST/Lint提供了两种许可模式:

  • 独立模式 - VectorCAST/Lint可以作为独立产品购买,以支持组织的静态分析要求。VectorCAST/Lint包含PCLint许可证。
  • 集成模式 - VectorCAST/Lint可以与VectorCAST/C++和/或VectorCAST/QA一起购买,从而使您的项目可以对代码执行静态分析和动态测试。此选项为您的代码提供最可靠的分析和测试解决方案,确保在产品发布之前识别并解决了各种各样的问题。

 

基于GUI的分析和报告

VectorCAST/Lint消息浏览器使在源文件的上下文中查看错误和警告变得容易。此外,VectorCAST/Lint的消息浏览器还显示了分析的幕后概念的详细说明。

培训

VectorCAST研讨会

我们的研讨会为您提供了许多机会来扩展或加深您对VectorCAST的了解。

对单元测试和代码覆盖率等概念,以及如何使用VectorCAST测试自动化平台来实现这些概念有一个基本的了解。

 

相关页面

医疗工程解决方案

开发和测试符合FDA和IEC 62304规范的嵌入式软件。

访问页面
测试

实现模拟和测试环境的测试工具

访问页面