当前位置:网站首页>Helix QAC 2020.2新版静态测试工具,最大限度扩展了标准合规性的覆盖范围
Helix QAC 2020.2新版静态测试工具,最大限度扩展了标准合规性的覆盖范围
2022-07-07 18:21:00 【麦禾信通】

最新版本的Helix QAC对静态分析工具的性能和功能进行了许多重大改进,从而确保开发者的软件更加安全,合规和可靠。以下是对Helix QAC最显著新增功能的概述。
扩展了C ++,CERT,C Secure,MISRA和AUTOSAR的覆盖范围
• 完全支持MISRA C:2012修订版2。
• AUTOSAR的覆盖率已提高到91%。
• CERT C规则覆盖率已提高到100%。
◇ 完全支持CERT C POSIX规则。
• CERT C ++覆盖率增加到95%。
• ISO / IEC TS 17961的新合规性模块,可为C Secure提供98%的覆盖率。
• 改进了对C ++ 17语言功能的支持,包括:
◇ 内联变量。
◇ 嵌套名称空间定义。
◇ 具有初始化程序的选择语句。
◇ 使用声明时包扩展和声明列表。
◇ 模板参数中的Typename关键字。
◇ 使用占位符类型声明的非类型模板参数。
◇ UTF-8字符文字。
◇ 显式模板专业化的In-class定义。
◇ 枚举直接列表初始化。
◇ 结构化绑定。
• 增加了对C ++ 20语言功能的支持,包括:
◇ 嵌套的内联名称空间。
◇ 基于范围的带有初始化程序的语句。
◇ 结构化绑定中的存储类关键字。
提高了生产率和可用性
• Helix QAC Verify dashboard改进了上传性能,bug修复,也包括其他一些微小的改进。
• Eclipse插件性能提高。
• 改进了Visual Studio插件性能。
• 两个新的QAGUI可选功能可提供快速的分析反馈。这些功能是:
◇ 连续增量分析,使您可以在保存文件时或在修改文件时存在预定的不活动时间时自动执行分析。
◇ 交互式异步反馈,可让诊断结果随着分析的进行而自动提示。这使您能够在分析运行时开始修复问题。
• 对Jenkins Pipelines的支持,提供了一种更简便的方法来自动进行静态分析,作为CI / CD流程中应用程序生命周期的一部分。
为什么选择Helix QAC
Helix QAC 2020.2中引入的改进确保其继续成为所有嵌入式软件开发行业中功能安全性和合规性最准确,最精确的静态分析工具。
想要了解更多有关Helix QAC的新增功能,请发送邮件至 [email protected] 。并且,如果您想申请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
边栏推荐
猜你喜欢

微服务远程Debug,Nocalhost + Rainbond微服务开发第二弹

I wrote a markdown command line gadget, hoping to improve the efficiency of sending documents by garden friends!

H3C S7000/S7500E/10500系列堆叠后BFD检测配置方法

php 获取图片信息的方法

Apifox 接口一体化管理新神器

不落人后!简单好用的低代码开发,快速搭建智慧管理信息系统

Machine learning notes - explore object detection datasets using streamlit

网络原理(1)——基础原理概述

ERROR: 1064 (42000): You have an error in your SQL syntax; check the manual that corresponds to your

vulnhub之school 1
随机推荐
php 获取图片信息的方法
BI的边界:BI不适合做什么?主数据、MarTech?该如何扩展?
[résolution] le paquet « xxxx» n'est pas dans goroot
PHP method of obtaining image information
VMWare中虚拟机网络配置
写了个 Markdown 命令行小工具,希望能提高园友们发文的效率!
Vulnhub's funfox2
[MySQL - Basic] transactions
机械臂速成小指南(十一):坐标系的标准命名
Force buckle 459 Duplicate substring
Micro service remote debug, nocalhost + rainbow micro service development second bullet
Equals method
Chapter 20 using work queue manager (3)
让这个CRMEB单商户微信商城系统火起来,太好用了!
c语言如何判定是32位系统还是64位系统
一文读懂数仓中的pg_stat
九度 1201 -二叉排序数遍历- 二叉排序树「建议收藏」
机械臂速成小指南(十二):逆运动学分析
如何在软件研发阶段落地安全实践
数据孤岛是企业数字化转型遇到的第一道险关