banner图
产品中心
PRODUCT
VectorCAST
PRQA
DT10
DT-Win
Squore
当前位置:主页> 产品中心> PRQA> QA•C++
QA•C++
 C++代码静态分析工具


       市场领先的QAC++是为在项目编码阶段的工程师设计的,以确保开发高质量的C++代码。 

       QA.C++也可以在开发过程的任何阶段用于减少代码bug,并且快速、自动执行、易用、可用于任何规模的开发环境。 

       QAC++提供了高效的、稳定的、完全自动化的环境创建和执行编码规范。QAC++快速有效的检测和报告软件的缺陷、语言执行错误、冲突、危险用法和编码规范错误,防止错误进入产品导致开发延期。QAC++能够监视和限制复杂度,开发可测试和可维护代码。QAC可以报告代码对特定的编程规范的符合程度。 

 

主要功能

-发现软件的bug和缺陷,以及不符合规范的问题

-发现使用危险、过于复杂和不可移植代码引起的问题

-提供一个高效的、稳定的和自动化的环境,检查和强化客户的编程规范

-发现编译器和其它工具不能发现的问题

-集成高级的消息抑制和增强分析的工具

-集成诊断工具和容易理解的代码度量可视化报告

关键优势

-在加快发布时间的同时降低研发成本

-降低程序失败的风险

-在开发周期的早期发现编程问题

-保证编码质量和编码规范的合规性

-加速和强化代码审查过程,提高团队效率

-培养和提高编程人员能力,提供最好的训练

-增强可靠性、可移植性和可维护性

-可以快速和反复地进行代码的审查和评审

QAC++检查的范围例子 

设计问题 

从类的接口设计、表达式和语句、派生、未定义行为到冗余和逻辑错误,QAC++能够检测C++代码中的大量关键问题。 

资源泄漏 

QAC++检测内存使用的问题,包括分配和释放机制的冲突,类复制接口,使用C风格的内存管理和可能引起内存泄漏问题的派生操作。 

异常问题 

QAC++检测没有捕捉到的和未指定的可能导致错误程序终止的异常,包括为了提高异常处理、规范和效率的申明。 

模板 

从实例化问题,ADL查找,到模板成员函数,静态成员,超载问题,QAC++都将将该对模板的危险用法。 

超载和优先 

QAC++将警告类的继承,超载函数的隐藏和不可访问的成员函数问题。

潜在和预防测量 

QAC++将警告反向、未用、未修改的标识、不正确或者不期望的派生、处理返回、为保证代码鲁棒性产生的不期望的影响。

标识 

QAC++强化指定风格的命名习惯。检测所有链接、范围、时间和类型的标识种类。 

C++语言功能 

QAC++帮助提高使用C++语言的代码质量。包括利用面向对象技术移植的C风格代码和通过C++语言功能确保效率和安全性。 

 


 

QAC++的分析和报告功能 

QAC++强大的消息浏览器描述了文本驱动的环境,链接了丰富的知识仓。QAC++说明了为什么它发现的问题需要修正,并提供了详细的例子演示如何修正。

度量和可视化 

-基于项目的  

-基于文件的  

-基于函数的  

-用户自定义的矩阵  

-使用Kiviat图的图形化度量分析  

-度量阈值警告 

总结报告 

可配置的PDF报告 

-符合性  

-质量  

-代码审查  

-抑制 

文本报告 

-警告总结  

-警告列表 

产品关键功能 

-交互式的消息浏览器  

-源码理解工具  

-浏览器关联  

-函数结构图  

-度量浏览器  

-在线帮助和知识仓  

-上下文关联消息  

-指定的编码规范  

-概要和详细的报告  

-IDE集成 

-超过1300个可选的消息  

-指定的C语言分析引擎  

-交叉模块分析(链接时检查)  

-语义错误检查  

-数据流错误检查  

-Bug捕捉配置  

-紧密的命名分析  

-基于注释的抑制  

-抑制审查  

-渐增的分析  

-对项目的大小和规模没有限制  

-FLEXLm许可管理  

-扩展的编译器支持  

-自动的编译器配置器  

-IDE和编译系统集成  

-Microsoft Visual Studio  

-Eclipse CDT  

-Windriver Tornado&Workbench  

-Rhapsody  

-VectorCAST  

-Makefile Integration  

-Custom Integrations  

-支持MISRA-C++ 2008  

-支持JSF AV++  

-支持HIC++



MISRA-C++合规性分析包

MISRA C强制性 

       MISRA-C++规范格式是C++语言为开发安全关键系统和其他嵌入式应用而设定的一系列限制和安全子集。 

       从已经建立的编码规范来说,比如MISRA C、洛克西德.马丁的JSF++和PRQA的HIC++等,编码标准就是包括一系列的指导意见和对大多数用户易于理解的好习惯。 

MISRA C++ 遵从模型 

       PRQA是世界领先的编码规范检查和基于语言的静态分析工具商,提供了工业领先的QAC++分析工具遵从模型,增强MISRA-C++编码规范检查。QA.MISRA C++延续了在高可靠编程规范方面的优异性能。

关键优势

-采用安全的方法使用C++语言

-强化并报告最有效的编码规范和最有的方法

-全面的完整的指导建议

-帮助提高软件完整性

-审计文档证明对规范的合规性

主要功能

-QA-C++完全支持对MISRA-C++的符合检查

-最全面地执行MISRA-C++ 2008规范标准

-支持符合MISRA-C++ 2008的项目

-根据客户项目进行配置

MISRA C++符合性检查 

       使用PRQA的消息浏览器,在线帮助和特定的MISRA C++消息,开发人员可以快速设计符合MISRA-C++标准的代码。 

提供各种不同的输出报告,内容包括报告、检查和验证对MISRA标准的符合程度。 

MISRA-C++的特点

-消除未定义的行为

-消除或减少执行定义的行为

-为审查和维护提高透明度

-为项目提供一致的编码风格

-避免常见的编程错误

-帮助形成好的习惯,特别是在“远景规划”方面