本文翻译自：Explore Axivion Suite 7.7: Up to 100% MISRA C/C++ coverage and more
原文作者：Farida Kutar, Qt Group
我们很高兴地宣布，用于静态代码分析与架构验证的Axivion Suite 7.7正式发布。
近二十年来，Axivion Suite一直为嵌入式开发人员提供高效强大的静态代码分析与架构验证工具，致力于确保软件的长期质量。作为Qt Group质量保证产品的一部分，Axivion Suite将继续满足开发人员的技术需求，同时简化和加速整体开发和测试工作流程。
这就是为什么最新发布的Axivion Suite 7.7的主要功能都与安全性、用户友好性及扩展兼容性有关：
MISRA（汽车工业软件可靠性协会）标准提供了编码标准和指南，有助于确保软件的安全性、可靠性及质量。虽然其重点是汽车行业，但其标准也可应用于软件发挥重要作用的其他安全关键型行业，如医疗设备、航空航天或工业自动化。2023年初，最新的MISRA C:2012第4号修正案（MISRA C:2012 AMD4）发布，这是针对C11和C18语言版本的一系列修正案中的最后一项。
在最新发布的Axivion Suite中，MISRA检查器现在可以全面支持MISRA C:2012标准和MISRA C:2023标准，包括所有相关修正案。因此，Axivion Suite 7.7涵盖了100%所有可自动测试的MISRA C规则和指令。这使开发人员能够遵守最重要的编码指南，尤其是与安全相关的嵌入式应用程序，并防止可能导致事故或功能失常的软件相关故障。
对于几天前刚刚发布的MISRA C++:2023标准，Axivion Suite已经涵盖了大部分规则。该工具套件将扩展对新的MISRA C++标准的支持，以实现对所有可自动测试规则的全面覆盖。
Axivion Suite以广泛支持各种IDE插件（包括CLion插件）而闻名。最近发布的7.7版在CLion插件中引入了对单文件分析的支持，使其功能与其他IDE插件相当。该增强功能包括仪表板组件和支持本地构建，使其与该工具套件的功能保持一致。
在编译器支持方面，Axivion Suite通过集成最新的EDG C/C++解析器前端，实现功能扩展。这确保了与最新编译器版本（如GNU Compiler Collection (GCC) 13.1）的兼容性，并增强了前端更好理解新语言版本的能力。此外，对于使用C#的开发人员，Axivion Suite 7.7现已将其支持扩展至C#10。
通过建立自己的安全规则，Qt旨在为提高使用其工具开发的系统的网络安全性做出积极贡献。现在，Axivion Suite 7.7也将这些现有的Qt特定安全规则纳入了分析工具。这一增强功能对已经熟悉Qt其他工具的开发人员尤其有利，因为他们现在可以在自己的项目中轻松使用静态代码分析与架构验证工具——这有助于他们强化代码，避免潜在漏洞。这些Qt特定安全规则将在今后的版本中得到扩展。
Axivion Suite的GUI设置现在可以让开发人员直接在用户界面中高效管理配置文件。通过专用的上下文菜单，可以轻松地添加或删除规则，或调整其顺序。
这一优化流程比在文本编辑器中手动创建和编辑配置文件要方便得多。Axivion Suite 7.7还有更多新增功能：比如用于OEA文件的新Enterprise Architect （EA）导入器、配备LCOM4的附加度量以及改进的时区支持。