德国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接口,可以支持用户进行相应的报告生成及结果展示;
Ø支持和常用配置管理工具的集成;