新版Helix QAC 100%覆盖MISRA C++:2023

2023-11-06 18:28

本文主要是介绍新版Helix QAC 100%覆盖MISRA C++:2023,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

图片

Helix QAC 2023.3预期将100%覆盖在2023年第四季度发布的新的MISRA C++:2023规则。

此外,该版本支持更多的C++20语言特性,并改进了Perforce Validate平台和Helix QAC与Validate的集成,以及其他质量改进。

编码标准覆盖率(MISRA C:2023和MISRA C++:2023

一、MISRA C++:2023

Helix QAC将100%覆盖MISRA C++:2023指南,该指南预计将于2023年第四季度发布。

● 新的M2CPP合规模块将执行MISRA C++:2023,与Helix QAC 2023.3一起使用,将在新标准发布时提供。

二、MISRA C:2023

Helix QAC为MISRA C:2023提供100%的覆盖,该标准将MISRA C:2012及其四个修正案和两个技术勘误表合并为一个综合版本。

● M3CM合规模块改进了规则8.3的执行。

C++20语言支持

此版本添加了对以下内容的语言功能支持:

Requires表达式——这是同C++20的Concept一起引入的,可用于确定结构的有效性,而不会导致编译错误。

Perforce Validate

这是持续的安全和代码合规平台,为嵌入式和任务关键的应用程序提供功能安全性 、信息安全性、可靠性和质量保证。

Validate平台为整个组织的代码库提供分析数据 、代码趋势及配置的集中存储,为所有Perforce静态分析产品提供统一的管理平台。

2023.3提供:

● 支持使用多个合规模块的项目—改进的分析结果,当项目执行额外的编码标准、规则或漏洞类型时。

● 针对项目中多个合规模块,Validate、报告、插件和图形用户界面也做了相应更改。

提高质量

一、安装程序

● 为Helix QAC和合规模块提供了Zip/tar包,可作为安装程序的替代品,提供进一步的产品部署、维护和升级灵活性。

二、自动CCT生成器

● 在使用同步操作时,针对INJECT、MONITOR和MSVS类型增加了自动CCT生成的支持。

● 解决了几个已经支持的编译器的问题。

三、数据流

● 改进数据流处理,使用更少的内存,并在内存或交换存储有限的机器上提高稳定性。

四、GUI

● 使用图形用户界面时,改进了对4K显示器的支持。

五、插件

● VS Code

   - 保存文件时运行分析

   - 远程运行QAC时增强了访问帮助的功能(*)。

        ▷(*)注意:需要diaglist许可证

● Visual Studio

   - 改进以与GUI元素保持一致,以便与Validate持续集成。

● Eclipse

   - 改进并协调GUI元素以便与Validate集成。

六、操作系统

● 支持Windows 11

了解更多静态测试工具技术信息商务服务,请访问http://www.softtest.cn/留言。

 

这篇关于新版Helix QAC 100%覆盖MISRA C++:2023的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/358293

相关文章

C++ 中的 if-constexpr语法和作用

《C++中的if-constexpr语法和作用》if-constexpr语法是C++17引入的新语法特性,也被称为常量if表达式或静态if(staticif),:本文主要介绍C++中的if-c... 目录1 if-constexpr 语法1.1 基本语法1.2 扩展说明1.2.1 条件表达式1.2.2 fa

C++中::SHCreateDirectoryEx函数使用方法

《C++中::SHCreateDirectoryEx函数使用方法》::SHCreateDirectoryEx用于创建多级目录,类似于mkdir-p命令,本文主要介绍了C++中::SHCreateDir... 目录1. 函数原型与依赖项2. 基本使用示例示例 1:创建单层目录示例 2:创建多级目录3. 关键注

C++从序列容器中删除元素的四种方法

《C++从序列容器中删除元素的四种方法》删除元素的方法在序列容器和关联容器之间是非常不同的,在序列容器中,vector和string是最常用的,但这里也会介绍deque和list以供全面了解,尽管在一... 目录一、简介二、移除给定位置的元素三、移除与某个值相等的元素3.1、序列容器vector、deque

C++常见容器获取头元素的方法大全

《C++常见容器获取头元素的方法大全》在C++编程中,容器是存储和管理数据集合的重要工具,不同的容器提供了不同的接口来访问和操作其中的元素,获取容器的头元素(即第一个元素)是常见的操作之一,本文将详细... 目录一、std::vector二、std::list三、std::deque四、std::forwa

C++字符串提取和分割的多种方法

《C++字符串提取和分割的多种方法》在C++编程中,字符串处理是一个常见的任务,尤其是在需要从字符串中提取特定数据时,本文将详细探讨如何使用C++标准库中的工具来提取和分割字符串,并分析不同方法的适用... 目录1. 字符串提取的基本方法1.1 使用 std::istringstream 和 >> 操作符示

C++原地删除有序数组重复项的N种方法

《C++原地删除有序数组重复项的N种方法》给定一个排序数组,你需要在原地删除重复出现的元素,使得每个元素只出现一次,返回移除后数组的新长度,不要使用额外的数组空间,你必须在原地修改输入数组并在使用O(... 目录一、问题二、问题分析三、算法实现四、问题变体:最多保留两次五、分析和代码实现5.1、问题分析5.

C++ 各种map特点对比分析

《C++各种map特点对比分析》文章比较了C++中不同类型的map(如std::map,std::unordered_map,std::multimap,std::unordered_multima... 目录特点比较C++ 示例代码 ​​​​​​代码解释特点比较1. std::map底层实现:基于红黑

C++中函数模板与类模板的简单使用及区别介绍

《C++中函数模板与类模板的简单使用及区别介绍》这篇文章介绍了C++中的模板机制,包括函数模板和类模板的概念、语法和实际应用,函数模板通过类型参数实现泛型操作,而类模板允许创建可处理多种数据类型的类,... 目录一、函数模板定义语法真实示例二、类模板三、关键区别四、注意事项 ‌在C++中,模板是实现泛型编程

利用Python和C++解析gltf文件的示例详解

《利用Python和C++解析gltf文件的示例详解》gltf,全称是GLTransmissionFormat,是一种开放的3D文件格式,Python和C++是两个非常强大的工具,下面我们就来看看如何... 目录什么是gltf文件选择语言的原因安装必要的库解析gltf文件的步骤1. 读取gltf文件2. 提

C++快速排序超详细讲解

《C++快速排序超详细讲解》快速排序是一种高效的排序算法,通过分治法将数组划分为两部分,递归排序,直到整个数组有序,通过代码解析和示例,详细解释了快速排序的工作原理和实现过程,需要的朋友可以参考下... 目录一、快速排序原理二、快速排序标准代码三、代码解析四、使用while循环的快速排序1.代码代码1.由快