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…

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持…

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

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

关联查询(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、快照:保存虚拟机的状态,当虚拟机出现问题的时候,可以恢复原始的状态…

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

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

Postman测试工具详细解读

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

Ubuntu24.04 deb文件 安装 MySQL8.4

Ubuntu24.04 deb文件 安装 MySQL8.4 ubuntu24.04 deb文件安装 MySQL8 升级系统 sudo apt update sudo apt -y dist-upgrade 安装常用工具 sudo apt -y install vim net-tools wget gcc make cmake lrzsz安装依赖 sudo apt -y install libmecab2 libjson-perl libaio1t64下载…

JavaEE - Spring Boot 简介

1.Maven 1.1 什么是Maven 翻译过来就是: Maven是⼀个项⽬管理⼯具。基于POM(Project Object Model,项⽬对象模型)的概念,Maven可以通 过⼀⼩段描述信息来管理项⽬的构建,报告和⽂档的项⽬管理⼯具软件。 可以理解为:Maven是一个项目管理工具…

关键词查找【Knuth-Morris-Pratt (KMP) 算法】

一个视频让你彻底学懂KMP算法_哔哩哔哩_bilibili KMP算法的核心是利用匹配失败后的信息,尽量减少模式串与主串的匹配次数以达到快速匹配的目的。 public class KMP {// 计算部分匹配表 (LPS)private static int[] computeLPSArray(String pattern) {int[] lps new…

Arduino学习笔记1——IDE安装与起步

一、IDE安装 去浏览器直接搜索Arduino官网,点击Software栏进入下载界面,选择Windows操作系统: 新版IDE下载不需要提前勾选所下载的拓展包,下载好后直接点击安装即可。 安装好后打开Arduino IDE,会自动开始下载所需的…

npm publish出错,‘proxy‘ config is set properly. See: ‘npm help config‘

问题:使用 npm publish发布项目依赖失败,报错 proxy config is set properly. See: npm help config 1、先查找一下自己的代理 npm config get proxy npm config get https-proxy npm config get registry2、然后将代理和缓存置空 方式一: …

基于TensorFlow.js和COCO-SsD模型的实时目标检测网络应用程序

基于TensorFlow.js和COCO-SsD模型的实时目标检测网络应用程序 实现流程 访问用户的桌面录屏并且显示视频源(位置居中)。对视频源进行实时目标检测。在检测到的目标周围绘制边界框,并用它们的类别和检测置信度进行标记。在视频源下方显示一个…

openEuler安装docker,加速镜像拉取

文章目录 文章来源1.配置镜像源2.编辑配置文件3.安装想要的版本4. ~ 原神!5.由于很多镜像无法拉取配置镜像源 文章来源 http://t.csdnimg.cn/zYDYy 原文连接 由于之前的仓库不让用且 1.配置镜像源 由于 国外的镜像仓库好多不让用 所以配置阿里的镜像源 yum-confi…