axivion和astree_Axivion架构分析及验证工具
德国Axivion公司
德国Axivion 公司是一家完全自主的技术公司,公司保持持续增长,在软件开发解决方案领域拥有超过10年的经验。作为源于斯图加特大学的公司, Axivion公司提供了一个良好的学术背景,开发专业完整的解决方案,以确保软件质量和保护免受软件腐烂。来自世界各地的技术和上千位用户已经超过上百的客户从我们的先进的开发、支持和服务的方法和工具中受益于德国制造的产品。
德国Axivion公司成立于2005年,源于斯图加特大学,提供全面的防止软件“腐烂”,提高软件的可维护性和可移植性。
“我们正在阻止软件腐烂!”
Axivion Bauhaus Suite功能
架构建模
软件的架构建模是对软件架构的一种图形化的展示,Axivion Bauhaus Suite提供两种方式方便用户进行软件架构的建模;
Ø提供自带的强大的图形化软件架构建模功能
²支持组件方便灵活的拆分、合并;
²支持架构模型的层次嵌套;
Ø提供对UML工具的支持
²支持对已有软件架构模型的导入,包括Rhapsody和Enterprise Architect等工具的架构模型;
软件架构验证
Ø提供软件架构模型和软件源代码的映射功能,能够映射相关的软件代码源程序及头文件到相应的软件架构中的功能模块;支持手工方式的映射设置,也可以支持基于脚本的自动化映射设置;
Ø提供软件架构的自动分析验证功能,能够基于对源代码的分析自动分析验证代码实现的实际架构和软件架构模型的一致性;架构评估结果分为三类:
²一致收敛:架构模型和实际代码分析结果一致;
²缺失:架构模型中的关系在实际代码中不存在;
²偏差:实际代码中存在的关系在架构模型中不存在;
Ø支持对架构模型和代码分析的架构结果的持续迭代修正;
克隆代码侦测以及管理
克隆代码侦测,能够分析识别出程序中的克隆代码,具体包含如下三种情况:
Ø类型一:两部分克隆代码一致,代码的语法语义等一致,代码布局等可以不一致;
Ø类型二:符合类型一,但是标识符被重命名;
Ø类型三:符合类型二,代码角度有部分删减或者添加;
强大的分析引擎
Axivion Bauhaus Suite提供强大的代码静态分析引擎,提供全面深入的代码分析能力,除了提供如下功能外,还提供开放的API接口,用户可以基于该分析引擎开放和定制符合自己项目业务和组织特点的深入的功能,有效的提高工具对人工代码审查工作的辅助;
Ø编码规则检查
²MISRA C:2012 、MISRA C++:2008;
²CERT、AUTOSAR C++14;
²GJB5369、GJB8114;
²等
Ø竞争分析
对全局变量使用中潜在的并行使用问题的分析;
Ø死代码侦测,支持对程序中的死代码的检查,需要考虑如下情况:
²分析软件的所有入口点(例如,中断入口);
²被分析软件代码之外的所有功能的使用(例如,库函数);
²链接器没有移除的死函数(如,C/C++适当和正确的链接器的配置);
Ø循环侦测,能否分析出源代码中实体间的依赖关系,能够检测出如下类型的循环类型:
²调用关系中的循环;
²包含关系中的循环;
²使用关系中的循环;
Ø包含分析(针对C/C++语言),能否分析代码中所有的包含情况,可以提供如下类别的建议:
²删除#include;
²移动#include;
²用声明替换#include;
²用不同的#include替换#include;
²添加#include;
²添加声明;
其它
Ø支持增量分析,能够对不同版本中分析的问题进行标识,对于用户已经确认的提示,在后续版本增量分析中不提示为问题;
Ø提供和持续集成(CI)环境的集成支持;
Ø提供IDE插件,支持和Microsoft® Visual Studio® and Eclipse™ 集成;
Ø竞争条件分析,提供对C语言中的的全局变量使用中潜在的并行使用问题的分析;
Ø度量分析,提供一套预定义的软件度量指标,同时用户可以通过脚本添加其它指标;
ØAPI接口支持,提供相应的API接口,可以支持用户进行相应的报告生成及结果展示;
Ø支持和常用配置管理工具的集成;
axivion和astree_Axivion架构分析及验证工具相关推荐
- Symtavision—分布式嵌入式系统时间建模分析和验证工具
Symtavision工具为Luxoft公司提供的一款分布式嵌入式系统时间特性建模.分析和验证工具,主要应用于汽车领域.经纬恒润联合Symtavision工具厂商能够为客户提供完整的系统级时间特性建模 ...
- AMP 是什么? 分析优缺点+实测 AMP 验证工具(完整说明)!
如果你有在使用 Google Analytics 分析网站流量,你也许会头疼为什么 跳出率(Bounce Rate)这么高? 到底是哪个环节出问题? 当访客进入网站几秒后就跳出离开,代表你可能需要检视 ...
- Android10.0 日志系统分析(二)-logd、logcat架构分析及日志系统初始化-[Android取经之路]
摘要:本节主要来讲解Android10.0 日志系统的架构分析,以及logd.logcat的初始化操作 阅读本文大约需要花费15分钟. 文章首发微信公众号:IngresGe 专注于Android系统级 ...
- 研究项目: JBoss架构分析
原文转自:http://www.huihoo.org/jboss/jboss.cn.html 研究项目: JBoss架构分析 Jenny Liu School of Information Techn ...
- 【转载】Instagram架构分析笔记
原文地址:http://chengxu.org/p/401.html Instagram 架构分析笔记 全部 技术博客Instagram团队上个月才迎来第 7 名员工,是的,7个人的团队.作为 iPh ...
- 知名网游Server端架构分析
http://blog.csdn.net/sodme/archive/2004/12/12/213995.aspx 类似于QQ游戏百万人同时在线的服务器架构实现 收藏 本文作者:sodme 本文出处: ...
- b2c项目基础架构分析(二)前端框架 以及补漏的第一篇名词解释
b2c项目基础架构分析(二)前端框架 以及补漏的第一篇名词解释 继续上篇,上篇里忘记了也很重要的前端部分,今天的网站基本上是以一个启示页,然后少量的整页切换,大量的浏览器后台调用web服务局部.动态更 ...
- 案例分析架构分析汇总-系统架构师考试
文章目录 2018年下 2017年下 2016年下 2015年下 2018年下 试题一 阅读以下关于软件系统设计的叙述,在答题纸上回答问题 1 至问题 3. [说明] 某文化产业集团委托软件公司开发一 ...
- 鉴源论坛 · 观擎丨民机机载软件中的开发和验证工具
作者 |蔡喁 上海控安可信软件创新研究院副院长 版块 | 鉴源论坛 · 观擎 01 工具鉴定 现代软件工程中,工具已经出现在软件研制过程中的各个环节中.在常见的软件研制环节中,使用工具包括软件需求工 ...
最新文章
- android 滑动模糊渐变,Android UI效果实现 滑动模糊渐变效果实现
- Arduino可穿戴教程Linux平台下安装Arduino IDE
- Web前端-JavaScript基础教程上
- html的混合标记,HTML XPath:提取与多个标签混合的文本?
- 阴阳师服务器维护稍后,《阴阳师》手游3月20日维护更新公告
- 无需SherlockActionbar的SlidingMenu使用详解(二)——向Fragment中添加ViewPager和Tab
- matlab netcdf,Matlab读取Netcdf文件
- 通俗易懂的语言解释下股票、基金、证券、债券、信托、期货、国债、外汇?
- 关于@NotNull 和 @Nullable
- Delphi 与 DirectX 之 DelphiX(91): TDIB.DrawMono();
- 安卓 手机硬改 工具下载 一键新机 改串 抹机 root隐藏 改串号MEID imei SN信息 工具教程分享
- textarea输入框光标定位问题
- 【解决方法】magento paypal快速结账 不跳转
- 恢复grub 修复分区表
- C语言因式分解的程序框图,C语言编写方案-因式分解
- 数据库查询的降序排列
- day015异常捕获和正则
- HtmlEditor在线编辑器V3.0提供
- FPGA架构与HLS工具
- 强烈质疑第二届Android应用开发中国大学生挑战赛
热门文章
- Qt QWidget实现手势缩放和平移(一)
- 【已解决】虚拟机提示VMware Workstation cannot connect to the virtual machine的问题
- 《华尔街日报》专访雷军:小米如何应对挑战者身份的变化
- linux日志文件存放目录,Log4j 日志文件Linux/Mac/Windows通用存放位置设置方法
- 设计模式理解:中介者模式(Mediator)
- lgg7深度详细参数_深度学习平均场理论第七讲:Batch Normalization会导致梯度爆炸?...
- 什么是 DMZ 区?
- 编码方式 / Base 64
- 启明云端分享|ESP32-C3-MINI-1和ESP32-C3-MINI-1U的区别是什么?
- 小明分享|sigmstar SSD201/SSD202 针对MIPI的LCD屏配置操作说明分享,更多Sigmastar相关技术文档及沟通讨论,可以给小明留言,小明邀请你进入我们的技术沟通群