静态代码测试工具HelixQAC新版对MISRA C规则提供100%覆盖率

news2024/9/27 7:25:48

在这里插入图片描述

Helix QAC 2023.2中的新增功能

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

编码标准覆盖范围(MISRA C:2012、MISRA C:2023和CWE)

一、MISRA C:2012,2023

Helix QAC提供了对MISRA C:2012 AMD 4和MISRA C:2023的100%覆盖,MISRA C:2023将MISRA标准之前版本的修订、修正和技术勘误融合成一个统一综合的版本。MISRA C:2023最近于今年出版。

• M3CM 合规性模块已更新,适用于 MISRA C:2023。

二、CWE

CWE C和C++合规性模块与最新版本的 CWE 4.11 保持一致。

Perforce Validate

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

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

2023.2提供:

• 支持在Validate中显示Helix QAC的度量。
• 更新 Helix QAC Visual Studio插件,支持与Validate集成。
• 完全支持Validate 中的 Helix QAC自定义消息。

C23/C++23语言支持

此版本增加了对以下语言特征的支持:

• C23 的数字分隔符

• C23 / C++23中的#elifdef、#enlifndef和#warning指令

提高质量

一、命令行接口

• 允许诊断的同步和抑制的启用/禁用

• 用于输出规则组名称和规则ID的新的格式说明符%M

二、图形用户界面

• 允许自定义RCF 的名称及版本

• 允许诊断的同步和抑制的启用/禁用

三、HIS度量

• 此版本具有Helix QAC增强功能,可直接生成复合的HIS度量(以前在报告脚本中计算)。

Helix QAC 的重要变化

许可证管理的变化

RLM v15 服务器的新安装程序将会与 Helix QAC 2023.2 版本一起提供。如果希望将 Helix QAC 与Validate 2023.2 一起使用,则此服务器版本是必需的,否则是可选的。

MISRA C++2023 — 新合规模块的早期版本可供预览

MISRA组织预计将在今年晚些时候发布MISRA C++ 2023 的编码指南。新标准发布后,将引入新的合规模块以执行此标准。在 Helix QAC 2023.2 版本中,合规性模块的早期版本可根据请求提供预览,该模块迄今为止已为完成的规则提供了 98% 的覆盖。

想要了解更多有关Helix QAC的新增功能,请发送邮件至 contact@watertek.com 。并且,如果您想申请Helix QAC的演示或体验试用,请访问http://qa-systems.cn/或关注下方公众号:

版本所有,抄袭必究
请添加图片描述
提供代码检测的厂商:http://www.softtest.cn/
代码检测工具列表:http://www.softtest.cn/multi/435.html
工具介绍:http://qa-systems.cn/multi/575.html
工具试用链接:http://qa-systems.cn/info/532.html

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

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

相关文章

什么是客户自助服务?

自助服务是指通过自动化技术和系统,使顾客或用户能够自主完成某些服务或操作,而无需直接依赖人工的帮助。它提供了一种方便、快捷和高效的方式,让用户可以自行完成特定任务或获取所需的信息。 自助服务可以在各种场景中应用,例如…

unity拓展 unity自带的类(Tranform为例)

因为我们使用了ILRuntime热更,unity 打出的WebGL包,运行就会报找不到DoTween里面的方法,所以吧DoTween拓展到tranform类里面,这样就不会报错了,下面是示例 using DG.Tweening; using System.Collections; using Syste…

Python搭建http文件服务器实现手机电脑文件传输功能

第一种代码的界面如下:(有缺点,中文乱码) # !/usr/bin/env python3 # -*- coding:utf-8 _*-"""Simple HTTP Server With Upload. python -V3.6 This module builds on http.server by implementing the standard G…

java 工程管理系统源码+项目说明+功能描述+前后端分离 + 二次开发 em

Java版工程项目管理系统 Spring CloudSpring BootMybatisVueElementUI前后端分离 功能清单如下: 首页 工作台:待办工作、消息通知、预警信息,点击可进入相应的列表 项目进度图表:选择(总体或单个)项目显…

适合使用CRM系统的行业有哪些?

激烈的竞争环境下,企业急需一款工具来管理客户关系。CRM正是这样一款软件,可以帮助企业管理客户,提高客户满意度,从而实现业绩增长。那么,哪些行业适合使用CRM系统?为什么? 一、零售行业 CRM系…

redis-基础

1、redis简述 redis 是一门C语音开发的,redis开发者,一开始的本意是作用消息队列,后面随着IT圈的迅速发展,redis不满足诉求;最后开发成k/v形式的内存存储的工具 特性:速度快、单进程单线程、支持集群、持…

32.Netty源码之服务端如何处理客户端新建连接

highlight: arduino-light 服务端如何处理客户端新建连接 Netty 服务端完全启动后,就可以对外工作了。接下来 Netty 服务端是如何处理客户端新建连接的呢? 主要分为四步: md Boss NioEventLoop 线程轮询客户端新连接 OP_ACCEPT 事件&#xff…

CS:GO升级 Linux不再是“法外之地”

在前天的VAC大规模封禁中,有不少Linux平台的作弊玩家也迎来了“迟到”的VAC封禁。   一直以来,Linux就是VAC封禁的法外之地。虽然大部分玩家都使用Windows平台进行游戏。但实际上,使用Linux畅玩CS:GO的玩家也不在少数。 以前V社主要打击W…

【React学习】—组件三大核心属性: state(七)

【React学习】—组件三大核心属性: state(七) 2.2.2. 理解 state是组件对象最重要的属性, 值是对象(可以包含多个key-value的组合)组件被称为"状态机", 通过更新组件的state来更新对应的页面显示(重新渲染组件) 2.2.3. 强烈注意 组件中rend…

版本控制工具Git集成IDEA的学习笔记(第一篇Gitee)

目录 一、Gitee的使用 1、注册网站会员 2、用户中心 3、创建远程仓库 4、配置SSH免密登录 二、集成IDEA,Git项目搭建 1、本地仓库搭建 1)创建一个新项目 2)打开终端,在当前目录新建一个Git代码库 3)忽略文件 …

《HeadFirst设计模式(第二版)》第八章代码——模板方法模式

代码文件目录: CaffeineBeverage package Chapter8_TemplateMethodPattern;/*** Author 竹心* Date 2023/8/17**/public abstract class CaffeineBeverage {final void prepareRecipe(){boilWater();brew();pourInCup();//这里使用钩子customerWantsCondiments()来…

JavaScript 快速入门手册

本篇文章学习: 菜鸟教程、尚硅谷。 JavaScript 快速入门手册 💯 前言: 本人目前算是一个Java程序员,但是目前环境… ε(ο`*))) 一言难尽啊,blog也好久好久没有更新了,一部分工作原因吧(外包真…

【word密码】word怎么限制格式,但可以修改文字?

想要限制word文件中文字的格式,但是又希望别人能够删除、输入文字,想要实现这种设置我们可以对word文件设置限制编辑。 点击word文件工具栏中的审阅 – 限制编辑,勾选上【限制对选定的样式设置格式】 然后在弹出的提示框中,输入我…

【Rust】Rust学习 第十四章智能指针

指针 (pointer)是一个包含内存地址的变量的通用概念。这个地址引用,或 “指向”(points at)一些其他数据。Rust 中最常见的指针是第四章介绍的 引用(reference)。引用以 & 符号为标志并借用…

C#__事件event的简单使用:工具人下楼问题

// 工具人类 namespace DownStair {delegate void DownStairDelegate(); // 定义了一个下楼委托class ToolMan{public string Name { get; set; } // 声明工具人的名字属性// public DownStairDelegate downStairDelegate null; // 初始化委托downStair为空委托// 解决方案pu…

分布式可视化 DAG 任务调度系统 Taier 的整体流程分析

Taier 作为袋鼠云的开源项目之一,是一个分布式可视化的 DAG 任务调度系统。旨在降低 ETL 开发成本,提高大数据平台稳定性,让大数据开发人员可以在 Taier 直接进行业务逻辑的开发,而不用关心任务错综复杂的依赖关系与底层的大数据平…

Unknown tree updater grow_gpu_histb报错

报错显示:由于xgboost的问题而报错 报错显示:Unknown tree updater grow_gpu_histb 原因是 XGBoost 在尝试使用 GPU 加速时无法识别指定的树更新器。也就是当前xgboost版本中没有grow_gpu_histb组件,所以需要安装正确的版本。 经搜索&#…

Git如何上传文件到github

Git下载网址: https://git-scm.com/downloads 1. 新建一个空文件夹,用来上传文件,第一次需创建,以后无需创建 2. 点进去空文件夹,鼠标右键,使用Git Bash Here 打开 3. 克隆远程仓库:git cl…

【业务功能篇67】异构数据源表结构迁移

业务涉及到需要将数据库迁移,并且还换了不同厂商的,比如Oracle 迁移到 Mysql, 方式一:Navicat工具 最简单的做法,由于是不同数据库类型的,sql语法可能会有点差别,直接用Navicat客户端,把两个数据库连接&a…

mac上如何压缩视频大小?

mac上如何压缩视频大小?由于视频文件体积庞大,常常会占据我们设备的大量存储空间。通常情况下,我们选择删除视频以释放内存,但这将永久丢失它们。然而,有一种更好的方法可以在不删除视频的情况下减小内存占用&#xff…