Polelink北汇信息的博客

质量门正如其名：它们通过在软件开发生命周期（SDLC）的各个阶段作为质量里程碑（或“闸门”），确保软件的高质量交付，防止不良代码通过。在这里，我们解释了什么是质量闸门，它们如何工作，以及如何使用静态分析来实现它们。

在现代软件开发领域，需求到测试用例及其结果的追溯是确保质量的关键环节。然而，手动将测试用例与需求关联是一项耗时且容易出错的工作。开发和测试人员面临以下挑战：

随着汽车电子技术的不断发展和普及,汽车电子系统的复杂度不断增加，对汽车电子系统的测试要求也越来越高,传统的测试方法已经无法满足对系统功能和性能的全面测试需求。TPT作为一种灵活、高效的测试工具，能够帮助测试工程师快速编写满足各类需求的测试用例，有效提高测试效率和覆盖率。

软件开发者们有很多让他们焦虑的事情。他们最担心的不再是如何用他们最喜欢的编程语言（C、C++、Erlang、Java等）表达最新的算法。相反，这种担忧正逐渐被人工智能（AI）所取代。在这里，我们将探讨AI编写代码的过程，并回答这个问题：AI会取代程序员吗？

随着汽车工业迈入数字化转型的新纪元，软件的安全性与可靠性已跃升为设计和开发核心环节的重中之重。MISRA C++标准的诞生与演进，精准地回应了行业发展的需求。自MISRA C++标准首次面世以来，它便被奉为汽车软件工程师在开发实践中的圭臬。

每年，嵌入式世界大会Embedded World conference都会汇集顶尖的嵌入式开发者、研究人员和创新者，在德国纽伦堡与国际嵌入式社区分享他们的知识和见解。今年的大会延续了这一传统，为不断增长和多样化的全球嵌入式社区提供了一个充满活力的环境，通过主题演讲、演示和展会进行交流。Perforce公司在活动中展示了包括Klocwork、Helix QAC、Helix ALM、Helix Core、Helix IPLM和Helix Plan等知名品牌——所有这些都帮助开发者加速嵌入式开发。

在今年的首个版本中，Klocwork 2024.1为Perforce的持续安全和代码合规性平台Validate引入了新的功能和改进。现在，Validate的升级过程更快、更稳健、对用户更友好。您可以去除项目、优先迁移、无需服务器重启单独迁移项目、无缝处理迁移失败等等。此版本还改进了对使用Bazel构建系统的C/C++、C#和Java开发的项目的支持。Klocwork 2024.1扩展了对编码标准执行的覆盖范围，支持MISRA C++:2023®。

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

汽车行业正面临重大转型，2024年特别关注电动、自动驾驶和混合动力车辆的软件开发。全球电动汽车销量增长，软件安全和合规性成为开发重点。ISO 26262和ASIL等级衡量风险，网络安全挑战上升。敏捷开发和跨团队协作是提升效率的关键。标准遵从性验证是挑战，但对行业至关重要。新兴趋势强调安全性和效率，要求汽车专业人士不断适应技术革新。

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

如今，新车购买者的关注点更多地集中在“数字驾驶舱生态系统体验”上，而不是传统功能，如马力和燃油经济性。汽车行业已将提供这种体验作为优先事项，包括全连接的车载信息娱乐 （IVI） 系统，包括触摸屏显示器、语音命令以及集成的信息和娱乐功能。

针对日益崛起的智能驾驶领域，VectorCAST提供强大的C++解析支持；面对OTA等新概念的发展，VectorCAST具有Jenkins集成和自动的回归测试功能，可帮助软件实现高效的在线迭代更新；针对逐步完善的安全标准新趋势，VectorCAST及时更新迭代，协助认证。软件定义汽车的新时代到来，VectorCAST秉承着术业有专攻的理念，坚定耕耘着汽车软件代码动态测试的这一片田地，致力于为软件定义汽车的实现添砖加瓦。

TPT作为一款全球知名的嵌入式模型动态测试工具，被国内外用户所熟知和使用，帮助客户更高效地完成模型测试任务。北汇信息在国内推广TPT已有十多年，具备完善的技术支持能力。为了更好地支持客户的TPT使用，可以针对不同需求，提供标准或者定制的培训服务。

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

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

汽车网络安全在汽车开发中至关重要，尤其是在 汽车软件 日益互联的情况下。在这篇博客中，我们将分享如何防止汽车网络安全漏洞。

随着汽车朝着电动化、自动化、智能化、网联化的“四化”趋势发展，芯片的研发和生产变得越来越关键。国产芯片代表着中国的科技雄心和自主创新的追求。实现这些目标需要面对严峻的技术挑战，其中之一就是确保国产芯片开发和应用的质量和可靠性。VectorCAST工具的应用为解决这一挑战提供了强大的支持，它具有丰富的测试功能，有助于确保基于国产芯片的软件代码的可靠性和安全性。

Klocwork 2023.3中的新功能Klocwork 2023.3使用构建标记为Streams和CI/CD分析管道提供了构建管理改进。C/C++分析引擎获得了跟踪由常量索引引用的单个数组元素值的能力。Klocwork分析引擎的总体改进提供了更高的结果准确性和适用于CWE 2023 Top 25和MISRA C:2023®的新的编码标准覆盖率，现已推出。

在模型开发过程中，测试是一个不可或缺的环节。在测试过程中，测试用例的编写是所有测试工程师关注的重点和难点。在编写的过程中，可能会遇到各种各样的问题，比如历史测试用例的复用，比如在MiL阶段回放HiL阶段的测试数据来debug，又如需要通过Excel实现测试用例的存储等等。上述问题TPT提供了非常契合的功能——Generate Test Cases from Test Data。

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概述的博客系列。

Docker是一个开源的应用容器引擎，它可以实现让开发者打包他们的应用、依赖以及配置到一个可移植的镜像中，并且可以发布到任何可运行Docker的Linux或Windows操作系统的机器上，并可以无需再次进行配置便完美执行。Docker容器是使用的沙箱机制，任何容器之间的创建、运行和关闭不会相互影响，相互之间也不会有任何接口。

持续集成（Continuous Integration，简称CI）是一种软件开发/测试方法。它要求开发及测试人员频繁地将代码提交到用于共享的开发分支中，经过充分的测试和审查，然后通过自动化的构建和测试流程，对代码进行构建、单元测试、集成测试等步骤以确保代码的质量和可交付性。早在2000年代初，就有主机厂及零部件供应商开始尝试通过持续集成来提升软件开发效率和质量。而在竞争愈发激烈、整车集成化趋势愈加凸显的当下，二者都认识到提升软件开发效率和质量的重要性。

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

通过关注输出和行为验证，了解FEY（Full-Expectation-Yet）方法如何彻底改变软件测试。通过确保期望值的存在，这种方法提高了测试覆盖度、可靠性和整体软件质量。深入了解实现FEY方法的关键见解、挑战和好处，以释放测试工作的真正潜力。在软件测试领域，一个常见的挑战是在测试创建期间为每个输入定义期望值。这可能还是会导致测试不完整或无效的测试覆盖，导致未检测到的问题从裂缝中溜走。在本文中，我们将探讨导致此情况的潜在问题，并介绍解决这些挑战的解决方案。

随着汽车行业日新月异的发展，软件定义汽车已逐渐成为大家的追求目标，汽车中的嵌入式软件版本不断迭代，功能也不断增强。为了顺应行业的高速发展和满足客户复杂多变的需求，TPT也在悄悄成长，又一次完成蜕变。接下来随我一起走进TPT19的新世界。

随着 2023.2 的发布，Klocwork 为 C、C++、C#、Java 和 JavaScript 分析提供了更新和改进。MISRA C:2012 AMD 2覆盖率和DISA STIG ASD C/C++高严重性规则覆盖率高达83%。还引入了针对 C 语言检查器的附加路径分析。Validate平台现在具有增强的问题浏览和筛选功能。其他增强功能包括改进Microsoft Visual Studio 插件和 Project Streams in Validate 的稳定性和性能。

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

MISRA：增强软件安全性和稳定性MISRA起源于汽车行业，在汽车行业中保持高标准的软件开发非常重要。MISRA提供了一套适用于任何软件应用程序的全面指南，在确保软件安全性和稳定性方面发挥着至关重要的作用。这些准则包含各个方面，例如避免比较运算符右侧的副作用，以及不执行任何指针算术。虽然开发团队通常有自己的代码审查指南，但MISRA的附加规则集的加入，这些规则已经经过了广泛地研究并证明其可以提高软件质量，代表了在保护软件完整性和可靠性方面的重大飞跃。

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

静态分析可帮助面临压力的开发团队。高质量的版本需要按时交付。需要满足编码和合规性标准。错误不是一种选择。这就是开发团队使用静态分析工具/源代码分析工具的原因。在这里，我们将讨论静态分析和使用静态代码分析器的好处，以及静态分析的局限性。什么是静态分析？静态分析是一种调试方法，通过自动检查源代码来完成，而无需执行程序。这使开发人员能够了解他们的代码库，并有助于确保其合规性和安全可靠性。

ISO 9001为组织的质量管理体系（QMS）提供了具体要求和标准。它是一个广泛的国际标准，适用于任何规模的任何类型的组织。最新版本的ISO 9001于2015年发布，旨在帮助公司改善客户体验，满足监管要求，管理供应商和合作伙伴关系，并实现公司持续的成功。在这里，我们提供了ISO 9001的概述，并提供了对Perforce静态分析工具Helix QAC和Klocwork的ISO 9001认证的见解。

上篇我们介绍了被测对象、动态测试和测试用例的概念，还提出了如何省时省力评估自动生成的测试用例的话题。事实上TPT能够实现测试用例和评估解耦，为每条用例/多条用例创建符合其场景的测试评估：可以通过GUI界面来进行信号对比、事件查询、信号边界检查、信号序列的正确性判断以及信号调理；也可以通过脚本语言实现复杂场景的评估。

在PikeTec，我们有一个示例来展示我们的测试自动化工具TPT: 灯光控制器。为什么是这样一个简单的例子?选择用这个乍一看很简单的例子，我们有如下几个理由:• 简单:灯光控制器的操作简单易懂。因此，它是一个能让人将全部注意力集中在TPT的功能的理想模型。• 可管理的范围:它提供了在汽车软件开发中发现的典型实现机制的清晰而简洁的演示，例如滞后时间、阈值、可调参数和内部状态• 汽车相关性:灯光控制器代表了典型的汽车功能，使其与行业专业人士相关。

在软件测试中，等价类在有效地验证系统行为方面起着至关重要的作用。这些类表示变量的可能值范围的子集，例如输入或输出，在这些变量中，系统期望显示类似的行为。通过从这些等价类中选择具有代表性的值，我们可以系统地减少测试工作，同时仍然获得重要的覆盖率。在这篇文章中，我们将探讨等价类在用TPT做测试过程中的使用，以及它们如何优化测试过程。等价类将值分类为不同的子集，通过从每个类中选择一个具有代表性的值来简化测试过程。

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

测试对象、被测系统和测试元素通常是同义词。根据ISTQB，一个测试对象一般被定义为“待测试的工作产品”。一个控制单元，几个控制单元组成的网络几个集成网络组成的系统，一辆整车，任何其他被测对象TPT是全球知名的基于模型的嵌入式系统测试工具，用于电控系统软件应用层功能测试。不论是单元模型还是几个控制单元组成的集成模型，又或是整个系统模型，TPT都可以加载并导入接口，为后续的测试做准备。动态测试是测试对象的执行。在动态测试中，创建并执行测试用例，用测试数据激励测试对象。

AppSec 是在硬件、软件和开发过程中在应用程序级别查找、修复和防止安全漏洞的过程。它包括对应用程序设计和开发以及整个生命周期（包括应用程序启动后）的措施的指导。具有强大应用程序安全性的组织认识到，AppSec不是一项单一的技术，而是一个持续的过程，涉及最佳实践和流程，旨在帮助预防和解决应用程序面临的网络威胁。许多组织使用服务和AppSec工具来加速应用程序开发，同时减少代码漏洞并防止网络安全风险。

在软件开发中，Shift-Left是一种帮助开发人员在软件开发过程早期发现漏洞和编码错误的做法。Shift-Left Security是一种有效的方法，它专注于安全性，并有助于在软件发布之前很久就解决代码中的任何安全问题。在这里，我们概述了什么是Shift-Left Security，并提供了有关静态分析器如何帮助您在 SDLC 中及早发现安全漏洞的指导。

大多数原始设备制造商不会从电动汽车（EV）的销售中获利，但计划快速进入市场的电动汽车初创公司不必遭受同样的损失。随着电池价格飙升、零部件成本高昂和销量低迷，电动汽车初创公司的盈利能力逐渐下降，必须将软件开发视为提高预算、进度和工作水平的一种方式。了解电动汽车软件开发面临的主要挑战有助于初创公司领导者找到解决这些问题的途径。正如我们在这篇博客中所解释的那样，收回成本并不一定意味着提高车辆价格或裁员——相反，它是关于在高度复杂和受监管的软件环境中寻找更智能地工作的选择。