编程软件

当前位置:

QAC/C++ | C++语言规则检查工具

QAC/QAC++是英国编程研究公司(Programming Research Ltd)进行C和C++语言规则的检查工具,在十几年里,QAC/QAC++产品一直处于静态编程规则检查领域的重要地位,PRL公司有多名专家参与MISRA和其它标准的起草和编写工作。PRL公司积累了深厚的经验,因为其对编程语言的理解非常精深,其产品在汽车、通信、航天航空、军工等领域拥有大量的用户。QAC/QAC++以其能全面而准确的发现软件中存在的潜在问题的能力得到客户的认可和赞赏。


行业基准,可对工业规模的C代码进行深入,准确的分析。QAC是业界C语言静态分析解决方案,提供了一整套功能,可帮助实施各种编码标准,并查找新旧代码中的错误。


特征

C语言穿有解析器,与复杂的数据流引擎集成

在开发周期的早期阶段识别编码缺陷

数据流分析以捕获错误

提高代码可靠性,可维护性,可移植性可重用性和可测试性

证明符合编码规则集和编码标准,包括MISRAC

非常准确的诊断信息(和广泛的帮助文本),供开发人员识别缺陷,分析根本原因并实施修复

诊断,指标和可视化,以提高代码审查的有效性

自动代码检查提供即时,对象,可重复的代码审计

小的误报,节省时间,金钱和关键经验资源


技术概述

  • 基于组件的插件架构

  • 两个用户界面

           · 具有集成原地阿妈编译器的平台图形用户界面

           · 跨平台命令界面

  • 与Microsoft Visual Studio和Eclipse完全集成,因此开发人员现在可以在他们喜欢的开发环境中拥有跨平台GUI的每个功能

  • 跨平台,跨界面,多语言项目格式和项目引擎允许混合源代码(C和C++)项目

  • 便携式项目格式没允许在开发团队成员之间轻松分配项目配置

  • 从一个跨平台用户界面完全控制项目设置

  • 一个安装程序,提供

          · 用户界面

          · 支持的编译器的开箱即用兼容性

          · 一个功能集,允许与绝大多数构建自动化系统和IDE轻松集成

          · 将结果上传到QA验证质量管理系统的能力


支持平台

Windows 7(32位和64位)

Linux RHEL 5(32位和64位)

Solaris 10  (64位)


部署选项

  • 新的跨平台GUI

  • 命令行

  • Makefile集成

  • 与Microsoft Visual Studio™2010和2012紧密集成

  • 与基于Eclipse™的ide紧密集成(例如CodeWarrior和wind River Workbench™)

  • 模型驱动的开发环境(例如Rhapsody™)

  • 持续集成环境

  • 跨平台分析项目管理


合规模块

QAC

MISRA C : 1998

MISRA C : 2004

MISRA C : 2012

QAC++

MISRA C++ : 2008

JSF AV

HIC


功能特点
QAC/QAC++能够对C/C++代码规则进行自动检查,报告所违反的编程标准和准则。通过QAC/QAC++的使用可以减少代码审查所需的时间,使软件设计师在开发阶段的就可以避免代码中的问题,提高代码的质量,缩短后期动态测试的周期。

QAC/QAC++产品界面简洁直观,操作和使用非常简单,建立工程之后直接加入代码就可以进行分析,能够发现1200多种C语言问题、800多种C++的问题,可以支持编译器的扩展、配置简单灵活,分析速度非常快,分析报告可以是excel、word、pdf、图表等多种形式,在线帮助相关联,可以及时得到问题的解释和示例。
 

QAC/QAC++支持多种编程标准(ISO,MISRA C,JVF,EC++等),也支持多种其它行业编程规则。QAC/QAC++提供了编程规则的二次开发接口,允许添加其它的自定义的编程规则。

QAC/QAC++能够提供另外两种静态分析的能力:软件结构分析和质量度量.

  • 软件结构分析包括:函数控制结构图、函数调用树、数据引用关系图,文件包含关系。

  • 质量度量包括:提供60多种C语言度量和20多种C++度量

检测功能

QAC/QAC++能发现C代码中超过1300种潜在问题,C++代码400多种潜在问题,从而发现危险的结构,发现维护和移植中发生的问题。

  • 成功解析许多流行的C/C++语言编译器中的语言扩展和非标准的结构。

  • 简单操作就可以轻松定制警告信息和报告。

  • 提供几十种C/C++复杂度度量,包括圈复杂度、静态路径统计和Myer's interval等,还可以扩展定制的复杂度度量。

  • 提供开发接口,可扩展执行特定的分析检查。

  • 可以扩展自定义的代码检测规则。

  • 提供多种多样的可视化输出,包括函数结构图、函数调用树、外部参考、文件包含关系和统计的度量分析。

  • 可用于Windows和Unix平台,有方便易用的GUI图形界面,可以和流行的开发环境集成。


突出优势

QAC在代码规则检查方面深入透彻,集成了多种编程标准,有超过1200多条警告提示可以给开发人员很好的提醒,可以作为贯彻实施企业编程准则和行业编程的检测工具。经过测试,QAC可以很准确的发现代码中潜在的问题,不存在漏报,误报和错报的情况。QAC利用强大的分析器进行预处理和后分析,检查C语言代码缺失或者遗漏的头文件。QAC以其严谨而准确的分析提供了可靠的检测结果。QAC能支持各行业编程标准,进行独立检查并生成报告。

QAC的操作和使用非常简单,在Viewer中可以方便查看结果,点击警告就可以看到在线解释和示例,自动进行报告的更新。QAC和QAC++允许再二次开发接口上定制新的规则,只需要点击鼠标便可定制特定的规则,可以添加行业标准或者自定义的内部规则。 
QAC可以集成到其他IDE中,在熟悉的环境就可以进行规则检查,比如:MS VC++,MS .NET,Tornado,Source Insight,Keil C,C++ Builder,Labwindows CVI等各种开发环境。

支持的平台

  • QAC支持的语言有C、C++、Java、Fortran;

  • QAC可支持的平台有Microsoft Windows、Sun Solaris、HP-UX、Redhat Linux、Slackware Linux。

EiffelStudio | Eiffel语言的集成开发环境
Xceed Ultimate Suite | 可视化组件开发工具

上一篇:

下一篇:

分享到: 0