当前位置:网站首页>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
边栏推荐
- Airiot helps the urban pipe gallery project, and smart IOT guards the lifeline of the city
- Force buckle 674 Longest continuous increasing sequence
- Mongodb learn from simple to deep
- I Basic concepts
- Implement secondary index with Gaussian redis
- 图扑数字孪生煤矿开采系统,打造采煤“硬实力”
- 机器学习笔记 - 使用Streamlit探索对象检测数据集
- Opencv learning notes high dynamic range (HDR) imaging
- Force buckle 1037 Effective boomerang
- Mongodb由浅入深学习
猜你喜欢
随机推荐
PHP method of obtaining image information
Equals method
开发一个小程序商城需要多少钱?
School 1 of vulnhub
力扣599. 两个列表的最小索引总和
Force buckle 1037 Effective boomerang
OneSpin 360 DV新版发布,刷新FPGA形式化验证功能体验
Opencv learning notes high dynamic range (HDR) imaging
Force buckle 599 Minimum index sum of two lists
CSDN syntax description
想杀死某个端口进程,但在服务列表中却找不到,可以之间通过命令行找到这个进程并杀死该进程,减少重启电脑和找到问题根源。
Mongodb由浅入深学习
Graduation season | regretful and lucky graduation season
[solution] package 'XXXX' is not in goroot
目前股票开户安全吗?可以直接网上开户吗。
机械臂速成小指南(十一):坐标系的标准命名
Mongodb learn from simple to deep
基于深度学习的目标检测的更新迭代总结(持续更新ing)
【奖励公示】第22期 2022年6月奖励名单公示:社区明星评选 | 新人奖 | 博客同步 | 推荐奖
力扣 1232.缀点成线