当前位置: 首页 > news >正文

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

 

http://www.lryc.cn/news/220695.html

相关文章:

  • maven 项目添加 git-hook 脚本,约束提交内容格式
  • 18、Flink的SQL 支持的操作和语法
  • 泛微OA_lang2sql 任意文件上传漏洞复现
  • Rust编程基础核心之所有权(上)
  • 优化改进YOLOv5算法之添加DCNv3模块,有效提升目标检测效果
  • VSCode 连接不上 debian 的问题
  • 【ElasticSearch系列-06】Es集群架构的搭建以及集群的核心概念
  • 软考高级系统架构设计师系列案例考点专题六:面向服务架构设计
  • 【入门Flink】- 07Flink DataStream API【万字篇】
  • AI:55-基于深度学习的人流量检测
  • node版本管理工具nvm
  • stable-diffusion-webui安装Wav2Lip
  • Nacos-2.2.2源码修改集成高斯数据库GaussDB,postresql
  • Linux 内核中根据文件inode号获取其对应的struct inode
  • Pycharm-community-2021版安装和配置
  • 飞书开发学习笔记(一)-应用创建和测试
  • 【Mybatis小白从0到90%精讲】12:Mybatis删除 delete, 推荐使用主键删除!
  • RocketMQ批量发送消息❓
  • 一键同步chromedriver版本
  • Zephyr-7B-β :类GPT的高速推理LLM
  • 【笔试题】位运算
  • RT-Thread 10. 使用keil4编译GD32F450
  • Vue 跨域的两种解决方式
  • 【windows Docker 安装mysql:只需3条命令】
  • 【软件逆向】如何逆向Unity3D+il2cpp开发的安卓app【IDA Pro+il2CppDumper+DnSpy+AndroidKiller】
  • vue3ref和reactive
  • [架构之路-244]:目标系统 - 设计方法 - 软件工程 - 软件开发方法与软件开发模型
  • Matter 系列 #10|Matter 的证书吊销机制
  • mybatis动态表名
  • 高校为什么需要大数据挖掘平台?