原创 代码静态测试工具的不二之选 Helix QAC 2022.4 版本新功能解析

2023-2-7 09:49 348 1 1 分类: MCU/ 嵌入式

Helix QAC 2022.4 中的新增功能

Helix QAC 2022.4MISRA C:2012 AMD3提供了100%的规则覆盖,数据流被拆分为一个新的组件,提供了改进的分析性能,并升级了对C++20C23的语言支持。

此外,此版本还包括改进的编译器支持以及各种 Helix QAC 组件的总体使用质量改进。

数据流组件

2022.4 中,数据流已从 QAC/QAC++ 引擎分离到自己的组件中。此更改提供:

1. 改进了大型项目的数据流分析性能。

2. 编译单元间分析(Inter-TU)在数据流中内化,不再需要两次分析传递。

3. 头文件中定义的函数每个项目分析一次。

4. 数据流诊断是针对数据流组件而不是“qac”“qacpp”报告的。

5. 数据流是分析工具链中的一个单独组件,具有自己的配置选项。

编码标准覆盖范围(MISRA C2012 AMD3TS 17961 C 安全)

新的 MISRA C2012 修正案 3 合规模块,具有 100% 的规则覆盖率

1. 针对C编程语言强制实施汽车行业软件可靠性协会MISRA软件开发指南。这些指南旨在促进嵌入式系统环境中的代码功能安全性、信息安全性、可移植性和可靠性。

2. 与新的C11/C18功能相关的其他规则。

C++20 语言支持

此版本改进了与 C++20 语言功能用法的兼容性,包括在 C++20 模式下处理 GCC 头文件。

C23 语言支持

此版本增加了对以下各项的 C23 语言功能支持:

放宽对变量参数列表的要求。

改进的编译过程监控

此版本改进了使用 “qainject”自动生成的 CCT,这简化了编译理解和编译器设置;并且手册中提供了额外的指导,用于创建自定义过滤器,以基于支持的编译器(例如基于 GNU 的编译器)创建新编译器。

提高使用质量

CLI

--添加了查看自基线以来的诊断功能(qacli视图)。

--按抑制类型(qacliview --suppression-filter )进行过滤诊断。

--以多种格式输出CMA诊断:NONE, MULTIPLE, SINGLEqacli view --multi-homed-format)。

--使用户能够升级现有项目以与单独的数据流组件兼容(qacli admin --upgrade)。

GUI

数据流组件支持。

Dashboard

数据流组件支持。

Microsoft Visual Studio 2022 IDE 插件

支持使用VS 2022扩展安装多个Helix QAC

Helix QAC 2022.4的重要变化

预公告

CCT Generator 将于 2023 年报废

Helix QAC 2023.1 将不再支持传统的独立 CCT Generator

Helix QAC 2021.3 中引入的“qainject”工具将取代当前的 CCT Generator 。因此,使用旧版工具生成的 CCT 将被弃用且不再受支持。

QAC 软件包中删除不受支持的静态 CCT

随着使用“qainject”自动生成 CCT 的各种编译器的改进构建监控,到 2023.1 将删除以前包含在 Helix QAC 包中的大多数静态 CCT。与使用静态默认 CCT 相比,自动生成的 CCT 有望提供更准确的分析结果。其目的是删除除GNU gccVisual Studio和通用编译器之外的所有CCT

 

作者: 北汇信息, 来源:面包板社区

链接: https://mbb.eet-china.com/blog/uid-me-3998886.html

版权声明:本文为博主原创,未经本人允许,禁止转载!

给作者打赏,鼓励TA抓紧创作!

赞赏支持
点赞 1
赞赏0

文章评论0条评论)

登录后参与讨论
相关推荐阅读
北汇信息 2023-03-20 12:09
汽车电子测试咨询服务-功能测试
电子电气功能测试是保障车辆“品质”的重要手段,车辆的开发是复杂的系统工程,需经历不同的开发阶段,也需要经历不同测试阶段,每个测试阶段测试的关注点存在差异。北汇信息基于对客户需求规范、行业法规及自身测试...
北汇信息 2023-03-15 13:50
从OTA测试变革浅析OTA测试系统升级方向
OTA测试的变革 自去年以来,OTA逐渐开始从少数“高端玩家”的卖点,成为汽车行业普遍应用的功能,各传统或新兴OEM都逐步开始在OTA上做布局,而随之而来的就是整个OTA功能从研发、测试到实际...
北汇信息 2023-03-13 15:39
智能驾驶测试解决方案
智能网联汽车集中运用了计算机、现代传感、信息融合、模式识别、通信网络及自动控制等技术,是一个集环境感知、规划决策和多等级自动驾驶控制于一体的技术综合体。为此在智能网联汽车研发过程中测试和验证面临巨大的...
北汇信息 2023-03-10 11:30
TASMO-自动测试建模好帮手
对于一名汽车软件测试工程师,最关心的问题是如何高效完成产品测试。目前提高测试效率的方法主要有以下两个方向:一、提高测试建模的效率,最好能够实现“自动化”,并且测试用例能够复用于后续的SiL、PiL...
北汇信息 2023-03-09 10:09
基于模型的软件测试工具TPT
TPT简介 TPT(Time Partition Testing)是基于模型的嵌入式系统动态测试工具,用于电控系统软件应用层功能测试。TPT具备独有的图形化建模方法,提供丰富的测试评估条件,可生...
我要评论
0
1
1
2
3
4
5
6
7
8
9
0
关闭 热点推荐上一条 /4 下一条