首页 > 其他分享 >静态代码测试工具HelixQAC新版对MISRA C规则提供100%覆盖率

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

时间:2023-08-17 18:23:59浏览次数:40  
标签:版本 HelixQAC MISRA Helix QAC 2023 测试工具 Validate

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% 的覆盖。

 

更多有关HelixQAC技术信息商务服务,请访问http://www.softtest.cn/留言,或按以下方式联系旋极信息

 

获取更多资讯▼关注我们

 



标签:版本,HelixQAC,MISRA,Helix,QAC,2023,测试工具,Validate
From: https://www.cnblogs.com/qianrushizhuangbeidianzixitong/p/17638453.html

相关文章

  • 适合程序员的DB性能测试工具 JMeter
    背景1、想要一款既要能压数到mysql,又要能压数到postGre,还要能压数到oracle的自动化工具2、能够很容易编写insertsql(因为需要指定表和指定字段类型压数据),然后点击运行按钮后,就能直接运行;不要写应用代码,因为我比较懒3、可以指定测试时间,或者TPS等执行时行为。因为压数有数量级要求......
  • 模糊测试面面观 | 模糊测试工具知多少
    自1988年威斯康星大学的BartonMiller首次提出模糊测试这一概念以来,模糊测试领域经历了持续长久发展。模糊测试作为一种软件测试方法,旨在通过向程序输入模糊、随机、异常的数据,探测和发现潜在的漏洞和错误。这种方法备受安全研究人员的青睐。随着时间的推移,这一领域呈现出了蓬勃发......
  • 有没有好用的性能测试工具推荐
    在当前软件测试行业,熟练掌握性能测试已经是测试工程师们面试的敲门砖了,当然还有很多测试朋友们每天的工作更多的是点点点,性能方面可能也只是做过简单的并发测试,对于编写脚本,搭建环境方面也比较陌生。今天这篇文章就给大家梳理一下如何去做性能测试,和怎么熟练掌握性能测试。文章结构......
  • 有没有好用的性能测试工具推荐
    在当前软件测试行业,熟练掌握性能测试已经是测试工程师们面试的敲门砖了,当然还有很多测试朋友们每天的工作更多的是点点点,性能方面可能也只是做过简单的并发测试,对于编写脚本,搭建环境方面也比较陌生。今天这篇文章就给大家梳理一下如何去做性能测试,和怎么熟练掌握性能测试。文章结......
  • Linux下系统性能测试工具
    1.测试cpu浮点性能,计算圆周率指定位数时间,用系统自带命令即可,只是粗略测试Linux系统中,bc命令是一个任意精度的计算器,如果用它计算圆周率,我们可以大概估算出CPU的浮点运算性能:timeecho"scale=5000;4*a(1)"|bc-l-q其中:time 用来计算执行时间;scale=5000,表......
  • 不务正业的前端写了一个自动化测试工具
    各位朋友大家好,大家应该都是被这么奇葩的标题吸引点击进来的吧,既然来了,那就跟我一起读下去吧,保证你这几分钟没有浪费(即使浪费了也能给你不一样的想法),废话不多说,大家坐稳,系好安全带,开始发车喽!!!......
  • redis 2.8--7.0 常用数据类型及性能测试工具
    redis2.8--7.01.redis-cli2.redisincrpageviewredisincrpageviewredisgetpageview3.Redishash是一个string类型的field(字段)和value(值)的映射表,hash特别适合用于存储对象。Redis中每个hash可以存储232-1键值对(40多亿)hash:hmsetkeyfiled1valuefil......
  • dperf minio 团队开源的磁盘性能测试工具
    dperfminio团队开源的磁盘性能测试工具基于golang开发,使用简单,类似的有fio说明相比fiodperf没有那么多的参数,实际上dperf核心似乎主要是为了方便minio使用的,但是对于日常中需要测试一些磁盘问题也是可以的,可以用来发现磁盘的瓶颈参考资料https://github.com/minio/dpe......
  • web安全测试工具
    web安全测试工具1,appscan,算是用的非常多的一款工具了,扫描后能够将绝大部分的漏洞找出来。2,NetsparkerCommunityEdition这个程序可以检测SQL注入和跨页脚本事件。牛逼的是还能提供解决方案3,Websecurify这是个简单易用的开源工具,此程序还有一些人插件支持,可以自动检测网页漏......
  • 性能测试怎么做?测试工具怎么选择?
    在当前软件测试行业,熟练掌握性能测试已经是测试工程师们面试的敲门砖了,当然还有很多测试朋友们每天的工作更多的是点点点,性能方面可能也只是做过简单的并发测试,对于编写脚本,搭建环境方面也比较陌生。今天这篇文章就给大家梳理一下如何去做性能测试,和怎么熟练掌握性能测试。文章结构......