Helix QAC(QAC/QAC++)- 软件代码静态测试分析审计-试用工具

原创
2019/08/05 12:41
阅读数 262

原PRQA静态测试软件产品线(包括QAC、 QAC++、QA-Verify等),统一更名为“Helix QAC”,PRQA的代码静态分析工具能够帮助企业开发团队提高代码的质量和安全,缩短软件开发所需的时间,Helix QAC是作为其主打产品目前已广泛应用于汽车、航空航天、电子商务、医疗器械、生产和通信等领域。

Helix QAC

Helix QAC是静态代码分析工具,依据C和C++编码规则自动扫描代码对规则的违背。开发团队在开发过程的早期就可以用它来检测缺陷,因为此时修改代码是最方便也最经济的。Helix QAC因此自动化强制实施代码编程标准,比如MISRA,保证代码的合规性。

功能特性

  循代码标准

     遵循编码和工业标准。Helix QAC自动审查代码,确保它们符合用户选择的编码标准。合规性报告可视化地提醒用户哪些代码需要多加留意。Helix QAC支持多种C和C++编码标准,提供相应的合规性模块,也支持标准的客户化定制。

   检查更多缺陷

    在开发早期检查编译器没有发现的关键缺陷。Helix QAC为用户的软件建立了精确的行为模型,跟踪代码中的变量值,如同运行时一样。因此这种分析最大化地覆盖了代码,使误报和漏报最低。它甚至能识别极端复杂的代码引起的问题。

   提高代码质量

    提供任何应用程序的整体质量和安全。Helix QAC识别必须修改的缺陷,提供详细的指导帮助开发人员修改问题。这是不需要运行程序的。开发人员既然获得了即时的上下文反馈,他们将因此从错误中获得学习,下一次编写新的代码(或者评审代码)时,能力将得到提升。

◆   协同代码审查

      Helix QAC的仪表盘提供了协同代码审查的能力,用户能够在Helix QAC检查出的诊断上添加注解,为其他用户分配需要他们采取的动作。

◆   适应数百万行代码

  让静态分析适应你的环境。Helix QAC有能力处理数百万行代码,保证你的产品无论代码由多么复杂它都是安全的。

   重用代码

  重用质量信得过的代码。Helix QAC检测代码移植性问题,所以你能重用让你放心的代码,帮助你的快速开发。

   加速开发过程

  降低瓶颈加速开发。Helix QAC能集成在构建系统和持续集成环境中,尽早且频繁地发现缺陷,从而避免了在开发后期往往需要花费甚巨的错误。它也加速了当前代码的评审,你甚至可以只让它检查新的代码变化,快速提供反馈。

   监视整体代码质量

  使用Helix QAC的仪表盘监视代码质量。你能够用它监视代码质量度量,获得质量趋势。仪表盘还能帮你为利益相关方创建属于他们的报告。

编程标准合规性

    MISRA

      ① MISRA编码标准检查安全关键系统的潜在问题。MSIRA C和MISRA C++合规性模块指出违背这些规则的代码段。

      ② MISRA C模块强制实施MISRA C:1998、MISRA C:2004和MISRA C:2012。

      ③ MISRA C++模块强制实施MISRA C++:2008。

      ④ 在MISRA规则检查方面,Helix QAC的准确性远高于其他工具。它对规则的违背划分出严重度的优先级,你可以据此修改最重要的问题。

MISRA C

MISRA C++

  AUTOSAR

    ① 自动化检查AUTOSAR C++编码标准的合规性。

    ② AUTOSAR编码规则识别C++14的安全问题。

    ③ AUTOSAR C++模块指出违背这些规则的代码段。

AUTOSAR

   CERT

     ① 自动检查代码对CERT C和C++标准的合规性。

     ② CERT编码规则识别代码中的安全漏洞。

     ③ CERT C和C++合规性模块指出违背这些规则的代码段,帮助你消除未定义的行为,应用安全编码的最佳实践

     ④ Helix QAC通过详细的说明和示例,帮助你优先解决最严重的问题。所以你将能开发安全可靠的软件系统,且能够追踪和报告CERT合规性。

调用树

CERT C++

  CWE

    ① 自动检查代码是否属于CWE安全脆弱性列表里的行为。

    ② CWE识别C和C++中常见的安全脆弱性。

    ③ CWE合规性模块指出代码是否有这些行为,有助于用户优先解决关键错误,提升代码整体质量。

热点图

CWE C++

  HIC++

    ① 自动检查代码是否符合High Integrity C++编码标准,它是原PRQA代码专家开发的标准。

    ② HIC++标准确保C++11和C++14的高质量代码。

HIC++

  JSF AV C++

 

  ① 自动检查代码是否符合Joint Striker Fight Air Vehicle(JSF AV)C++编码标准。

 

    ② JSF AV C++用于安全关键的开发。Helix QAC提供了对该标准规则的理解最为深刻的诊断信息。

JSF AV C++

  客户化规则

 ① 自动检查代码是否符合定制规则。

 ② 你能够为你自己的C/C++编码规则定制一个合规性模块,Helix QAC自动实施这些规则。

Helix-qac

静态分析优越性

   \    编码问题的早期检测

  在新的代码和以前的代码中发现编码问题。比较其他静态代码分析器,Helix QAC发现更多的编程错误,包括C/C++的未定义或未指定的行为,且适用于数百万行的大型项目。

  \    风险优先级

  以风险的严重程度划分编码问题的优先级。Helix QAC使用过滤器、抑制和基线的手段帮助你关注最为关键的代码缺陷,提供精确的诊断和可操作的结果。用户因此能够首先修改最重要的问题。

  \    消除安全漏洞

  在源代码上消除安全漏洞。编程错误往往导致犯罪分子利用软件中的漏洞窃取信息,但Helix QAC使你看到并控制编程错误,因此能在源代码级别上就消除了漏洞。

  \    协同代码审查

  协同代码审查,包括人工的和自动的静态分析。你能够为团队成员分配任务。

  \    监控代码质量

  监控代码整体质量。Helix QAC确保团队所有成员使用的是一致的编码规则,你能控制规则的偏离和诊断的抑制,也能测量、跟踪和记录质量度量及其趋势。

  \    集成其它工具集

  将静态代码分析集成到其它开发工具。Helix QAC支持大多数编译器。你可以把它集成到许多开发工具中,包括集成开发环境(比如Microsoft Visual Studio)、版本控制系统(比如Helix Core)、以及持续集成构建服务器(比如Jenkins)。

 

工业标准认证

      

Helix QAC经过了独立的标准认证,Helix QAC是由Programming Research开发的,后者现在是Perforce的组成之一。

 

SGS-TÜV Saar认证

Helix QAC经过SGS-TÜV Saar符合如下功能安全标准:

   ·   ISO 26262 (automotive) up to ASIL level D.

   ·   IEC 61508 (general industrial) up to SIL 4.

   ·   EN 50128 (railways) up to SW-SIL 4.

   ·  IEC 62304 (medical devices) up to Software Safety Class C.

   ·   IEC 60880 (nuclear power).

 

ISO 9001 | TickIT认证

Helix QAC也通过了ISO 9001 | TickIT plus Foundation Level认证。

ISO 9001是广被采用的标准,确保企业组织通过持续改进来满足和超过客户的需求和满意度。

 

 

更多相关信息请访问QA中文网:http://qa-systems.cn/

免费体验:http://www.softtest.cn/

展开阅读全文
c++
打赏
0
0 收藏
分享
加载中
更多评论
打赏
0 评论
0 收藏
0
分享
在线直播报名
返回顶部
顶部