当前位置:网站首页>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
边栏推荐
- Force buckle 1037 Effective boomerang
- Oracle 存儲過程之遍曆
- ASP. Net learning & ASP's one word
- pom. XML configuration file label: differences between dependencies and dependencymanagement
- 【解决】package ‘xxxx‘ is not in GOROOT
- ISO 26262 - 基于需求测试以外的考虑因素
- Data island is the first danger encountered by enterprises in their digital transformation
- CIS芯片测试到底怎么测?
- Airiot helps the urban pipe gallery project, and smart IOT guards the lifeline of the city
- 力扣599. 两个列表的最小索引总和
猜你喜欢
BI的边界:BI不适合做什么?主数据、MarTech?该如何扩展?
机器学习笔记 - 使用Streamlit探索对象检测数据集
Opencv学习笔记 高动态范围 (HDR) 成像
How to test CIS chip?
写了个 Markdown 命令行小工具,希望能提高园友们发文的效率!
Apifox 接口一体化管理新神器
One click deployment of any version of redis
Mrs offline data analysis: process OBS data through Flink job
机械臂速成小指南(十一):坐标系的标准命名
Some important knowledge of MySQL
随机推荐
《数字图像处理原理与实践(MATLAB版)》一书之代码Part2[通俗易懂]
理财产品要怎么选?新手还什么都不懂
[résolution] le paquet « xxxx» n'est pas dans goroot
Force buckle 2315 Statistical asterisk
Chapter 20 using work queue manager (3)
About cv2 dnn. Readnetfromonnx (path) reports error during processing node with 3 inputs and 1 outputs [exclusive release]
Meta Force原力元宇宙系统开发佛萨奇模式
最新版本的CodeSonar改进了功能安全性,支持MISRA,C ++解析和可视化
Micro service remote debug, nocalhost + rainbow micro service development second bullet
Update iteration summary of target detection based on deep learning (continuous update ing)
Force buckle 599 Minimum index sum of two lists
微服务远程Debug,Nocalhost + Rainbond微服务开发第二弹
机械臂速成小指南(十一):坐标系的标准命名
Force buckle 599 Minimum index sum of two lists
测量楼的高度
机械臂速成小指南(十二):逆运动学分析
有用的win11小技巧
Data island is the first danger encountered by enterprises in their digital transformation
TS quick start - Generic
微服务远程Debug,Nocalhost + Rainbond微服务开发第二弹