项目背景
我国提出“中国制造2025”大政方针，多部门颁布智能制造发展政策，促使工业升级释放信息化及智能化需求。
作为以静态代码分析及软件架构验证为核心技术的Axivion公司同GTC-hightech共同合作，针对中国软件开发市场，提供专业完整的解决方案, 以确保软件质量和保护免受软件侵蚀。
项目内容
Axivion公司成立于2005年，其前身是斯图加特大学与不来梅大学的“编程语言和编译器小组”下的包豪斯项目（ Project Bauhaus ）。 自2010年以来Axivion公司的开发开始基于新的基础架构， Axivion添加了新的应用程序，例如MISRA检查，AUTOSAR C++14规范检查和metrics指检查。且一直与斯图加特大学，不来梅大学和弗莱堡大学建立了密切的长期伙伴关系，并且是汽车开架构系统联盟（AUTOSAR）的合作伙伴。
十多年来， Axivion公司的工具和解决方案一直在帮助技术软件开发人员专门解决软件侵蚀的问题。 Axivion公司的客户主要从事以下行业：航空航天，自动化技术，汽车，电子，信息和通信技术，测量与控制技术，机械工程，医疗技术和铁路工程。 德国通快（TRUMPF），采埃孚，贝朗医疗，菲尼克斯电气，永恒力，劳易测等公司都是Axivion的客户。
产品包含软件架构验证和静态代码分析和两个部分：
- 软件架构验证
- 架构建模
对软件架构的提供一种图形化的展示，提供自带的强大的图形化软件架构建模功能，支持组件方便灵活的拆分、合并；支持架构模型的层次嵌套；提供对Unified Modeling Languag（UML）工具的支持，对已有软件架构模型的导入。
-
- 软件架构验证
提供软件架构模型和软件源代码的映射功能，能够映射相关的软件代码源程序及头文件到相应的软件架构中的功能模块；支持手工方式的映射设置，也可以支持基于脚本的自动化映射设置。提供软件架构的自动分析验证功能，能够基于对源代码的分析，自动分析验证代码实现的实际架构和软件架构模型的一致性。支持对架构模型和代码分析的架构结果的持续迭代修正。
- 静态代码分析
- 克隆代码侦测以及管理
克隆代码侦测，能够分析识别出程序中的克隆代码。
-
- 强大的分析引擎
提供代码静态分析引擎，提供全面深入的代码分析能力，提供开放的API接口，用户可以基于该分析引擎开放和定制符合自己项目业务和组织特点的深入的功能，有效的提高工具对人工代码审查工作的辅助。
