logo
首页>产品中心>Helix QAC/C++
对工业级C/C++代码进行深层次准确分析的行业标杆

Helix QAC是针对C/C++语言的行业领先的静态分析解决方案,提供了一套全面的特性,以帮助执行广泛的编码标准,并在新的和历史代码中发现Bug。


Helix QAC提供了一个自动化的、高效的方法,分析代码是否符合指定的编程标准,度量和代码结构的可视化则使复杂项目更加清晰。


使用这些工具来避免Bug,并在开发周期的早期发现编码问题,将更好的代码传递到开发过程的后一阶段。


Helix QAC技术手册

探索Helix QAC/C++
  • 静态分析与Helix QAC/C++

    静态分析与Helix QAC/C++

    评估软件的可靠性、安全性和编码标准符合性的最佳实践,同时减少开发时间

    了解更多
  • 持续集成

    持续集成

    持续集成是一种原则,鼓励开发人员和团队不断地共享和集成他们的所有成果——确切的说。

    了解更多
  • 为什么引进Helix QAC?

    为什么引进Helix QAC?

    行业领先者使用Helix QAC来解决4个关键性挑战:
    ●缩短进入市场的时间
    ●促进高效的团队合作
    ●平衡发展速度和质量保证
    ●重用高效的代码

    了解更多
  • 数据流的缺陷检测

    数据流的缺陷检测

    借助于执行深度数据流分析的复杂技术,分析工具集识别与控制流、变量状态和库使用相关的关键编码问题。

    了解更多
  • Helix QAC概述

    Helix QAC概述

    Helix QAC主要收益、特性和技术规格

    了解更多
安全标准测试合规性

国际软件安全标准要求进行底层测试的凭证,以获得设备软件的认证。

 

此外,大多数标准要求所使用的测试工具必须经过认证/合格或通过使用得到证明。Helix QAC已经获得了SGS-TUV SAAR GmbH的独立认证。Helix QAC提供了标准特定的工具认证包,包含所有需要的开箱即用的东西,帮助您获得设备软件认证的全面指导。当工具必须针对每个项目(比如DO-178B/C此外,大多数标准要求所使用的测试工具必须经过认证/单独进行合格审定的时候,针对标准的工具认证是不被接受的,此时我们也提供Helix QAC的工具合格审定。

 

在过去的20年里,Helix QAC已经成功地用于满足测试要求:

认证/合格审定标准
有关进一步的信息,请参见下面的链接
  • ISO 26262
    道路车辆 - 功能安全
  • IEC 60880
    核能
  • IEC 62304
    医疗设备软件--软件生命周期过程
  • IEC 61508
    电气/电子/可编程电子安全相关系统的功能安全
  • EN 50128
    铁路应用--通信、信号和处理系统
  • DO-178B/C
    机载系统和设备合格审定中的软件考虑
编码与安全标准
Helix QAC的合规性模块支持以下编码和应用程序安全标准。 如需了解更多信息,请参见下面的链接:
  • MISRA
    在关键系统中使用C/C++语言的指南
  • AUTOSAR
    安全关键系统中C++语言的指导原则
  • CERT
    安全编码标准
为什么从QA Systems购买?
  • 具有20年历史的可靠的测试供应商
  • 高可靠性静态和动态测试领域的专家
  • 在安全和商业关键领域拥有成百上千的客户供应商
  • 经验丰富的技术支持团队
  • 倾听客户的需求来指导产品的改进
  • 工具培训和现场咨询
开始试用获取演示
本网站使用cookies来帮助改善您的体验。
请点击链接以后了解有关cookies的更多信息。了解更多
我明白
×
×