QAC/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。
- 2024-12-09
- 2024-12-03
- 2024-12-03
- 2024-11-27
- 2024-11-19
- 2024-11-12
- 2024-12-10
- 2024-12-10
- 2024-12-09
- 2024-12-06
- 2024-12-05
- 2024-12-05