0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看技术视频
  • 写文章/发帖/加入社区
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示

代码静态测试工具 Helix QAC 2024.1版新功能解读

北汇信息POLELINK 2024-04-25 12:32 次阅读

Helix QAC 2024.1改进了对C++20和C23语言特性的支持,并增加了分析使用多个编译器的项目的新功能。此外,Validate增强了对于搜索功能和角色权限的用户体验,并且包括一个新的问题列表的CSV下载选项。

此版本还包括对于C/C++的CWE、C的HKMC和MISRA C++:2023®合规模块的扩展执行,以及许多常规产品质量提升。

语言增强
C++20
此版本增加了对以下语言功能的改进支持:
• C++20的概念
• C++20简化函数模板

C23
此版本增加了对以下语言特性的初始支持:
• 当设置 -c23constexpr 时支持应用C23 constexpr


除了扩展的语言功能支持外,对于GCC 12/13版本以及MSVC 2022版本的用户体验也得到了改进。

多编译器项目支持
Helix QAC现在能够为使用多个编译器的项目提供配置分析设置。
• 支持一个项目中每种语言可以使用多个CCT。
• 提供一致的分析结果,降低在各种编译器环境中出现误报或漏报的可能性。
• 允许需要静态分析的跨平台开发项目具有更大的灵活性。
• 帮助识别编译器特定问题。
• 允许开发人员在为项目选择编译器时拥有更大的工具链的灵活性。

Validate新的提升和功能
以CSV格式下载问题列表
新的CSV下载按钮位于Validate的Issues页面顶部,根据当前的搜索查询下载缺陷列表。如需额外的问题信息,例如行号、评论和理由,需要订阅Validate高级合规报告包。

扩展搜索
Validate模块的正则表达式(RegEx)搜索功能提供了对*和**通配符字符的支持,以便在指定文件系统路径时使用。有关更多信息,请参阅modules 文档。

新角色权限
添加了“变更问题所有者(change issue owner )”权限,该权限允许用户更改问题的所有者,而无需更改问题状态。

出于审查目的保留许可证日志
现在,您可以将日志保留在许可证服务器的license.report.log文件中,以便达到审查的目的。这样,在服务器重启后,不会覆盖该文件。要了解append.license.logging的设置,请参阅validate service.。

编码标准的覆盖范围(CWE、HKMC、MISRA C++:2023®)
对于以下合规模块,改进了规则和指令的执行:

与NIST 500-268要求相关的C/C++的CWE模块
• CWE-259、CWE-412、CWE-367、CWE-99、CWE-321

C的HKMC模块
• C-MSC-011

MISRA C++:2023模块
• Dir 0.3.2

产品质量的提升
改进了对CCT自动生成的额外编译器的支持
Keil armcc
• 改进了对Clang 12的支持
• GCC 12/13
• MSVC 2022
• ‘qainject’现在是默认的同步方法

表现
• 对于涉及大量分支的结构,分析时间总体上有所减少。

libc++
增强了对libc++标准库的支持。
• 增加了-iso646keywords的选项,以匹配-fno-operator-names行为。
• 启用时,不使用操作符的替代关键字名称。

编译器扩展
C语言的"复合字面量"特性现在作为QAC++的扩展得到支持。

符号引用
• 改进了对VCS和非VCS创建的符号链接的支持。

Visual Studio和Eclipse IDE插件
• 总体稳定性提高

CLI
• “qacli project”的新命令支持:
• 创建、修改、升级、配置文件

操作系统
• 支持Ubuntu Linux 22.04

Helix QAC 2024.1的重要变化
QACLI Admin命令被弃用
对于“qacli admin”,以下命令已被弃用,并将在未来版本中删除:
• --qaf-project-config, --upgrade, --create-config-file, --edit-config-file, --list-config-files

合规模块目录更改
提醒:自Helix QAC 2023.4起,Helix QAC不再从旧的“PRQA”目录中读取合规模块。合规性模块只能从“Perforce”文件目录中读取。
以下是现已过时的文件目录:
• %LOCALAPPDATA%\PRQA\installed_components.ini
• %PROGRAMDATA%\PRQA\installed_components.ini
• ${HOME}/.config/PRQA/installed_components.ini
• /etc/prqa.d/installed_components.ini

许可证管理的变更
随着Helix QAC 2024.1版本的发布,为RLM v15.1服务器提供了一个新的安装程序。如果使用Validate 2024.1与Helix QAC搭配,则此服务器版本是必需的;否则是可选的。

免费新版试用,欢迎私信北汇获取。

声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
  • 嵌入式
    +关注

    关注

    4984

    文章

    18300

    浏览量

    288923
  • 代码
    +关注

    关注

    30

    文章

    4557

    浏览量

    66870
  • 编译器
    +关注

    关注

    1

    文章

    1577

    浏览量

    48645
  • 嵌入式软件测试

    关注

    1

    文章

    24

    浏览量

    6051
收藏 人收藏

    评论

    相关推荐

    代码静态测试工具 Klocwork 2024.1新功能解读

    Klocwork 2024.1为Perforce的持续安全和代码合规性平台Validate引入了新的功能和改进。现在,Validate的升级过程更快、更稳健、对用户更友好。您可以去除项目、优先迁移、无需服务器重启单独迁移项目、无
    的头像 发表于 04-26 10:42 106次阅读
    <b class='flag-5'>代码</b><b class='flag-5'>静态</b><b class='flag-5'>测试工具</b> Klocwork <b class='flag-5'>2024.1</b>版<b class='flag-5'>新功能解读</b>

    嵌入软件单元测试工具的作用

    嵌入软件单元测试工具是现代软件开发过程中不可或缺的一环。它的作用在于帮助开发人员对软件中的各个单元进行测试,以确保其功能的正确性和稳定性。单元测试是软件开发过程中的一种
    的头像 发表于 04-23 15:31 100次阅读
    嵌入软件单元<b class='flag-5'>测试工具</b>的作用

    DEKRA被CSA指定为Zigbee统一测试工具开发和优化新功能测试用例

    DEKRA德凯被CSA联盟(Connectivity Standards Alliance,CSA)指定负责为Zigbee统一测试工具(Zigbee Unified Test Harness,ZUTH)开发和优化新功能测试用例
    的头像 发表于 04-09 14:10 169次阅读

    Klocwork—符合功能安全要求的自动化静态测试工具

    Klocwork是Perforce公司产品,主要用于C、C++、C#、Java、 python和Kotlin代码的自动化静态分析工作,可以提供编码规则检查、代码质量度量、测试结果管理等
    的头像 发表于 01-16 16:26 239次阅读
    Klocwork—符合<b class='flag-5'>功能</b>安全要求的自动化<b class='flag-5'>静态</b><b class='flag-5'>测试工具</b>

    Helix QAC—软件静态测试工具

    Helix QAC是Perforce公司(原PRQA公司)产品,主要用于C/C++代码的自动化静态分析工作,可以提供编码规则以及信息安全相关检查、
    的头像 发表于 01-10 17:35 279次阅读
    <b class='flag-5'>Helix</b> <b class='flag-5'>QAC</b>—软件<b class='flag-5'>静态</b><b class='flag-5'>测试工具</b>

    网络安全测试工具有哪些类型

    网络安全测试工具是指用于评估和检测系统、网络和应用程序的安全性的一类软件工具。这些工具可以帮助组织和企业发现潜在的安全漏洞和威胁,以便及时采取措施加固和修复。根据不同的功能和用途,网络
    的头像 发表于 12-25 15:00 577次阅读

    redis集群性能测试工具有哪些

    Redis是一种高性能的内存键值存储系统,它被广泛应用于各种互联网应用和大规模的数据存储中。为了评估Redis在不同场景下的性能,我们需要使用一些性能测试工具来对Redis集群进行基准测试和负载测试
    的头像 发表于 12-04 11:36 302次阅读

    如何使用芯片测试工具测试芯片静态功耗?

    为什么需要芯片静态功耗测试?如何使用芯片测试工具测试芯片静态功耗? 芯片静态功耗
    的头像 发表于 11-10 15:36 1384次阅读

    静态代码分析工具Helix QAC 2023.3:将100%覆盖MISRA C++:2023®规则

    Helix QAC 2023.3预计将于2023年第四季度发布的新MISRA C++®指南,将100%覆盖MISRA C++:2023®规则。 此外,此版本扩展了对C++20语言支持,并改进了Perforce Validate平台和He
    的头像 发表于 11-08 18:37 232次阅读
    <b class='flag-5'>静态</b><b class='flag-5'>代码</b>分析<b class='flag-5'>工具</b><b class='flag-5'>Helix</b> <b class='flag-5'>QAC</b> 2023.3:将100%覆盖MISRA C++:2023®规则

    笔记本转轴扭力测试仪是实用的测试工具

    笔记本转轴扭力测试仪是实用的测试工具吗?|深圳磐石测控
    的头像 发表于 11-06 09:10 244次阅读
    笔记本转轴扭力<b class='flag-5'>测试</b>仪是实用的<b class='flag-5'>测试工具</b>吗

    T900串口测试工具的使用教程

    T900原厂提供了“串口测试工具”,以便更好地评估T900的相关性能。下面就简单谈下该工具如何使用。
    的头像 发表于 09-13 11:04 1219次阅读
    T900串口<b class='flag-5'>测试工具</b>的使用教程

    微电阻计功能解读

    微电阻计功能解读 微电阻计是一种测量电阻的仪器,它可以将电阻值转换成电压或电流进行测量,并能够进行多种测量、刻度和校准。微电阻计主要用于科学实验、工业生产和仪器校准等领域,是一款非常重要的电子测试
    的头像 发表于 08-24 14:25 633次阅读

    静态代码分析器工具Helix QAC 2023.2: 提供 100% 的 MISRA C:2012 和 MISRA C:2023 规则覆盖率

    本还包括改进的 C23 语言支持、对Validate平台的改进以及 Helix QAC 和 Validate 的集成,以及其他功能改进。
    的头像 发表于 07-31 22:53 781次阅读
    <b class='flag-5'>静态</b><b class='flag-5'>代码</b>分析器<b class='flag-5'>工具</b><b class='flag-5'>Helix</b> <b class='flag-5'>QAC</b> 2023.2: 提供 100% 的 MISRA C:2012 和 MISRA C:2023 规则覆盖率

    什么是静态代码分析?静态代码分析概述

    静态分析可帮助面临压力的开发团队。高质量的版本需要按时交付。需要满足编码和合规性标准。错误不是一种选择。 这就是开发团队使用静态分析工具/源代码分析
    的头像 发表于 07-19 12:09 946次阅读
    什么是<b class='flag-5'>静态</b><b class='flag-5'>代码</b>分析?<b class='flag-5'>静态</b><b class='flag-5'>代码</b>分析概述

    测试工具的主要目的

    1、引言 测试工具千千万,有专为硬件服务的万用表、示波器之类,也有各种串口调试工具,于是萌生了想要DIY一个用于各种接口测试用的工具,说实话对于单片机的这些串口、IIC接口、SPI接口
    的头像 发表于 06-29 16:54 698次阅读
    <b class='flag-5'>测试工具</b>的主要目的