Helix QAC 软件静态测试工具

小夏 科技 更新 2024-02-01

产品概述

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++ 可以发现 1,900 多个 C 语言问题和 1,400 多个 C++ 问题,包括编译链接错误、语言规范违规、潜在的不确定行为和不安全的数据类型转换。

自动检查编程规则。

在工具中添加需要分析的文件,配置相应的环境,运行一次即可分析所有添加的文件,快速、简单易用、易于理解、快速上手。

友好的帮助系统。

如果在检查分析结果中的错误时不理解提示的错误,可以双击错误进入帮助系统。 除了提供错误描述外,帮助系统在大多数情况下都会提供一个示例程序,可以帮助了解错误的原因,并根据示例修改自己的**。

提供对软件结构的分析。

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

提供软件的质量分析。

采用国际标准的软件质量测量方法和测量指标,对客户的质量进行评价。 提供60多个指标进行评估,客户可以轻松在每个指标之间切换。

自定义您自己的报告。

可实现固定模板报表的生成,也可根据用户需求自定义报表内容。 它可以导出 PDF 报告和 HTML 报告。

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

可持续整合。

支持命令行分析和与 Jenkins 等持续集成环境的集成。

资质证书

应用实例

相似文章

    软件测试测试开发 软件测试的基本概念

    在我们的各种应用程序中访问每个 在过去的两年里,我们也看到了很多大厂商的APP存在问题,比如美团外卖,比如阿里云 微信,而为了避免这些大问题,我们需要在软件上线之前,尽可能地发现软件问题,也就是我们所说的测试,也就是说,测试软件,找到问题的原因,是我们软件测试的目的。在了解什么是软件测试之前,我们必...

    准确测试工频线路参数的最佳选择

    准确测试工频线路参数的最佳选择 工频线路参数的测试是电力系统中的一项重要任务,对保证电力系统的稳定运行起着至关重要的作用。但在实际测试过程中,由于各种因素的影响,往往导致测试结果不准确,影响电力系统的安全运行。因此,如何选择最佳的测试方法,如何准确测试工频线路参数,成为我们需要解决的最重要的问题。....

    软件测试 测试开发 selenium NoSuchDriverException 问题已解决

    当我们使用 Selenium 进行 Web 自动化测试时,我们有时会遇到这种情况nosuchdriverexception此异常通常是由于 Web 驱动程序无法找到指定的浏览器驱动程序引起的。在这篇文章中,我们将讨论nosuchdriverexception原因以及如何解决此问题。nosuchdri...

    要发现真实的自己,您可以尝试以下 5 种测试工具

    你对自己有足够清晰的认识吗?使用这些工具,您可以深入研究自己的个性 情绪 思维方式和行为模式。无论您是在寻找自我意识还是探索职业可能性,这些性格测试工具都可以为您提供宝贵的见解和建议,帮助您更多地了解自己。MBTI Myers Briggs Type Indicator 是一种基于心理学的性格测试工...

    Web 自动化测试工具的重要作用是什么?

    随着互联网的飞速发展,Web应用已成为企业不可或缺的一部分。为了确保 Web 应用程序的质量和可靠性,Web 自动化测试工具变得至关重要。以下是 Web 自动化测试工具在软件开发生命周期中扮演的角色 .提高测试效率和速度。Web 自动化测试工具可以快速执行大量测试用例,远远超过手动测试的效率。这有助...