首页 > 其他分享 >Helix QAC—软件静态测试工具

Helix QAC—软件静态测试工具

时间:2024-01-10 17:59:44浏览次数:25  
标签:分析 C++ QA Helix QAC 测试工具 软件

产品概述

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

 

主要功能

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

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

 

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

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

  • 友好的帮助系统

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

  • 提供对软件结构的分析

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

  • 提供对软件的质量分析

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

  • 自定制报告

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

  • 团队协作

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

  • 可持续集成

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

 

资质认证证书

 

应用案例

标签:分析,C++,QA,Helix,QAC,测试工具,软件
From: https://www.cnblogs.com/hirain123/p/17957025

相关文章

  • Helix QAC 2023.4 新版支持C++20语言,带来更多性能提升!
    HelixQAC2023.4新增功能HelixQAC2023.4全面支持MISRAC++:2023®规则,涵盖100%的指南。此版本还加强了对C++20语言的支持,改进了数据流分析性能,并在整个产品中增加了多项用户体验改进。增强的C++20支持此版本新增了对以下语言特性的支持:-模板参数列表和函数声明的requires-clau......
  • Helix QAC 2023.4 新版支持C++20语言,带来更多性能提升!
    HelixQAC2023.4新增功能HelixQAC2023.4全面支持MISRAC++:2023®规则,涵盖100%的指南。此版本还加强了对C++20语言的支持,改进了数据流分析性能,并在整个产品中增加了多项用户体验改进。增强的C++20支持此版本新增了对以下语言特性的支持:-模板参数列表和函数声明的require......
  • Windows桌面自动化测试工具:WinAppDriver
    大家好,今天给大家介绍一款Windows桌面自动化测试工具:WinAppDriver。1、介绍WinAppDriver是一个开源的自动化测试工具,用于测试Windows应用程序。它是一个WindowsApplicationDriver,可以与多种自动化测试框架和工具集成,如Selenium、Appium等。WinAppDriver提供了一组API,用于与Win......
  • 好用的接口自动化测试工具
    Apipost提供可视化的API自动化测试功能,使用Apipost研发人员可以设计、调试接口,测试人员可以基于同一数据源进行测试,Apipost接口自动化功能在上次更新中进行了逻辑调整,带来更好的交互操作、更多的控制器选择,同时新增同步接口模式选择、测试数据选择功能。添加接口使用Apipost,研发......
  • 40.Android fastbot遍历测试工具
    Fastbot介绍基于model-basedtesting结合机器学习、强化学习的APP稳定性测试工具Fastbotisamodel-basedtestingtoolformodelingGUItransitionstodiscoverappstabilityproblems.Itcombinesmachinelearningandreinforcementlearningtechniquesto......
  • 39.android maxim 遍历测试工具
    maxim介绍 AnefficientAndroidMonkeyTester,availableforemulatorsandrealdevices基于遍历规则的高性能AndroidMonkey,适用于真机/模拟器的APPUI压力测试maximquickstart cdMaximadbpushframework.jar/sdcardadbpushmonkey.jar/sdca......
  • 好用的接口自动化测试工具
    Apipost提供可视化的API自动化测试功能,使用Apipost研发人员可以设计、调试接口,测试人员可以基于同一数据源进行测试,Apipost接口自动化功能在上次更新中进行了逻辑调整,带来更好的交互操作、更多的控制器选择,同时新增同步接口模式选择、测试数据选择功能。添加接口使用Apipost,......
  • 2023常见自动化测试工具集合
    1、Appium------->AppUI自动化测试官网:http://appium.ioAppium是一个移动端自动化测试开源工具,支持iOS和Android平台,支持Python、Java等语言,即同一套Java或Python脚本可以同时运行在iOS和Android平台,Appium是一个C/S架构,核心是一个Web服务器,它提供了一套REST的......
  • 专业人士必知,渗透测试工具的类型!
    伴随着互联网技术的高速发展,网络攻击事件频繁,渗透测试工作也变得尤为重要。而回想过去,很多工作都需要手动操作来完成,浪费时间、浪费人力,然而随着技术的不断发展,渗透测试工作也变得智能化,衍生了很多工具,相对于以往不少重复性的工作均可以借助工具来完成。本文主要为大家介绍一下......
  • 使用阿里云性能测试工具 JMeter 场景压测 RocketMQ 最佳实践
    作者:森元需求背景新业务上线前,我们通常需要对系统的不同中间件进行压测,找到当前配置下中间件承受流量的上限,从而确定上游链路的限流规则,保护系统不因突发流量而崩溃。阿里云PTS的JMeter压测可以支持用户上传自定义的JMeter脚本,按照自定义的逻辑,借助PTS强大的分布式压测能力......