Polelink北汇信息的博客

Helix QAC 2024.1改进了对C++20和C23语言特性的支持，并增加了分析使用多个编译器的项目的新功能。此外，Validate增强了对于搜索功能和角色权限的用户体验，并且包括一个新的问题列表的CSV下载选项。此版本还包括对于C/C++的CWE、C的HKMC和MISRA C++:2023®合规模块的扩展执行，以及许多常规产品质量提升。

MISRA C++：2023®，MISRAC++标准的下一个版本，就在这里！为了帮助您了解 MISRA C++：2023 与上一版本之间的变化，我们继续 Perforce 首席技术支持工程师 Frank van den Beuken 博士撰写的第三期博客系列。在前两篇博客中，我们 向您介绍了新的 MISRA C++ 标准 和 C++ 的历史 。在这篇博客中，我们将仔细研究以 C++ 中 for 循环为中心的特定规则。

Helix QAC 2023.4 为新的 MISRA C++：2023 指南推出了 100% MISRA C++：2023® 规则覆盖率。此版本还包括扩展的 C++20 语言支持、数据流分析的性能改进以及整个产品中的许多产品体验增强功能。

C++是一种常用的通用编程语言，可以用它来编写高效的程序。正因为如此，它在安全关键型应用领域也很受欢迎，例如汽车行业，MISRA是最受欢迎的编码标准之一。让我们来看看这门语言的迷人历史。

Helix QAC 2023.3预计将于2023年第四季度发布的新MISRA C++®指南，将100%覆盖MISRA C++:2023®规则。此外，此版本扩展了对C++20语言支持，并改进了Perforce Validate平台和Helix QAC与Validate的集成，包括其他生活质量和性能增强。

MISRA C++：2023®是广受期待的MISRA C++ ®标准的下一个版本，将于今年晚些时候发布。新版本将整合AUTOSAR C++14指南，并支持C++的最新版本。MISRA®是由汽车行业软件可靠性协会（MISRA）开发的一套C和C++编码标准，不仅是汽车行业的最佳标准之一，也是任何使用嵌入式系统的行业的最佳标准之一。为了帮助您为即将发布的版本做好准备，我们推出了一个由我们的MISRA专家Frank van den Beuken博士撰写的关于MISRA C++:2023概述的博客系列。

汽车软件过程改进和能力确定（Automotive SPICE®，简称ASPICE）是一种过程评估模型，可帮助OEM和供应商评估组织内软件开发过程的当前性能和成熟度级别。遵守此标准有助于汽车供应商确保其软件质量满足客户的关键要求。在这里，我们概述了汽车软件组织的ASPICE和性能质量合规性技巧。

Helix QAC 2023.2 提供 100% 的 MISRA C：2012 和 MISRA C：2023 规则覆盖率，并更新相应的合规性模块以支持 MISRA C：2023。此外，此版本还包括改进的 C23 语言支持、对Validate平台的改进以及 Helix QAC 和 Validate 的集成，以及其他功能改进。

静态分析如何帮助确保安全可靠的高级驾驶辅助系统 （ADAS）确保高级驾驶辅助系统中的软件安全、可靠和最有效方法是使用静态分析工具，如 Helix QAC。 静态分析工具有助于执行汽车编码指南（如 MISRA 和 AUTOSAR ）， 并经过认证可用于功能安全标准（如 ISO 26262 ）。 通过使用Helix QAC，您将应用编码指南来验证您的软件是否满足必要的要求。此外，Helix QAC还可以通过以下方式提高软件质量：• 实施编码标准并检测规则违反。• 在开发早期检测合规性问题。

嵌入式软件应用程序所面临的日益增多的网络威胁嵌入式软件应用面临着越来越多的安全问题，在任何现代软件开发环境中，考虑安全性都是非常重要的。即使经过最好的审查和测试的软件也可能存在BUG，而这些BUG可以让恶意用户进入系统并造成巨大的物理和财务损失。 其攻击范围涵盖很多领域：从机场的调度系统到医疗设备都可能受到攻击，特别值得关注的是日益增加的自动驾驶汽车或连接汽车、列车和飞机等计算机控制系统。任何与外界通信的系统都面临着风险，例如汽车可能被盗，更糟糕的情况是车辆的控制权被夺取。

Helix QAC 2023.1 对 MISRA C:2012修订版4和MISRA C:2023的覆盖率为100%，对 AUTOSAR C++14的覆盖率为96%。它还更新了CWE最新版本v4.10的合规模块。在这一版本中Helix QAC和Validate平台的集成也有重大改进，Validate平台提供了软件对跨工程以及Perforce静态分析产品的软件洞察力。

Helix QAC 2022.4 中的新增功能Helix QAC 2022.4为MISRA C:2012 AMD3提供了100%的规则覆盖，数据流被拆分为一个新的组件，提供了改进的分析性能，并升级了对C++20和C23的语言支持。此外，此版本还包括改进的编译器支持以及各种 Helix QAC 组件的总体使用质量改进。

BARR-C是Barr集团的编码标准，旨在减少嵌入式软件中的错误，并引入风格指南以提高可维护性和可移植性。在这里，我们解释了什么是Barr-C，开发人员如何使用BARR-C:1018检测用C编写的固件中的错误，以及如何将其与MISRA的指南相结合。

Helix QAC 2022.3 引入了对微软 Visual Studio 2022 的支持、BARR-C：2018 的新合规模块，以及对 C++20 和 C23 的升级语言支持。此外，这个版本包括更广泛的编译器支持和各种CLI命令的质量改进。

随着软件定义汽车概念的兴起，汽车软件开发的工作量开始呈指数级增加，当前车载软件代码量已经达到1亿-3亿行。这是一个什么概念呢，相当于比Windows系统还高出一个数量级。据调查，大部分的车载软件都是使用C语言进行开发，因为C执行效率高、代码量小，因此在汽车的小型控制部件中被广泛使用。尽管C语言在嵌入式系统中如此流行，但仍有很多缺陷：

在此 Docker 教程中，你将学习如何创建 Helix QAC 并将其作为容器化镜像运行。Docker 的基本定义是一种开源和流行的操作系统级虚拟化（通常称为“容器化”）技术，它是轻量级的，可移植的，并且主要在Linux和Windows上运行。Docker 使使用容器创建、部署和运行应用程序变得更加容易。从根本上说，容器只是一个正在运行的进程，并应用了一些附加的封装功能。

在此 Docker 教程中，你将学习如何创建 Helix QAC 并将其作为容器化镜像运行。Docker 的基本定义是一种开源和流行的操作系统级虚拟化（通常称为“容器化”）技术，它是轻量级的，可移植的，并且主要在Linux和Windows上运行。Docker 使使用容器创建、部署和运行应用程序变得更加容易。从根本上说，容器只是一个正在运行的进程，并应用了一些附加的封装功能。

上期文章王牌代码静态测试工具Helix QAC 2022.2 中的新增功能（1）中，我们简述了该版本的新增功能，本期将涵盖其软件质量提高，版本重要更改及预公告。

Helix QAC 2022.2 中的新增功能Helix QAC 2022.2 提供更强大的 C++ 20语言功能支持，更新了 MISRA 和 HKMC 的合规性模块，以及新的配置选项，可在处理 STL 头文件、第三方/外部源代码等时改进分析结果。此外，此版本还包括更广泛的编译器支持以及对各种插件、CLI 命令和 QAC GUI 的一般生活质量改进。............

30多年来，Helix QAC（以前称为PRQA）一直是值得信赖的静态分析工具，可满足严格监管和安全至上行业的严格合规要求。在这里，我们分享了开发人员选择Helix QAC的五大原因。对于安全至上的行业，如汽车、航空航天和国防、铁路和医疗设备，遵守功能安全标准有助于他们减轻和消除潜在风险。为了有效地执行推荐的功能编码标准和指南以及验证合规性，强烈建议使用行业标准化工具（特别是静态分析工具）。虽然开发人员最终选择Helix QAC进行合规性的原因有很多，但以下是最常被引用的五大原因。.............

文章目录编码标准覆盖（AUTOSAR、MISRA、CWE）改进的 AUTOSAR 覆盖率改进的 MISRA C:2012 (TC2) 覆盖范围改进的 CWE 覆盖范围升级的 C++20 语言支持框架改进数据流改进改进的Build过程监视软件质量提升Helix QAC 2022.1 的重要变化'Met' 输出格式的生命周期结束预公告CCT Generator 将于 2023 年报废即即将到来的“qacli admin”更改Helix QAC 2022.1 为 AUTOSAR、MISRA 和 CWE 提供了改

文章目录Helix QAC简介Helix QAC Dashboard基于团队的工程质量管理系统关键作用主要组件资质认证Helix QAC简介Helix QAC提供了一个高效、健壮和完全自动化的环境来覆盖编码规范，即时反馈诊断信息，给出修改建议，并针对检测到的缺陷生成不同参考标准的报告（代码审查报告、度量报告、合规报告和抑制报告），帮助开发工程师开发可靠性高、可移植性强、可复用性好、易测可维护的代码，简化开发生命周期，降低开发成本。

文章目录Helix QAC简介Helix QAC支持的编码规范MISRA编码规范AUTOSARCERTCWECWE软件安全漏洞列表Helix QAC简介Helix QAC提供了一个高效、健壮和完全自动化的环境来覆盖编码规范，即时反馈诊断信息，给出修改建议，并针对检测到的缺陷生成不同参考标准的报告（代码审查报告、度量报告、合规报告和抑制报告），帮助开发工程师开发可靠性高、可移植性强、可复用性好、易测可维护的代码，简化开发生命周期，降低开发成本。上期回顾：企业级代码静态测试工具Helix QAC——.

文章目录Helix QAC简介关键特性高级缺陷检测机制高度可执行的诊断结果多样化的报告形式Helix QAC简介Helix QAC提供了一个高效、健壮和完全自动化的环境来覆盖编码规范，即时反馈诊断信息，给出修改建议，并针对检测到的缺陷生成不同参考标准的报告（代码审查报告、度量报告、合规报告和抑制报告），帮助开发工程师开发可靠性高、可移植性强、可复用性好、易测可维护的代码，简化开发生命周期，降低开发成本。上期回顾：企业级代码静态测试工具Helix QAC——从应用层级保证代码质量和安全企业级代码.

Helix QAC简介技术规格通用特性代码分析特性消息输出控制度量元测试报告支持的编码规范支持的操作系统IDE集成环境持续集成环境支持的编译器Helix QAC简介Helix QAC提供了一个高效、健壮和完全自动化的环境来覆盖编码规范，即时反馈诊断信息，给出修改建议，并针对检测到的缺陷生成不同参考标准的报告（代码审查报告、度量报告、合规报告和抑制报告），帮助开发工程师开发可靠性高、可移植性强、可复用性好、易测可维护的代码，简化开发生命周期，降低开发成本。本期文章将列举QAC的技术规格。

代码静态测试工具Helix QACHelix QAC,美国Perforce公司产品,用于C/C++代码的静态检测。可支持MISRA/AUTOSAR/CERT/CWE等编码规范,提供精准的诊断消息/度量元指标/在线help/Web端项目管理平台,帮助开发人员尽早发现代码缺陷。符合ISO26262标准要求,在开发初期保障传统及智能车辆的代码安全。关键词：QAC 静态测试 MISRA 度量元 ISO26262 编码规范 代码质量

在开发安全、可靠和合规的软件时，完备静态分析是一种有益的实践。本篇文章中，我们将讨论完备分析与静态分析的不同之处，为什么它很重要，以及完备静态代码分析的工作原理。

在上一篇文章代码静态测试王者新版上线——Helix QAC 2021.3：我的格局打开了里，我们介绍了QAC 2021.3的重大更新及其它各项新特性。那么对于最近破坏力不容小觑的Log4j漏洞对它会产生什么影响呢？对此我们的答案如下：Helix QAC 不受近期 Log4j 漏洞 Log4Shell (CVE-2021-4428) 的影响，因为Java 仅在 Helix QAC Eclipse Plugin 中使用，因此 Helix QAC 和 Helix QAC 工具不受此漏洞影响。然而，由于 Log4

Helix QAC 2021.3 新增了现代汽车集团的新合规模块，这是Helix QAC首次将定制化开发转变为可公开的定制模块，为与各大OEM厂商的合作突破新世界大门，格局打开了！欢迎我们各位OEM踊跃咨询北汇~下面我们速速展开新版本Helix QAC 2021.3的详细解读。Helix QAC 2021.3引入了对Visual Studio Code的支持，现代汽车集团的新合规模块，以及改进的数据流分析功能，并增加了C++20种语言支持。此外，该版本还包括对重要的汽车和安全编码标准的准确性和覆盖率的改进.

华为的鸿蒙手机操作系统已经发布了几个月了，作为国产操作系统，其寄托了我们的深切希望。在鸿蒙系统发布会上，手机、平板、智能手表等消费电子类产品固然是主角，而作为华为冉冉升起的新兴业务领域 ——智能汽车，亦被包含在系统生态之中，也引起了行业的广泛关注。鸿蒙作为一个新生的系统，其不可避免的会存在很多问题，而汽车领域对代码的编码规范要求又极为严格。因此本文将通过使用汽车行业主流的静态分析工具QAC，来分析测试鸿蒙系统代码对汽车行业内常用编码规范（CERT、MISRA C 2012、CWE）的遵循情况。考虑到标准鸿

进击！Helix QAC自动化静态测试-QAC视频 - Polelink上海北汇信息的视频 - 知乎https://www.zhihu.com/zvideo/1322136980776132608

在无人驾驶汽车的研发过程中，人工智能(AI)和机器学习起着重要作用。相应的，无人驾驶（和半无人驾驶）汽车的软件开发团队又要面临新的安全挑战：如何在故障未发生时保证预期功能安全？为了解决这一问题，新的ISO标准ISO/PAS 21448应运而生。什么是SOTIFSOTIF即道路车辆预期功能安全，它是ISO/PAS 21448: Road Vehicles — Safety of the Intended Functionality的简称。ISO/PAS 21448适用于需要适当环境感知的功能，该标准

背景介绍智能化是当代汽车发展的必然趋势，为了增加乘用舒适性，现代汽车将车联网与智能车有机联合，搭载先进的车载传感器，控制器，执行器等，并融合现代通信网络技术，实现车与人、车、路等智能信息的交换共享，V2X从此走进大众视野，开拓智能汽车的网联时代。但，发展亦为挑战，面对日益增多的ECU，日趋庞大的车载代码，如何保证汽车应用信息安全？怎样才能不给黑客们可乘之机？这是一个严肃的议题，开发人员必须借助相关工具确保嵌入式代码的安全性，否则如下案例便是前车之鉴：2013年，黑客通过Uconnect软件入侵数十万辆

谈起MISRA这个名字，大家应该都不陌生，但，我们真的了解它吗？从90年代初期MISRA组织的发起至2020年，MISRA已走过25个年头。25年过去，90后已成长为现代社会发展的中坚力量，同样作为“90后”的MISRA，也已作为覆盖汽车、航空、轨道交通、核工业、医疗等领域的标准编码规范，稳稳占据静态测试编码规范发展的主街期。 图片来源于MISRA官网1994-2020 MISRA发展简史MISRA，全称Motor Industry Software Reliability Associ...

随着现代车辆的智能化发展（ADAS, Telematics, Infotainment, Cloud Services），车载代码量呈指数级增长，代码静态分析的自动化势在必行，且人们对功能安全的要求日益严格，符合行业编码规范是对车载代码的基础要求。美国Perforce（PRQA）公司是嵌入式静态分析领域公认的行业领导及先驱，拥有30多年软件开发及测试经验，是MISRA编码委员会创始会员及最具影响力的会员，同时是AUTOSAR组织在代码静态分析领域的唯一会员，负责功能安全软件架构的相关标准制定工作，参与编写