Axivion Suite 7.8现已发布

现已实现100%覆盖MISRA规则,并加入了高级功能来提高代码分析能力。

我们很高兴地宣布Axivion Suite 7.8发布。全新版本的Axivion Suite对编译器、配置、分析、仪表板 (WebUI)和IDE插件的架构验证和静态代码分析功能均进行了升级。

100%覆盖所有可测试的MISRA规则

使用最新发布的7.8版,现在您可完全遵循几个月前刚刚发布的MISRA C++:2023规则。Axivion Static Code Analysis现已添加其余规则,再次实现了100%覆盖所有可自动测试的MISRA规则:

  • MISRA C:2004
  • MISRA C:2012
  • MISRA C:2019
  • MISRA C:2023
  • MISRA C++:2008
  • MISRA C++:2023

在整个嵌入式领域的软件开发中,尤其是功能安全开发方面,经常需要遵从MISRA指南。

通过SSO访问Axivion仪表板

Axivion仪表板 (WebUI)现可通过现有的SSO系统(例如,MS Entra和Keycloak)进行访问,还支持OIDC或OAuth 2.0协议。这不仅简化了个人用户的登录,还能帮助公司IT部门优化工具权限管理,让整个系统具备可扩展的安全性。

全新的上传模式优化了分支管理功能

Axivion Suite 7.8全新推出的上传模式加入了对分支操作的支持,大大简化了项目的管理过程。新模式不仅允许在设置分支时创建独立项目,即使项目在分支合并期间被删除仍可保留注释,并在下一次使用Axivion执行自动检查时,将分支信息与主分支中的注释合并,从而帮助开发人员,尤其是长期合作的团队,更好地记录和跟踪代码变更。

GUI设置和WebUI的本地化

Axivion Suite 7.8首次推出了GUI设置和WebUI的本地化版本。尽管在软件开发领域,特别是在全球化的运维团队中,英语仍然是时下的主流语言,但为软件开发人员提供本地化的界面有助于提高他们的工作效率。

现已推出以下语言包:

  • GUI设置:日语
  • WebUI:中文和日语

支持C#克隆检测和克隆管理

早在几年前,支持C和C++的克隆检测和克隆管理就已经成为了Axivion Static Code Analysis的标准功能,目前还新增了对C#的支持。利用该功能,开发人员可在项目早期完成克隆代码的检测,从而减轻软件的维护负担,避免故障的发生。最新发布的7.8版还针对C#推出了额外的指标和编码指南检查功能。

Axivion 7.8的其他亮点

在此次全新推出的7.8版中,以下亮点同样值得关注。在编译器支持方面,Axivion Suite通过集成最新的EDG C/C++解析器,实现了与clang17等最新编译器的兼容;在架构验证方面,现已在UML(统一建模语言)图中为开发者引入了新的导入选项“PlantUML”。Axivion的内置图形可视化工具Gravis也进行了如下改进:Gravis中的注释(例如节点上附加的注释)现可按需展开和折叠,并可作为独立注释进行添加,无需停靠至任何节点。此外,为了进一步提高可用性,Gravis还新增了缩放工具栏,以便用户能够更清楚地了解软件架构的细节。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/pingmian/49767.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

昇思25天学习打卡营第15天|K近邻算法实现红酒聚类

这个实验是关于如何使用MindSpore框架在红酒数据集上实现K近邻(KNN)算法来进行聚类分析的。KNN是一种简单但非常有效的机器学习算法,它通过计算样本之间的距离来决定其分类KNN算法的核心思想是,一个样本的类别可以通过它与训练集中…

Pytorch使用教学1-Tensor的创建

0 导读 在我们不知道什么是深度学习计算框架时,我们可以把PyTorch看做是Python的第三方库,在PyTorch中定义了适用于深度学习的张量Tensor,以及张量的各类计算。就相当于NumPy中定义的Array和对应的科学计算方法,正是这些基本数据…

【Nacos安装】

这里写目录标题 Nacos安装jar包启动Docker单体Docker集群 Nacos相关配置日志配置 Nacos安装 jar包启动 下载jar包 在官方下载链接,根据需求选择相应的版本下载。 解压 tar -zxvf nacos-server-2.4.0.1.tar.gz或者解压到指定目录 tar -zxvf nacos-server-2.4.0…

HarmonyOS Next原生应用开发-从TS到ArkTS的适配规则(九)

一、需要显式标注泛型函数类型实参 规则:arkts-no-inferred-generic-params 级别:错误 如果可以从传递给泛型函数的参数中推断出具体类型,ArkTS允许省略泛型类型实参。否则,省略泛型类型实参会发生编译时错误。 禁止仅基于泛型函数…

Perl脚本学习(一)-- 基础语法

系列文章目录 第一章 Perl脚本学习(一)-- 基础语法 一、Perl Perl 程序由声明与语句组成,程序自上而下执行,包含了循环,条件控制,每个语句以分号 ; 结束。Perl 语言没有严格的格式规范。 二、Perl简单使用…

TikTok达人合作中的消费者行为研究:精准营销新趋势

随着全球社交媒体技术的飞速发展,TikTok作为短视频领域的佼佼者,其独特的达人带货模式不仅成为驱动消费市场发展的新力量,还深刻改变了消费者的购买行为。本文Nox聚星将和大家探讨TikTok达人合作过程中消费者的行为模式和偏好变化。 一、消费…

SkyWalking入门搭建【apache-skywalking-apm-10.0.0】

Java学习文档 视频讲解 文章目录 一、准备二、服务启动2-1、Nacos启动2-2、SkyWalking服务端启动2-3、SkyWalking控制台启动2-4、自定义服务接入 SkyWalking 三、常用监控3-1、服务请求通过率3-2、服务请求拓扑图3-3、链路 四、日志配置五、性能剖析六、数据持久化6-1、MySQL持…

认识R与数据库连接和网络爬虫,学会在R中使用SQL语言

R语言作为一种强大的统计计算和数据分析工具,不仅在数据处理和可视化方面表现出色,还在与数据库连接和网络爬虫方面具备强大功能。本文将介绍如何在R中进行数据库连接和网络爬虫,并展示如何使用SQL语言在R中进行数据操作。 一、R与SQL数据库 1、认识SQL数据库 SQL(Struc…

企业怎么才能用上大语言模型?

题图|视觉中国 以ChatGPT为起点,大语言模型(LLM)用全面的技术创新,以及在用户和产业中的应用落地,再次掀起了一个AI新浪潮。 与它的前辈们相比,大语言模型因为打通了语言这一人类沟通中介&…

【并发编程】-4.Lock接口与AQS

Lock接口概念 概念:JDK1.5时,在Java.uitl.concurrent并发包中添加了Lock锁接口,其中定义了lock()、unLock()、tryLock()、lockInterruptibly()、newCondition()等一系列接口,它属于是JAVA语言层面的内置锁;特性&#…

47、PHP实现机器人的运动范围

题目: PHP 实现机器人的运动范围 描述: 地上有一个m行和n列的方格。一个机器人从坐标0,0的格子开始移动,每一次只能向左,右,上,下四个方向移动一格,但是不能进入行坐标和列坐标的数位之和大于k…

探索云计算的未来:边缘计算如何重塑IT格局

目录 一、引言 二、边缘计算的基本概念与特性 1. 基本概念 2. 技术特性 三、边缘计算如何重塑IT基础设施 1. 分布式计算架构的兴起 2. 边缘节点的部署与管理 3. 数据流与业务逻辑的重新设计 4. 安全性与隐私保护的加强 四、边缘计算在关键行业的应用实践 1. 智能制造…

关联查询(xml)

多对多:数据库中需要有中间表,在两个实体类中都加入对方的List集合,在写查询语句时写三张表

MySQL第一阶段:多表查询、事务

继续我的MySQL之旅,继续上篇的DDL、DML、DQL、以及一些约束,该到了多表查询和事务的学习总结,以及相关的案例实现,为未来的复习以及深入的理解做好知识储备。 目录 多表查询 连接查询 内连接 外连接 子查询 事务 事务简介…

RTK高精度定位终端的功能跟用途

RTK高精度定位终端是一种集成了高精度定位技术的手持或便携式设备,其功能和用途广泛且重要。以下是RTK高精度定位终端的主要功能和用途: 一、功能 高精度定位: RTK技术通过接收卫星信号和地面基站的差分修正数据,实现厘米级甚至…

开源安全信息和事件管理(SIEM)平台OSSIM

简介 OSSIM,开源安全信息和事件管理(SIEM)产品,提供了经过验证的核心SIEM功能,包括事件收集、标准化和关联。 OSSIM作为一个开源平台,具有灵活性和可定制性高的优点,允许用户根据自己的特定需…

Java Linux操作系统

1、操作系统是协助用户调度硬件工作,充当用户和计算机硬件之间的桥梁 2、Linux内核 提供了linux系统的主要功能 3、发行版Centos:内核应用程序 4、快照:保存虚拟机的状态,当虚拟机出现问题的时候,可以恢复原始的状态…

Excel下载模板文件和导入文件的步骤

一、配置api // 题目导入模板下载接口 export function exportTemplate() {return request({url: /edu/question/exportTemplate,method: get,//必加header: {headers: {Content-Type: application/x-download},},responseType: "blob",//必加}) } // 题目模板数据导…

华为强制恢复出厂设置后如何恢复数据?数据重生的2个方法介绍

华为作为全球知名的手机品牌,其产品在市场上广受欢迎。然而,有时由于各种原因,我们可能需要强制恢复出厂设置,这往往意味着数据的丢失。那么,如何在华为强制恢复出厂设置后,让数据“重生”呢?本…

Postman测试工具详细解读

目录 一、Postman的基本概念二、Postman的主要功能1. 请求构建2. 响应查看3. 断言与自动化测试4. 环境与变量5. 集合与文档化6. 与团队实时协作 三、Postman在API测试中的重要性1. 提高测试效率2. 保障API的稳定性3. 促进团队协作4. 生成文档与交流工具 四、Postman的使用技巧1…