banner图
产品中心
PRODUCT
VectorCAST
PRQA
DT10
DT-Win
Squore
VectorCAST/Lint
 VectorCAST/Lint


       VectorCAST/Lint是一个基于C和C++代码的静态分析模块,它可以帮助您在开发的早期自动分析程序当中存在的编程问题和缺陷。

 

 

-帮助我们找到代码当中存在的编程规范问题

-帮助我们找到代码当中存在的BUG

-采用了最普遍的静态分析方式

 

 

 

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

       对于那些高安全性和高可靠性的行业如航空航天、汽车电子、医疗设备等等,软件的测试是至关重要的,它确保了产品的安全性和可靠性。

       VectorCAST/Lint是一个基于C和C++代码的静态分析模块,它可以帮助您在开发的早期自动分析程序当中存在的编程问题和缺陷,其中包括变量初始化、参数类型不匹配、内存泄露和程序崩溃等问题,从而节约开发时间,降低返工成本和产品风险,提高产品质量。

       VectorCAST/Lint采用了Gimpel Software公司强大的静态分析引擎并在此基础上支持嵌入式编译环境,与VectorCAST的动态测试链相结合。

       VectorCAST/Lint支持MISRA C,MISRA C 2004,MISRA c++ 2008标准检查,通过标准检查使C和C++代码更安全、更易于维护,如果某些代码不符合标准会显示在问题报告中。MISRA标准的特点包括检查的递归性、支持基本类型的概念以及确定函数的副作用。

 

 

 

结合静态分析和动态分析来测试代码,确保嵌入式软件的可靠性

       VectorCAST/Lint模块与VectorCAST的嵌入式软件动态测试模块完美结合,首先VectorCAST/Lint模块会帮助您在早期发现整个C或C++程序的BUG、矛盾以及冗余,其次单元测试、集成测试、系统测试和回归测试等通过测试用例来进行动态测试,它更关注于代码在实际的嵌入式平台上功能的正确性。

       进行动态测试并不依赖静态分析是否完成,这减轻了当进行单元、集成或者回归测试时因静态分析修改代码要重新进行动态测试的工作量。通过结合源代码静态分析和动态测试,可以提高嵌入式C和C++应用程序开发效率、检测缺陷的准确性、缩短检验周期以及确认功能的正确性,保证软件的质量。

 

 

 

VectorCAST / Lint的主要特点包括

-简单易用的图形化界面

-与FLEXlm软件集成确保license的正规性

-集成MISRA规范支持C和C++语言

-注释代码当中出现问题的地方

-能够帮助我们找到代码中BUG,例如未初始化的变量、参数类型不匹配等等

-快速定位问题,节约测试时间

-可定制的报告

 

 

 

它是如何工作的,使用VectorCAST / Lint模块进行静态分析

       VectorCAST/Lint采用了Gimpel Software公司强大的静态分析引擎并在此基础上支持嵌入式编译环境,与VectorCAST的动态测试链相结合。VectorCAST/Lint通过PCLint来静态分析一个或多个源代码文件,它可以使用PCLint的所有功能。

       VectorCAST/Lint在PCLint基础上增加了一些重要的功能,包括license的管理和图形化界面的分析和报告
 


 

 

license的管理

       VectorCAST/Lint同其他VectorCAST模块一样采用相同的license管理器FLEXlm。它能够管理用户拥有的license数量并同步VectorCAST/Lint的使用。

 

Vector Software提供了两种关于VectorCAST/Lint的license使用模式

       独立模式

       VectorCAST/Lint模块可以作为一个独立的模块用来提供用户所需的静态分析功能,它是一个独立的license。

       集成模式

       VectorCAST/Lint模块可以与VectorCAST/C++和VectorCAST/Cover模块相集成,它能够让您拥有对项目进行静态分析和动态分析的功能。这种模式为您的代码提供了最强有力的分析和测试解决方案,确保在产品发布之前定位并解决更多种类的问题。在这种模式下,用户可以直接使用VectorCAST/Lint模块,也可以将已有PCLint license集成进来使用。

       基于图形化界面的分析和报告

       VectorCAST/Lint的图形化界面能够直观的显示源代码中发生的错误和警告信息,并且它还能够显示代码问题的详细说明。