首页 > 编程语言 >Helix QAC 2023.4 新版支持C++20语言,带来更多性能提升!

Helix QAC 2023.4 新版支持C++20语言,带来更多性能提升!

时间:2024-01-10 15:13:45浏览次数:35  
标签:20 2023 C++ MISRA Helix QAC 2023.4

Helix QAC 2023.4 新增功能

Helix QAC 2023.4全面支持MISRA C++:2023®规则,涵盖100%的指南。此版本还加强了对C++20语言的支持,改进了数据流分析性能,并在整个产品中增加了多项用户体验改进。

增强的C++20支持

此版本新增了对以下语言特性的支持:

- 模板参数列表和函数声明的requires-clause约束

- 非类型约束的缩写函数模板声明

​改进的带有缓存的数据流性能

​- 通过求解器缓存,减少了增量分析的数据流分析时间。

- 在被选定测试项目中,第二次分析运行的分析时间减少超过50%。

- 数据流还能在函数超时期间完成更多分析,得益于缓存。

增强的GNU和ISO C算术类型支持

- 针对代码中用到的不常用语言特性,如复杂类型、供应商扩展类型和使用不寻常运算符的复杂表达式,改进了QAC对字面量和算术类型的处理,显著提高了支持度。

编码标准覆盖(MISRA C++:2023®, HKMC, CERT)

MISRA C++:2023

Helix QAC发布了MISRA C++:2023规则的100%执行覆盖,配备了适用于2023.3和2023.4版本的新MCPP合规模块。

更新的合规模块

- HKMC映射更新

- CERT类别增加了严重性、优先级和级别
- 针对MISRA C:2023合规模块的日文翻译进行了改进
- 提高了对下列标准的执行:

      - MISRA C:2023规则9.3、10.3、10.5
      - AUTOSAR规则A3-8-1、AV-1-2
      - MISRA C++规则6-2-2

框架

- 改进了宏扩展和模板实例化历史的跟踪,以帮助诊断问题。

- 通过增强的基于注释的抑制引擎,允许每行多个偏离原因。

用户体验的改进

支持自动CCT生成的其他编译器

  - Synopsys Metaware
  - Cadence Tensilica
  - TI C6000
  - Qualcomm Hexagon
  - Clang 15
  - Embarcadero BCC64

Visual Studio Code IDE插件

  - 改进VS Code插件以支持远程分析器执行

Visual Studio和Eclipse IDE插件

  - 总体稳定性改进

Validate

  - 支持通过CLI和GUI创建Validate项目

CLI

  - 新增qacli view选项以输出规则违规详细信息
  - 增强的%K类别说明符,以更轻松地映射到规则
  - 当没有HOME环境变量时,优雅地处理失败

GUI

  - 项目列表中新增上下文菜单项以打开项目位置
  - 树视图面板中的文件名搜索
  - 新的上下文菜单项以打开所选文件的预处理文件
  - 从源代码跳转到预处理源文件

Helix QAC 2023.4的重要变更

合规模块目录更改:

从Helix QAC 2023.4开始,工具将不再从旧的“PRQA”目录读取合规模块。合规模块仅将从“Perforce”文件目录等效位置读取。

以下是现在过时的文件目录:

- %LOCALAPPDATA%\PRQA\installed_components.ini
- %PROGRAMDATA%\PRQA\installed_components.ini
- ${HOME}/.config/PRQA/installed_components.ini
- /etc/prqa.d/installed_components.ini

了解更多静态测试工具技术信息商务服务,请访问http://www.softtest.cn/留言,或按以下方式联系旋极智能

获取更多资讯▼关注我们

 

标签:20,2023,C++,MISRA,Helix,QAC,2023.4
From: https://www.cnblogs.com/qianrushizhuangbeidianzixitong/p/17956507

相关文章

  • CAXA CAD电子图板2023:让设计更简单,工作更高效
    CAXACAD电子图板2023是一款功能强大的数字化绘图软件,专为工程师和设计师打造。作为CAXA软件公司旗下的核心产品,CAXACAD电子图板2023在继承了之前版本的优秀性能和功能的基础上,进一步提升了用户的工作效率和设计品质。点击获取CAXACAD电子图板2023首先,CAXACAD电子图板2023提......
  • 2024年1月Java项目开发指南1:环境与工具准备
    准备工作基础能力开发能力的事咱先不谈,有两个基础技能要学一下。1.学习使用Markdown编写文档2.学会使用git拉取代码和提交代码软件准备电脑需要安装以下软件:IDEA2023.2及其以上(Java开发统一使用IDEA)Webstorm2023.2及其以上(也可以使用VScode或者Hbuilder或者Dreamweav......
  • 2024年1月Java项目开发指南2:项目设计
    确定软件架构1.前端用什么技术,什么框架,什么版本2.后端用什么技术,什么框架,什么版本3.用些什么软件,软件版本?比如:前端:vue3+Element-Plus+Axios后端:Java17SpringbootMyBatis-plusMaven3数据库:MySQL5.5后端开发工具:IDEA2023.2.2前端开发工具:Webstorm2023.2.2接口管理......
  • QuarkXPress 2024让每一页都成为艺术品
    QuarkXPress2024是一款功能强大的印刷和出版软件,广泛应用于印刷出版行业。作为Quark软件公司旗下的核心产品,QuarkXPress2024在继承了之前版本的优秀性能和功能的基础上,进一步提升了用户体验和工作效率。点击获取QuarkXPress2024首先,QuarkXPress2024提供了全新的用户界面,使......
  • 关于REACT2024挑战赛
    关于REACT2024首先,挑战赛官网如下:https://sites.google.com/cam.ac.uk/react2024/home这个挑战赛的任务是:建立一个机器学习模型,在双人交互的背景下,通过说话者的视频、音频、表情等数据,生成听者的面部反应并要保证反应的合理性(FRDistandFRCorr)、多样性(FRVar,FRDiv,andFRD......
  • P3203 弹飞绵羊 题解
    QuestionP3203[HNOI2010]弹飞绵羊一条直线上摆着\(n\)个弹簧,每个弹簧有一个弹力系数\(k_i\),当绵羊走到第\(i\)个弹簧时,会被弹到第\(i+k_i\)个弹簧,如果\(i+k_i>n\)则会被弹飞,有两个操作1x查询\(x\)处的绵羊经过几次会被弹飞2xy把\(x\)处的弹力系数改成......
  • C++和Qt面试题(精简版)
    C++面试题什么是c++?请简述它的优点和缺点c++是一种面向对象的编程语言,实现了继承、抽象、多态和封装等概念。**优点:**能够开发复杂的应用程序,提供了极大地灵活性,让开发者能够控制资源的使用和可用性,从而最大限度的提高性能。**缺点:**由于C++太过自由,导致指针对内存操作时可能造成内......
  • MIDRONE 420 技术支持
    这是我们的新App MIDRONE420 通过这个App我们可以随心所欲的控制我们的飞行玩具飞行,飞机上的摄像头可以实时传输图像到手机端,让我们体验飞翔的感觉!让用户拍出更美的照片。这里我们提供App使用的技术支持,使用App的过程中如有什么问题可以和我们联系电话:15919920795邮箱:101009......
  • 2024-01-10(电动车充电器&铁板烧)
    一、电动车充电器问题:(问题):充电器上电时炸了,新买了一个。坏的那家1年内免费换新还需等财务统一核销。(反思):充电器这种东西不能放在户外日晒雨淋,晚上把小电动清理干净。 二、鹿仙子铁板烧问题:(问题):500W/220V铁板上融锡膏好像要一分钟。这一分钟之前元器件都不会被烧坏吗?(解......
  • 复旦大学2023--2024学年第一学期高等代数I期末考试情况分析
    一、期末考试成绩班级前十名的同学褚乐一(91)、陈天乐(91)、文俊(90)、林加耀(90)、覃昊东(89)、高宇飞(88)、周家宏(85)、邓海斌(85)、陈康(85)、牛博彬(85)二、总评成绩计算方法平时成绩根据交作业的次数决定。本学期提交作业共13次,10次100分,少1次扣10分。总评成绩=平时成绩......