Helix QAC — 软件静态测试工具
Helix QAC 是Perforce 公司(原PRQA 公司)产品,主要用于C/C++ 代码的完全自动化静态分析工作,可以提供编码规则检查、代码质量度量、软件结构分析、测试结果管理等功能。Helix QAC 能够全面而准确地发现软件中潜在的问题,自身符合ISO26262 功能安全标准认证。目前已广泛应用于汽车、电子商务、医疗器械、生产和通信等领域。
Helix QAC 主要模块为QAC/QAC++、QA Verify、以及常用行业规则包(如MISRA C:2012、MISRA C++:2008、AUTOSRA C++、CERT、CWE 等)
产品介绍
1.QAC/QAC++ 主要功能
• 代码自动审查
QAC/QAC++ 能够对C/C++ 代码规则进行自动检查,报告所违反的编程标准和准则,减少代码审查所需的时间,使软件工程师在开发阶段就可以避免代码中的问题。

• 全面的规范支持
QAC/QAC++全面支持多种最新编程标准(MISRA C:2012、MISRA C++:2008 等), 及其他多种行业编程规则。QAC/QAC++ 能够发现1700 多种C 语言问题、1300 多种C++ 的问题,并提供方便的二次开发接口,可以让软件质量工程师定制符合自身要求的规范。
• 科学的质量度量
QAC/QAC++ 提供权威的度量指标分析能力,包括60 多种C 语言度量和20 多种C++ 度量,为处于不同成熟度企业的软件质量改进提供客观准确的依据,帮助企业从宏观上把控软件质量。
• 灵活的测试管理
QAC/QAC++ 能够对全生命周期的测试过程提供代码质量管理解决方案。通过QA Verify 插件,开发经理可以随时通过网页监控项目质量趋势,跟踪缺陷状态、管理代码质量、分配工作任务、定义复合度量、对比分析质量、定制生成质量报告,并和Baseline 插件一起,进行测试的版本管理和控制。
2.QA Verify 主要功能
QA Verify 可以与第三方持续集成插件(如Jenkins)集成,在服务器端进行代码集中、定时测试,测试后将结果分发给团队里的不同角色,同时提供了良好的团队协作、版本管理、报告导出等功能。
.jpg)
3.QA Framework 主要功能
QA Framework 是PRQA 公司于2013 年10 月发布的一个新模块,它将QAC/QAC++ 的用户界面又封装了一层,在新的用户界面上支持更多操作,比如可以同时使用QAC 和QAC++ 的分析器,不再需要单独使用两个软件;再如用户可以在QAC/QAC++ 的界面上直接修改源代码等。QA Framework的主要功能有:
• 新的用户界面
♦ 用户可以直接在QA Framework界面中修改源代码
♦ 交叉平台命令行接口
• 与Visual Studio和Eclipse完全集成
• 允许工程中同时含有C文件和CPP文件
• 更方便地保存和发布QAC/QAC++工程文件


经纬恒润
北京市海淀区知春路7号致真大厦D座6层
电话:010-64840808
邮箱:market_dept@hirain.com
网址:www.hirain.com
Helix QAC — 软件静态测试工具的更多相关文章
- Helix QAC/QAC++—代码静态测试工具介绍—符合功能安全标准MISRA ISO26262
Helix QAC是静态代码分析工具,依据C和C++编码规则自动扫描代码对规则的违背.开发团队在开发过程的早期就可以用它来检测缺陷,因为此时修改代码是最方便也最经济的.Helix QAC因此自动化强制 ...
- 通过静态分析和持续集成 保证代码的质量 (Helix QAC)2
续上.... 第二章 部署示例:Jenkins and Helix QAC工具 第一节 Jenkins 作为持续集成系统 现在有很多持续集成工具,既有免费的,也有商业的.最近的研究显示,Jenkins ...
- 通过静态分析和持续集成 保证代码的质量 (Helix QAC)1
前言 现代软件开发团队面临着很多挑战,这些挑战包括:产品交付期限越来越紧,团队的分布越来越广,软件的复杂度越来越高,而且对软件的质量要求越来越高. 本文分为两个章节.第一章讨论持续集成的原理,持续集成 ...
- Google软件构建工具Bazel原理及使用方法介绍
近期,Google开源了强大的自动化构建工具Bazel. 正好博主近期在使用china版的Bazel--腾讯自主开发的Blade,所以准备跟大家分享一下Google Bazel这个分布式构建系统的原理 ...
- Google软件构建工具Bazel FAQ
Google软件构建工具Bazel FAQ 本文是我的翻译,原文在这里.欢迎转载,转载请注名本文作者和原始链接 注:如果想了解Bazel的原理,可以看看我之前翻译的Google Blaze原理及使用方 ...
- PSP个人软件开发工具需求分析文档
第一部分:前景与范围 1.业务需求 1.1 背景 在目前的软件项目开发过程中,进度计划总是非常不准确,经常出现延期,而且大多数都无法给出一个相对比较准确的延迟时间.即使使用用例包.用例的方式组织需求, ...
- PSP个人软件开发工具
(您的阅读是我的荣幸,如有不满之处请留言指正!) 尚未完善.....工作中 为开发人员提供一个PSP工具,简化时间记录工作:同时提供数据使用的工具,帮助开发人提高估算能力. PSP个人软件开发工具 ...
- Google软件构建工具Bazel
转载Google软件构建工具Bazel FAQ 本文是我的翻译,原文在这里.欢迎转载,转载请注名本文作者和原始链接注:如果想了解Bazel的原理,可以看看我之前翻译的Google Blaze原理及使用 ...
- 软件协作工具Trello
软件协作工具Trellohttps://trello.com/ Q群里conan发了个UE4的RODEMAP的trello链接,感受了一下Trello这款软件协作工具.(https://trello. ...
随机推荐
- ng2中 如何使用自定义属性data-id 以及赋值和取值操作
项目环境:ng4.x 写法说明: [attr.data-nurseKey] <div [attr.data-nurseKey]="k.nurseKey"></di ...
- mysql的HA及openstack和k8s区别
数据库HA(Hight Availability) mysql自身支持主主/主备部署,多主(>2),一主多备 galera mariadb集群:多主相互备份 修改容器的启动配置 修改Docker ...
- RSA算法理解
RSA加密算法是最常用的非对称加密算法,CFCA在证书服务中离不了它.但是有不少新来的同事对它不太了解,恰好看到一本书中作者用实例对它进行了简化而生动的描述,使得高深的数学理论能够被容易地理解.我们经 ...
- HDU 4352:XHXJ's LIS
题目:(原题是英文而且很迷) 求区间内数的LIS长度==k的个数,比如153948的LIS为1 3 4 8,长度为4.据说这种题叫DP中DP,本来是线性,再套一层状压+数位,简直厉害到不行…… 线性的 ...
- 【算法】js实现最短时间走完不同速度的路程
题目: 现在有一条公路,起点是0公里,终点是100公里.这条公路被划分为N段,每一段有不同的限速.现在他们从A公里处开始,到B公里处结束.请帮他们计算在不超过限速的情况下,最少需要多少时间完成这段路程 ...
- slot 组件的内部传值 v-slot 的使用
嵌套组件传值 person.vue <template> <div class="vslot-test"> <ul> <li v-for= ...
- C# 用Redis实现的分布式锁
Redis实现分布式锁(悲观锁/乐观锁) 对锁的概念和应用场景在此就不阐述了,网上搜索有很多解释,只是我搜索到的使用C#利用Redis的SetNX命令实现的锁虽然能用,但是都不太适合我需要的场景. 基 ...
- 4_PHP流程控制语句_2_循环结构
以下为学习孔祥盛主编的<PHP编程基础与实例教程>(第二版)所做的笔记. PHP流程控制共有3种类型:条件控制结构.循环结构以及程序跳转和终止语句. 4.2 循环结构 4.2.1 whil ...
- Django Rest framework实现流程
目录 一 什么是restful架构 二 Django REST framework简介 三 Django REST framework原理 四 Django REST framework源码流程 五 ...
- 无限重启:windows更新之后,在输入密码页面无限重启进入不了系统
解决办法:windows更新之后,在输入密码页面无限重启 总体思路:进入安全模式(如何进入,下文将讲述) --> 点击疑难解答 --> 点击高级选项 --> 点击启 ...