北京经纬恒润科技股份有限公司

产品中心
当前位置:自动化网>北京经纬恒润科技股份有限公司门户>Helix QAC—软件静态测试工具

Helix QAC—软件静态测试工具

Helix QAC—软件静态测试工具

分类:嵌入式处理器
品牌:北京经纬恒润科技
厂商:北京经纬恒润科技股份有限公司
型号:Helix QAC—软件静态测试工具
相关行业:

发布时间:2024-01-10 17:19
浏览人数:

产品详情

产品概述

       Helix QACPerforce公司(原PRQA公司)产品,主要用于C/C++代码的自动化静态分析工作,可以提供编码规则以及信息安全相关检查、代码质量度量、软件结构分析、测试结果管理等功能。Helix QAC能够准确地发现软件中潜在的问题,自身符合ISO26262功能安全标准认证。适用于自动驾驶领域,能保障嵌入式软件的质量,提高其防御黑客攻击能力。Helix QAC主要模块为QAC/QAC++Dashboard(QA Verify)以及常用行业规则包(如MISRA C2012MISRA C++2008AUTOSAR C++CERTCWE等)。

 

主要功能

       · 多种类、覆盖面广的编程规则

          QAC/QAC++支持多种新编程标准(MISRA C2012AUTOSAR C++CERTCWE)及其他多种行业编程规则。QAC/QAC++能够发现1900多种C语言问题、1400多种C++的问题,涉及到的方面有:编译链接的错误、违反语言规范、可能产生不确定行为的、不安全的数据类型转换等。

 

       · 自动对编程规则进行检查

          在工具中添加要分析的文件,配置好相应环境,运行一次就可以对添加的文件进行全部的分析,运行速度快,使用过程简单,容易理解,上手快。

 

 

       · 友好的帮助系统

          分析结果内检查错误时,如果对所提示的内容不理解,可以双击这个错误,进入帮助系统。帮助系统除了提供了对错误的描述外,大多情况下会提供例子程序,可以帮助理解错误的原因,并且可以根据例子来修改自己的代码。

 

 

       · 提供对软件结构的分析

          可以分析软件的结构,包括文件之间的包含关系、函数之间的调用关系以及函数自身的结构。

 

 

       · 提供对软件的质量分析

          采用国际标准的软件质量度量方法及度量指标,对客户的代码质量进行评估。提供六十余个指标进行评估,客户可以方便地在各个指标之间进行切换。

 

 

       · 自定制报告

          可实现固定模板报告生成,同时也可根据用户需求定制报告内容。可支持导出PDF报告、HTML报告。

 

 

       · 团队协作

          可实现版本管理、基线管理、用户管理、插入注释功能,实现团队协作。

 

 

       · 可持续集成

          支持命令行形式执行分析,能够实现与持续集成环境(如Jenkins等)进行集成。

 

资质认证证书

 

应用案例

联系方式

中国自动化网安全提示,在购买供应商商品时,请一定要先审核好企业信息是否真实,谨防网上诈骗。
公司名称:北京经纬恒润科技股份有限公司
联系人: 北京经纬恒润科技股份有限公司
联系电话:01064840808
手机号:
传 真:010-82263100
电子信箱:market_dept@hirain.com
公司网站:http://www.hirain.com
公司地址:致真大厦D座6层
  • 在线咨询