Helix QAC
文章平均质量分 87
静态代码测试工具
北汇信息
专注汽车电控领域:为整车厂和零部件企业提供完整的研发、测试解决方案。测试工具/专用测试设备/完整测试方案/实车测试服务
展开
-
汽车异构硬件平台开发如何进行静态代码分析:新版本Helix QAC(2024.1+)的分析方式|自动CCT|静态CCT|老版本Helix QAC的分析方式
随着汽车软件开发的复杂程度不断提升,尤其是智能网联汽车和自动驾驶技术的进步,汽车软件开发的复杂程度不断攀升。为了满足日益增长的功能需求和技术挑战,异构硬件平台被越来越多地采用,不同的工具链也不可避免地被引入到实际的开发流程中。这一趋势不仅增加了开发过程的技术多样性,也使得单个项目的编译过程中会涉及到多种编译器。本文主要讲解基于静态代码分析工具Helix QAC,我们该如何对多编译器工程进行静态分析。原创 2024-10-12 08:30:00 · 755 阅读 · 0 评论 -
代码静态测试工具Helix QAC 2024.2新发布:新的分析选项|验证平台改进和功能|语言功能支持|多编译器项目支持|支持从构建创建多个项目|数据流|编码标准覆盖率|用户体验优化
Helix QAC 2024.2 带来了新的特性和功能,为开发过程增加了灵活的选项。用户使用新的 CI 分析通过 Validate 获得完整的 CI 集成支持,从而轻松管理 CI/CD 更改分析结果并加快测试反馈速度,并使用新的服务器分析许可证获得更大的部署灵活性。其他改进包括用于分析使用多个编译器的项目的新功能、对 C++20 和 C23 语言特性的更好支持,以及 Validate 中的 Helix QAC 严重性支持(包括用户消息)。原创 2024-08-05 10:00:00 · 1516 阅读 · 0 评论 -
带你走近MISRA C++:2023:MISRA C++的发展史|MISRA C++:2008与AUTOSAR C++14|MISRA C++:2023|MISRA C++:2023规则分类
随着汽车工业迈入数字化转型的新纪元,软件的安全性与可靠性已跃升为设计和开发核心环节的重中之重。MISRA C++标准的诞生与演进,精准地回应了行业发展的需求。自MISRA C++标准首次面世以来,它便被奉为汽车软件工程师在开发实践中的圭臬。原创 2024-04-30 10:00:00 · 979 阅读 · 0 评论 -
代码静态测试工具 Helix QAC 2024.1版新功能解读:语言增强|多编译器项目支持|Validate新的提升和功能|编码标准的覆盖范围(CWE、HKMC、MISRA C++:2023®)
Helix QAC 2024.1改进了对C++20和C23语言特性的支持,并增加了分析使用多个编译器的项目的新功能。此外,Validate增强了对于搜索功能和角色权限的用户体验,并且包括一个新的问题列表的CSV下载选项。此版本还包括对于C/C++的CWE、C的HKMC和MISRA C++:2023®合规模块的扩展执行,以及许多常规产品质量提升。原创 2024-04-25 10:00:00 · 1252 阅读 · 0 评论 -
使用 MISRA C++:2023® 避免基于范围的 for 循环中的错误:什么是 MISRA C++:2023 Rule 9.5.2,为什么它很重要| 什么是 C++ 中基于范围的 for 循环
MISRA C++:2023®,MISRAC++标准的下一个版本,就在这里!为了帮助您了解 MISRA C++:2023 与上一版本之间的变化,我们继续 Perforce 首席技术支持工程师 Frank van den Beuken 博士撰写的第三期博客系列。在前两篇博客中,我们 向您介绍了新的 MISRA C++ 标准 和 C++ 的历史 。在这篇博客中,我们将仔细研究以 C++ 中 for 循环为中心的特定规则。原创 2024-03-27 11:47:37 · 1102 阅读 · 3 评论 -
代码静态测试工具Helix QAC 2023.4新发布:增强对 C++20支持 | 通过缓存提高数据流性能 | 增强的 GNU 和 ISO C 算术类型支持 | 编码标准覆盖率
Helix QAC 2023.4 为新的 MISRA C++:2023 指南推出了 100% MISRA C++:2023® 规则覆盖率。此版本还包括扩展的 C++20 语言支持、数据流分析的性能改进以及整个产品中的许多产品体验增强功能。原创 2024-01-11 11:08:14 · 1083 阅读 · 1 评论 -
C++简史:C++是如何开始的 | C 与类 | C++ | 带注释的 C++ 参考手册| C++98 | C++03 和嵌入式 C++ | C++11 | C++14 | C++17 | C++20
C++是一种常用的通用编程语言,可以用它来编写高效的程序。正因为如此,它在安全关键型应用领域也很受欢迎,例如汽车行业,MISRA是最受欢迎的编码标准之一。让我们来看看这门语言的迷人历史。原创 2024-01-10 10:00:00 · 1036 阅读 · 1 评论 -
静态代码分析工具Helix QAC 2023.3-将100%覆盖MISRA C++2023规则:编码标准覆盖范围(MISRA C++:2023,MISRA C:2023®)|C++20 语言支持
Helix QAC 2023.3预计将于2023年第四季度发布的新MISRA C++®指南,将100%覆盖MISRA C++:2023®规则。此外,此版本扩展了对C++20语言支持,并改进了Perforce Validate平台和Helix QAC与Validate的集成,包括其他生活质量和性能增强。原创 2023-11-08 18:12:57 · 390 阅读 · 0 评论 -
您需要了解的有关下一个MISRA®标准的信息 MISRA C++ 2023®简介:1️⃣MISRA C++ ®背景2️⃣MISRA C++:2023® 博客系列预览
MISRA C++:2023®是广受期待的MISRA C++ ®标准的下一个版本,将于今年晚些时候发布。新版本将整合AUTOSAR C++14指南,并支持C++的最新版本。MISRA®是由汽车行业软件可靠性协会(MISRA)开发的一套C和C++编码标准,不仅是汽车行业的最佳标准之一,也是任何使用嵌入式系统的行业的最佳标准之一。为了帮助您为即将发布的版本做好准备,我们推出了一个由我们的MISRA专家Frank van den Beuken博士撰写的关于MISRA C++:2023概述的博客系列。原创 2023-10-16 16:48:20 · 801 阅读 · 2 评论 -
什么是Automotive SPICE ASPICE® | 为什么ASPICE对OEM和汽车供应商很重要 | 框架和静态分析 | ASPICE 标准评分级别 | 静态分析工具如何支持 ASPICE指南
汽车软件过程改进和能力确定(Automotive SPICE®,简称ASPICE)是一种过程评估模型,可帮助OEM和供应商评估组织内软件开发过程的当前性能和成熟度级别。遵守此标准有助于汽车供应商确保其软件质量满足客户的关键要求。在这里,我们概述了汽车软件组织的ASPICE和性能质量合规性技巧。原创 2023-09-20 15:34:19 · 413 阅读 · 0 评论 -
北汇信息 | 静态代码分析器工具Helix QAC 2023.2: 提供 100% 的 MISRA C:2012 和 MISRA C:2023 规则覆盖率
Helix QAC 2023.2 提供 100% 的 MISRA C:2012 和 MISRA C:2023 规则覆盖率,并更新相应的合规性模块以支持 MISRA C:2023。此外,此版本还包括改进的 C23 语言支持、对Validate平台的改进以及 Helix QAC 和 Validate 的集成,以及其他功能改进。原创 2023-07-31 14:29:26 · 396 阅读 · 0 评论 -
什么是高级驾驶辅助系统 ADAS 概述:为什么高级驾驶辅助系统对ADAS自动驾驶很重要 | 高期望需要苛刻的要求 | 哪些标准对高级驾驶辅助系统很重要 | ISO 26262 | SOTIF
静态分析如何帮助确保安全可靠的高级驾驶辅助系统 (ADAS)确保高级驾驶辅助系统中的软件安全、可靠和最有效方法是使用静态分析工具,如 Helix QAC。 静态分析工具有助于执行汽车编码指南(如 MISRA 和 AUTOSAR ), 并经过认证可用于功能安全标准(如 ISO 26262 )。 通过使用Helix QAC,您将应用编码指南来验证您的软件是否满足必要的要求。此外,Helix QAC还可以通过以下方式提高软件质量:• 实施编码标准并检测规则违反。• 在开发早期检测合规性问题。原创 2023-07-25 18:14:16 · 381 阅读 · 0 评论 -
CERT如何保证软件信息安全:嵌入式软件应用程序所面临的日益增多的网络威胁 | BUG是如何进入系统 | CERT C和C++如何检测软件安全问题 |ARR30-C:不要形成或使用超出边界的指针或数组
嵌入式软件应用程序所面临的日益增多的网络威胁嵌入式软件应用面临着越来越多的安全问题,在任何现代软件开发环境中,考虑安全性都是非常重要的。即使经过最好的审查和测试的软件也可能存在BUG,而这些BUG可以让恶意用户进入系统并造成巨大的物理和财务损失。 其攻击范围涵盖很多领域:从机场的调度系统到医疗设备都可能受到攻击,特别值得关注的是日益增加的自动驾驶汽车或连接汽车、列车和飞机等计算机控制系统。任何与外界通信的系统都面临着风险,例如汽车可能被盗,更糟糕的情况是车辆的控制权被夺取。原创 2023-06-14 09:00:00 · 436 阅读 · 0 评论 -
静态代码测试工具Helix QAC 2023.1更新快讯:编码标准覆盖范围 | AUTOSAR | CWE | Perforce Validate | CLI | GUI | Eclipse IDE
Helix QAC 2023.1 对 MISRA C:2012修订版4和MISRA C:2023的覆盖率为100%,对 AUTOSAR C++14的覆盖率为96%。它还更新了CWE最新版本v4.10的合规模块。在这一版本中Helix QAC和Validate平台的集成也有重大改进,Validate平台提供了软件对跨工程以及Perforce静态分析产品的软件洞察力。原创 2023-04-12 11:23:11 · 411 阅读 · 0 评论 -
代码静态测试工具的不二之选 Helix QAC 2022.4 版本新功能:数据流组件 | 编码标准覆盖范围(MISRA C:2012 AMD3,TS 17961 C 安全)
Helix QAC 2022.4 中的新增功能Helix QAC 2022.4为MISRA C:2012 AMD3提供了100%的规则覆盖,数据流被拆分为一个新的组件,提供了改进的分析性能,并升级了对C++20和C23的语言支持。此外,此版本还包括改进的编译器支持以及各种 Helix QAC 组件的总体使用质量改进。原创 2023-02-02 09:00:00 · 531 阅读 · 0 评论 -
什么是BARR-C | 为什么BARR-C很重要 | 如何实现BARR-C合规性 | BARR-C与MISRA有何关系 | 为什么使用Helix QAC实现BARR-C合规性
BARR-C是Barr集团的编码标准,旨在减少嵌入式软件中的错误,并引入风格指南以提高可维护性和可移植性。在这里,我们解释了什么是Barr-C,开发人员如何使用BARR-C:1018检测用C编写的固件中的错误,以及如何将其与MISRA的指南相结合。原创 2022-11-01 15:38:28 · 203 阅读 · 0 评论 -
神仙代码静态测试工具 Helix QAC 2022.3中的新增功能:微软Visual Studio 2022 IDE插件 | 编码标准覆盖范围 (BARR-C:2018)| 升级的 C++20语言支持
Helix QAC 2022.3 引入了对微软 Visual Studio 2022 的支持、BARR-C:2018 的新合规模块,以及对 C++20 和 C23 的升级语言支持。此外,这个版本包括更广泛的编译器支持和各种CLI命令的质量改进。原创 2022-10-18 17:56:03 · 1568 阅读 · 0 评论 -
走近MISRA C:2012:汽车软件与C语言 | MISRA C编码规范 | MISRA C:2012规则介绍 | MISRA C:2012规则分类 | Helix QAC与MISRA C:2012
随着软件定义汽车概念的兴起,汽车软件开发的工作量开始呈指数级增加,当前车载软件代码量已经达到1亿-3亿行。这是一个什么概念呢,相当于比Windows系统还高出一个数量级。据调查,大部分的车载软件都是使用C语言进行开发,因为C执行效率高、代码量小,因此在汽车的小型控制部件中被广泛使用。尽管C语言在嵌入式系统中如此流行,但仍有很多缺陷:原创 2022-10-12 18:26:51 · 1649 阅读 · 1 评论 -
Docker 教程 如何将Helix QAC作为容器创建并运行 下:第三部分 在本地项目上运行 DaaQT
在此 Docker 教程中,你将学习如何创建 Helix QAC 并将其作为容器化镜像运行。Docker 的基本定义是一种开源和流行的操作系统级虚拟化(通常称为“容器化”)技术,它是轻量级的,可移植的,并且主要在Linux和Windows上运行。Docker 使使用容器创建、部署和运行应用程序变得更加容易。从根本上说,容器只是一个正在运行的进程,并应用了一些附加的封装功能。原创 2022-10-14 14:20:54 · 1262 阅读 · 1 评论 -
Docker 教程 如何将Helix QAC作为容器创建并运行 上:Docker 最显著的优势 | 准备Docker引擎 | 创建、生成和运行
在此 Docker 教程中,你将学习如何创建 Helix QAC 并将其作为容器化镜像运行。Docker 的基本定义是一种开源和流行的操作系统级虚拟化(通常称为“容器化”)技术,它是轻量级的,可移植的,并且主要在Linux和Windows上运行。Docker 使使用容器创建、部署和运行应用程序变得更加容易。从根本上说,容器只是一个正在运行的进程,并应用了一些附加的封装功能。原创 2022-10-13 18:08:35 · 742 阅读 · 1 评论 -
代码静态测试工具Helix QAC 2022.2中的新增功能(2)图形用户界面 | 命令行界面 | 插件 | Microsoft Visual Studio | Eclipse
上期文章王牌代码静态测试工具Helix QAC 2022.2 中的新增功能(1)中,我们简述了该版本的新增功能,本期将涵盖其软件质量提高,版本重要更改及预公告。原创 2022-07-27 08:30:00 · 361 阅读 · 0 评论 -
王牌代码静态测试工具Helix QAC 2022.2 中的新增功能(1)
Helix QAC 2022.2 中的新增功能Helix QAC 2022.2 提供更强大的 C++ 20语言功能支持,更新了 MISRA 和 HKMC 的合规性模块,以及新的配置选项,可在处理 STL 头文件、第三方/外部源代码等时改进分析结果。此外,此版本还包括更广泛的编译器支持以及对各种插件、CLI 命令和 QAC GUI 的一般生活质量改进。............原创 2022-07-26 16:42:41 · 1465 阅读 · 0 评论 -
开发人员使用Helix QAC实现静态代码测试合规性的五大原因:为什么合规性对软件开发至关重要 | 覆盖深度 | 可定制的报告 | 命令行界面 | 低误报率 | 独立合规认证
30多年来,Helix QAC(以前称为PRQA)一直是值得信赖的静态分析工具,可满足严格监管和安全至上行业的严格合规要求。在这里,我们分享了开发人员选择Helix QAC的五大原因。对于安全至上的行业,如汽车、航空航天和国防、铁路和医疗设备,遵守功能安全标准有助于他们减轻和消除潜在风险。为了有效地执行推荐的功能编码标准和指南以及验证合规性,强烈建议使用行业标准化工具(特别是静态分析工具)。虽然开发人员最终选择Helix QAC进行合规性的原因有很多,但以下是最常被引用的五大原因。.............原创 2022-07-14 15:52:23 · 1899 阅读 · 0 评论 -
2022年首次升级:静态代码测试工具Helix QAC 2022.1 新版本功能快讯:编码标准覆盖(AUTOSAR、MISRA、CWE)| 框架改进 | 数据流改进 | 改进构建过程监控 | 质量提升
文章目录编码标准覆盖(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 提供了改原创 2022-04-30 07:00:00 · 1426 阅读 · 1 评论 -
企业级代码静态测试工具Helix QAC——Helix QAC Dashboard基于团队的工程质量管理系统/Helix QAC资质认证
文章目录Helix QAC简介Helix QAC Dashboard基于团队的工程质量管理系统关键作用主要组件资质认证Helix QAC简介Helix QAC提供了一个高效、健壮和完全自动化的环境来覆盖编码规范,即时反馈诊断信息,给出修改建议,并针对检测到的缺陷生成不同参考标准的报告(代码审查报告、度量报告、合规报告和抑制报告),帮助开发工程师开发可靠性高、可移植性强、可复用性好、易测可维护的代码,简化开发生命周期,降低开发成本。原创 2022-04-28 07:00:00 · 1184 阅读 · 0 评论 -
企业级代码静态测试工具Helix QAC——支持编码规范
文章目录Helix QAC简介Helix QAC支持的编码规范MISRA编码规范AUTOSARCERTCWECWE软件安全漏洞列表Helix QAC简介Helix QAC提供了一个高效、健壮和完全自动化的环境来覆盖编码规范,即时反馈诊断信息,给出修改建议,并针对检测到的缺陷生成不同参考标准的报告(代码审查报告、度量报告、合规报告和抑制报告),帮助开发工程师开发可靠性高、可移植性强、可复用性好、易测可维护的代码,简化开发生命周期,降低开发成本。上期回顾:企业级代码静态测试工具Helix QAC——.原创 2022-04-26 07:00:00 · 920 阅读 · 0 评论 -
企业级代码静态测试工具Helix QAC——关键特性:高级缺陷检测机制 | 高度可执行的诊断结果 | 多样化的报告形式
文章目录Helix QAC简介关键特性高级缺陷检测机制高度可执行的诊断结果多样化的报告形式Helix QAC简介Helix QAC提供了一个高效、健壮和完全自动化的环境来覆盖编码规范,即时反馈诊断信息,给出修改建议,并针对检测到的缺陷生成不同参考标准的报告(代码审查报告、度量报告、合规报告和抑制报告),帮助开发工程师开发可靠性高、可移植性强、可复用性好、易测可维护的代码,简化开发生命周期,降低开发成本。上期回顾:企业级代码静态测试工具Helix QAC——从应用层级保证代码质量和安全企业级代码.原创 2022-04-24 07:30:00 · 550 阅读 · 0 评论 -
企业级代码静态测试工具Helix QAC简介——技术规格 | 通用特性 | 代码分析特性 | 消息输出控制 | 度量元 | 测试报告 | 支持的编码规范 | 支持的操作系统 | IDE集成环境
Helix QAC简介技术规格通用特性代码分析特性消息输出控制度量元测试报告支持的编码规范支持的操作系统IDE集成环境持续集成环境支持的编译器Helix QAC简介Helix QAC提供了一个高效、健壮和完全自动化的环境来覆盖编码规范,即时反馈诊断信息,给出修改建议,并针对检测到的缺陷生成不同参考标准的报告(代码审查报告、度量报告、合规报告和抑制报告),帮助开发工程师开发可靠性高、可移植性强、可复用性好、易测可维护的代码,简化开发生命周期,降低开发成本。本期文章将列举QAC的技术规格。原创 2022-04-22 07:45:00 · 1847 阅读 · 3 评论 -
企业级代码静态测试工具Helix QAC——从应用层级保证代码质量和安全:简介 | 客户列表(部分) | Helix QAC特性 | Key Checks
代码静态测试工具Helix QACHelix QAC,美国Perforce公司产品,用于C/C++代码的静态检测。可支持MISRA/AUTOSAR/CERT/CWE等编码规范,提供精准的诊断消息/度量元指标/在线help/Web端项目管理平台,帮助开发人员尽早发现代码缺陷。符合ISO26262标准要求,在开发初期保障传统及智能车辆的代码安全。关键词:QAC 静态测试 MISRA 度量元 ISO26262 编码规范 代码质量原创 2022-04-20 08:00:00 · 1195 阅读 · 0 评论 -
什么是完备静态代码分析 | 完备静态分析的工作原理 | 为什么完备静态分析很重要 | 如何使用Helix QAC 执行完备静态分析 | 选择Helix QAC进行完备静态分析
在开发安全、可靠和合规的软件时,完备静态分析是一种有益的实践。本篇文章中,我们将讨论完备分析与静态分析的不同之处,为什么它很重要,以及完备静态代码分析的工作原理。原创 2022-03-25 14:07:18 · 299 阅读 · 0 评论 -
Log4j漏洞对静态代码测试工具Helix QAC的影响:
在上一篇文章代码静态测试王者新版上线——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原创 2021-12-28 10:46:52 · 4604 阅读 · 0 评论 -
代码静态测试王者新版上线——Helix QAC 2021.3 我的格局打开了 | 版本重磅更新 | 编码标准覆盖范围(AUTOSAR、MISRA、CERT、CWE、HKMC)
Helix QAC 2021.3 新增了现代汽车集团的新合规模块,这是Helix QAC首次将定制化开发转变为可公开的定制模块,为与各大OEM厂商的合作突破新世界大门,格局打开了!欢迎我们各位OEM踊跃咨询北汇~下面我们速速展开新版本Helix QAC 2021.3的详细解读。Helix QAC 2021.3引入了对Visual Studio Code的支持,现代汽车集团的新合规模块,以及改进的数据流分析功能,并增加了C++20种语言支持。此外,该版本还包括对重要的汽车和安全编码标准的准确性和覆盖率的改进.原创 2021-12-27 11:20:31 · 4056 阅读 · 4 评论 -
沉浸式测试 | 鸿蒙(HarmonyOS)生态下的智能汽车静态代码分析
华为的鸿蒙手机操作系统已经发布了几个月了,作为国产操作系统,其寄托了我们的深切希望。在鸿蒙系统发布会上,手机、平板、智能手表等消费电子类产品固然是主角,而作为华为冉冉升起的新兴业务领域 ——智能汽车,亦被包含在系统生态之中,也引起了行业的广泛关注。鸿蒙作为一个新生的系统,其不可避免的会存在很多问题,而汽车领域对代码的编码规范要求又极为严格。因此本文将通过使用汽车行业主流的静态分析工具QAC,来分析测试鸿蒙系统代码对汽车行业内常用编码规范(CERT、MISRA C 2012、CWE)的遵循情况。考虑到标准鸿原创 2021-08-06 10:34:05 · 1716 阅读 · 0 评论 -
进击----Helix QAC自动化静态测试:自动化静态分析对静态分析工具有什么要求 | Helix QAC是什么 | 为什么要做自动化静态分析 | 自动化静态分析该从何开始 | 如何实现测试的自动化
进击!Helix QAC自动化静态测试-QAC视频 - Polelink上海北汇信息的视频 - 知乎https://www.zhihu.com/zvideo/1322136980776132608原创 2020-12-16 15:04:35 · 1916 阅读 · 28 评论 -
为什么SOTIF(ISO/PAS 21448)是无人驾驶安全的关键:什么是SOTIF | ISO/PAS 21448与ISO 26262的关系 | ISO 26262与ISO/PAS 21448
在无人驾驶汽车的研发过程中,人工智能(AI)和机器学习起着重要作用。相应的,无人驾驶(和半无人驾驶)汽车的软件开发团队又要面临新的安全挑战:如何在故障未发生时保证预期功能安全?为了解决这一问题,新的ISO标准ISO/PAS 21448应运而生。什么是SOTIFSOTIF即道路车辆预期功能安全,它是ISO/PAS 21448: Road Vehicles — Safety of the Intended Functionality的简称。ISO/PAS 21448适用于需要适当环境感知的功能,该标准原创 2021-02-25 14:20:42 · 2281 阅读 · 1 评论 -
如何保证汽车信息安全?还得从代码静态测试说起: C语言缓冲区溢出 C语言缓冲区溢出 什么是缓冲区溢出 分布式网络缓冲区溢出如何吸引黑客 预防安全漏洞至关重要 如何保证C代码的网络信息安全
背景介绍智能化是当代汽车发展的必然趋势,为了增加乘用舒适性,现代汽车将车联网与智能车有机联合,搭载先进的车载传感器,控制器,执行器等,并融合现代通信网络技术,实现车与人、车、路等智能信息的交换共享,V2X从此走进大众视野,开拓智能汽车的网联时代。但,发展亦为挑战,面对日益增多的ECU,日趋庞大的车载代码,如何保证汽车应用信息安全?怎样才能不给黑客们可乘之机?这是一个严肃的议题,开发人员必须借助相关工具确保嵌入式代码的安全性,否则如下案例便是前车之鉴:2013年,黑客通过Uconnect软件入侵数十万辆原创 2020-12-21 15:22:21 · 892 阅读 · 1 评论 -
回顾“90后”——MISRA的25年岁月:1994-2020 MISRA发展简史 | 规则和指令的区别 | 针对自动生成的代码 | MISRA的功能安全和信息安全 | MISRA编码规范与静态测试
谈起MISRA这个名字,大家应该都不陌生,但,我们真的了解它吗?从90年代初期MISRA组织的发起至2020年,MISRA已走过25个年头。25年过去,90后已成长为现代社会发展的中坚力量,同样作为“90后”的MISRA,也已作为覆盖汽车、航空、轨道交通、核工业、医疗等领域的标准编码规范,稳稳占据静态测试编码规范发展的主街期。 图片来源于MISRA官网1994-2020 MISRA发展简史MISRA,全称Motor Industry Software Reliability Associ...原创 2020-12-16 17:48:10 · 1095 阅读 · 1 评论 -
Helix QAC企业级自动代码静态分析器:Helix QAC特性 | 代码静态分析 | 度量元指标 | Helix QAC支持的编码规范 | Helix QAC Dashboard | 集成环境
随着现代车辆的智能化发展(ADAS, Telematics, Infotainment, Cloud Services),车载代码量呈指数级增长,代码静态分析的自动化势在必行,且人们对功能安全的要求日益严格,符合行业编码规范是对车载代码的基础要求。美国Perforce(PRQA)公司是嵌入式静态分析领域公认的行业领导及先驱,拥有30多年软件开发及测试经验,是MISRA编码委员会创始会员及最具影响力的会员,同时是AUTOSAR组织在代码静态分析领域的唯一会员,负责功能安全软件架构的相关标准制定工作,参与编写原创 2020-12-08 17:52:50 · 1263 阅读 · 4 评论