当前位置:网站首页>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
边栏推荐
- Update iteration summary of target detection based on deep learning (continuous update ing)
- Precautions for cjson memory leakage
- Force buckle 1037 Effective boomerang
- 力扣 1961. 检查字符串是否为数组前缀
- POJ 1742 Coins ( 单调队列解法 )「建议收藏」
- 备份 TiDB 集群到持久卷
- Splicing and splitting of integer ints
- How C language determines whether it is a 32-bit system or a 64 bit system
- 力扣599. 两个列表的最小索引总和
- 目前股票开户安全吗?可以直接网上开户吗。
猜你喜欢
Airiot helps the urban pipe gallery project, and smart IOT guards the lifeline of the city
The boundary of Bi: what is bi not suitable for? Master data, Martech? How to expand?
机械臂速成小指南(十一):坐标系的标准命名
Apifox 接口一体化管理新神器
上海交大最新《标签高效深度分割》研究进展综述,全面阐述无监督、粗监督、不完全监督和噪声监督的深度分割方法
vulnhub之school 1
I wrote a markdown command line gadget, hoping to improve the efficiency of sending documents by garden friends!
测量楼的高度
I Basic concepts
Opencv学习笔记 高动态范围 (HDR) 成像
随机推荐
Oracle 存储过程之遍历
【哲思与实战】程序设计之道
力扣599. 两个列表的最小索引总和
让这个CRMEB单商户微信商城系统火起来,太好用了!
vulnhub之school 1
整型int的拼接和拆分
MRS离线数据分析:通过Flink作业处理OBS数据
CIS芯片测试到底怎么测?
Deep learning model compression and acceleration technology (VII): mixed mode
Jenkins 用户权限管理
微服务远程Debug,Nocalhost + Rainbond微服务开发第二弹
Mongodb learn from simple to deep
The boundary of Bi: what is bi not suitable for? Master data, Martech? How to expand?
《数字图像处理原理与实践(MATLAB版)》一书之代码Part2[通俗易懂]
MIT science and technology review article: AgI hype around Gato and other models may make people ignore the really important issues
取两个集合的交集
Precautions for cjson memory leakage
I wrote a markdown command line gadget, hoping to improve the efficiency of sending documents by garden friends!
[MySQL - Basic] transactions
实战:sqlserver 2008 扩展事件-XML转换为标准的table格式[通俗易懂]