Helix QAC 2020.2新版,最大限度扩展了标准合规性的覆盖范围

最新版本的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的新增功能,请发送邮件至 contact@watertek.com 。并且,如果您想申请Helix QAC的演示或体验试用,请访问http://qa-systems.cn/或关注下方公众号:





posted @ 2020-11-12 12:16  旋极智能  阅读(143)  评论(0编辑  收藏  举报