c#发展

首页 » 常识 » 预防 » 探索AxivionSuite77高达1
TUhjnbcbe - 2025/6/12 0:10:00
北京专业白癜风专科 https://baijiahao.baidu.com/s?id=1834074304468086937&wfr=spider&for=pc

本文翻译自:ExploreAxivionSuite7.7:Upto%MISRAC/C++coverageandmore

原文作者:FaridaKutar,QtGroup

我们很高兴地宣布,用于静态代码分析与架构验证的AxivionSuite7.7正式发布。

近二十年来,AxivionSuite一直为嵌入式开发人员提供高效强大的静态代码分析与架构验证工具,致力于确保软件的长期质量。作为QtGroup质量保证产品的一部分,AxivionSuite将继续满足开发人员的技术需求,同时简化和加速整体开发和测试工作流程。

这就是为什么最新发布的AxivionSuite7.7的主要功能都与安全性、用户友好性及扩展兼容性有关:

%涵盖MISRAC:标准

MISRA(汽车工业软件可靠性协会)标准提供了编码标准和指南,有助于确保软件的安全性、可靠性及质量。虽然其重点是汽车行业,但其标准也可应用于软件发挥重要作用的其他安全关键型行业,如医疗设备、航空航天或工业自动化。年初,最新的MISRAC:第4号修正案(MISRAC:AMD4)发布,这是针对C11和C18语言版本的一系列修正案中的最后一项。

在最新发布的AxivionSuite中,MISRA检查器现在可以全面支持MISRAC:标准和MISRAC:标准,包括所有相关修正案。因此,AxivionSuite7.7涵盖了%所有可自动测试的MISRAC规则和指令。这使开发人员能够遵守最重要的编码指南,尤其是与安全相关的嵌入式应用程序,并防止可能导致事故或功能失常的软件相关故障。

已经可用:MISRAC++:标准

对于几天前刚刚发布的MISRAC++:标准,AxivionSuite已经涵盖了大部分规则。该工具套件将扩展对新的MISRAC++标准的支持,以实现对所有可自动测试规则的全面覆盖。

CLion插件的单文件分析

AxivionSuite以广泛支持各种IDE插件(包括CLion插件)而闻名。

最近发布的7.7版在CLion插件中引入了对单文件分析的支持,使其功能与其他IDE插件相当。该增强功能包括仪表板组件和支持本地构建,使其与该工具套件的功能保持一致。

最新解析器更新

在编译器支持方面,AxivionSuite通过集成最新的EDGC/C++解析器前端,实现功能扩展。这确保了与最新编译器版本(如GNUCompilerCollection(GCC)13.1)的兼容性,并增强了前端更好理解新语言版本的能力。此外,对于使用C#的开发人员,AxivionSuite7.7现已将其支持扩展至C#10。

Qt特定安全规则

通过建立自己的安全规则,Qt旨在为提高使用其工具开发的系统的网络安全性做出积极贡献。现在,AxivionSuite7.7也将这些现有的Qt特定安全规则纳入了分析工具。这一增强功能对已经熟悉Qt其他工具的开发人员尤其有利,因为他们现在可以在自己的项目中轻松使用静态代码分析与架构验证工具——这有助于他们强化代码,避免潜在漏洞。这些Qt特定安全规则将在今后的版本中得到扩展。

简化配置

AxivionSuite的GUI设置现在可以让开发人员直接在用户界面中高效管理配置文件。通过专用的上下文菜单,可以轻松地添加或删除规则,或调整其顺序。

这一优化流程比在文本编辑器中手动创建和编辑配置文件要方便得多。

AxivionSuite7.7还有更多新增功能:比如用于OEA文件的新EnterpriseArchitect(EA)导入器、配备LCOM4的附加度量以及改进的时区支持。

如需预约免费演示版,请联系我们

1
查看完整版本: 探索AxivionSuite77高达1