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

news2024/11/27 1:34:37

图片

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/留言。

 

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/1177526.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

JDK设置编码格式UTF-8

Windows中安装的JDK默认编码格式是GBK 需要修改为UTF-8.在系统中添加系统变量 环境变量 变量名:JAVA_TOOL_OPTIONS 变量值:-Dfile.encodingUTF-8

UE问题盘点

打包后运行时应用程序崩溃 GPU崩溃(Timed out waiting for RenderTread after 120.00 secs) 分析&解决: 像素流送模式,部署机无显示器无分辨率所致(接显示器或显卡欺骗器)项目设置Targeted RHIs为Di…

七种事务传播行为,核心只有Required默认和required_new

事务的概念:当一个事务方法被另一个事务方法调用时,这个事务方法应该如何进行事务控制。 结论:一般情况下,你就用默认的把两个事务合并成一个事务,只有当写日志(事物之间不互相影响)的时候用req…

部署kubevirt教程

前提条件 已安装:kubernetes集群、kubectl、docker apt install -y qemu-kvm libvirt virt-install bridge-utils 【所有节点全部安装】 virt-host-validate qemu部署kubevirt 下载kubevirt-cr.yaml和kubevirt-operator.yaml 先执行: Kubectl apply …

大型企业效率革命:从数字化应用提升到信息化管理平台升级-亿发

数字化转型本质上是一场企业效率的革命,它以连接效率、数据效率和决策效率为核心。所有的转型活动都与人的参与和贡献紧密相关。因此,如何利用数字化手段提升全体员工的数字化应用能力,从而加速商业创新和实现高质量发展,成为管理…

Python武器库开发-常用模块之re模块(十八)

常用模块之re模块(十八) 在Python中需要通过正则表达式对字符串进⾏匹配的时候,可以使⽤⼀个python自带的模块,名字为re模块 我们可以在Python中使用以下的语句,导入re模块: import re正则表达式的大致匹配过程是: …

mybatis在springboot当中的使用

1.当使用Mybatis实现数据访问时,主要: - 编写数据访问的抽象方法 - 配置抽象方法对应的SQL语句 关于抽象方法: - 必须定义在某个接口中,这样的接口通常使用Mapper作为名称的后缀,例如AdminMapper - Mybatis框架底…

petalinux 2022.2 在 ubantu18.04 下的安装

下载 Ubuntu下载: https://releases.ubuntu.com/18.04/ubuntu-18.04.6-desktop-amd64.iso petalinux 下载: https://www.xilinx.com/support/download/index.html/content/xilinx/en/downloadNav/embedded-design-tools/2022-2.html 安装虚拟机 安装…

leetcode2054

leetcode 2054 #include <iostream> #include <vector> #include <tuple> #include <algorithm>using namespace std;struct Event {// 时间戳int ts;// op 0 表示左边界&#xff0c;op 1 表示右边界int op;int val;Event(int _ts, int _op, int _v…

淘宝婴儿用品购买情况分析报告

一.分析背景和目的 随着购物网站的发展&#xff0c;人们的网络购物行为占比也快速增加。为了能够获取更多的用户&#xff0c;提升商家的销售量&#xff0c;需要从产品和用户不同的角度进行分析&#xff0c;进而得到有价值的信息&#xff0c;指导商家进行获客和营销。本文就以淘…

行情分析——加密货币市场大盘走势(11.6)

大饼昨日下跌过后开始有回调的迹象&#xff0c;现在还是在做指标修复&#xff0c;大饼的策略保持逢低做多。稳健的依然是不碰&#xff0c;目前涨不上去&#xff0c;跌不下来。 以太周五给的策略&#xff0c;入场的已经止盈了&#xff0c;现在已经达到1884&#xff0c;已经全部吃…

Qwt 使用QwtCompass绘制指南针

1.概述 QwtCompass是Qwt库中的一个类&#xff0c;用于绘制一个指南针样式的仪表盘。它是基于QwtDial类的衍生类&#xff0c;提供了一些额外的功能和样式&#xff0c;用于显示方向和角度。 以下是类继承关系&#xff1a; ​ 2.常用方法 void setScaleArc (double minArc, dou…

6张图让你了解openRA 下载及编译

下面的3张图是免费赠送的用vs解决方案编译的方法

C语言每日一题(24)回文素数题解

BC158 [NOIP1999]回文数 题目描述 若一个数&#xff08;首位不为零&#xff09;从左向右读与从右向左读都一样&#xff0c;我们就将其称之为回文数。 例如&#xff1a;给定一个10进制数56&#xff0c;将56加65&#xff08;即把56从右向左读&#xff09;&#xff0c;得到121是…

MoeCTF 2023 Reverse题解

Reverse入门指北 搜索main函数跟进 双击跟进aMoectfF1rstSt3 得到flag base_64 python反编译 - Online Tools 使用在线软件反编译 就是一个变换编码表的base64加密 直接用现有的工具解密 UPX! 查壳&#xff0c;加了UPX壳&#xff0c;直接用官网工具脱壳 打开字符串窗口&am…

网络安全(黑客)-0基础小白自学

1.网络安全是什么 网络安全可以基于攻击和防御视角来分类&#xff0c;我们经常听到的 “红队”、“渗透测试” 等就是研究攻击技术&#xff0c;而“蓝队”、“安全运营”、“安全运维”则研究防御技术。 2.网络安全市场 一、是市场需求量高&#xff1b; 二、则是发展相对成熟…

智能安全帽功能-EIS智能防抖摄像头4G定位视频语音气体检测

智能安全帽是一种集成多种智能功能的产品&#xff0c;例如实时定位、语音对讲、健康监测和AI智能预警等。这些丰富的功能能够更好地帮助工人开展工作&#xff0c;并提升安全保障水平。智能安全帽在各个行业中的应用越来越广泛。尤其在工程建设领域&#xff0c;项目管理和工作安…

数据库系统原理与实践 笔记 #7

文章目录 数据库系统原理与实践 笔记 #7数据库设计和E-R模型(续)转换为关系模式具有简单属性的实体集的表示复合属性多值属性联系集的表示模式的冗余—合并 实体-联系设计问题设计问题联系属性的布局 扩展的E-R特性特化概化属性继承特化/概化的设计约束聚集E-R图表示方法总结E-…

掌握文件批量改名的技巧:实现跨文件夹文件统一命名及编号的实用方法“

在日常工作中&#xff0c;我们经常需要处理大量的文件&#xff0c;而这些文件的名字可能各不相同&#xff0c;给我们的管理工作带来了很大的不便。为了解决这个问题&#xff0c;今天我们为您推荐一款全新的文件批量改名工具&#xff0c;它可以帮助您在不同文件夹里的文件进行统…

Tomcat,jdk下载配置(发布项目)

Tomcat&#xff0c;jdk下载&#xff0c; 远程连接 启动以下服务 高级设置 允许别人连接进来 网上搜索jdk下载即可 双击下一步即可 下一步 输入java&#xff0c;看有没有安装成功 这是安装成功的 Tomcat就可以安装了 和以上操作一样&#xff0c;在网上下载安装包&#xff0c;…