Axivion Suite

静态代码分析与架构验证工具

简介 

Axivion Suite是The Qt Company为保证软件质量提供的产品之一,适用于安全系统的开发,包含Axivion Static Code Analysis和Axivion Architecture Verification,帮助识别软件侵蚀(又称技术债务)或从一开始就避免它们,以保持软件项目在未来的可维护性和可扩展性。此外,Axivion Suite还包括Axivion Tool Qualification Kit,用于执行特定检查,并验证其在具有功能安全要求的环境中的适用性。 

开发商

The Qt Company

最新版本

7.7

主要功能

Axivion Static Code Analysis

检查软件项目的风格和编码违规行为。在项目早期阶段检测克隆代码、死代码、被零除及其他缺陷,可减少后期修复这些问题所需的时间和成本。

Axivion Architecture Verification

确保系统结构保持清晰明了。为创建软件架构的结构模型,可以手动设置,也可以从 UML 模型或其他形式的图形结构中导入。

编码指南

使用 Axivion Suite 的自动编码指南检查器,可在开发过程中轻松发现代码中的危险漏洞。集成的增量分析可对代码中新出现的风险做出有针对性的反应。

度量

从包含的常见软件度量规则集中获益。其中包括基于行和标记、嵌套、循环复杂度、控制流或Halstead度量等经典度量。甚至支持 HIS 等完整规则集。

代码缺陷分析

检查源代码是否存在潜在的运行时错误。这包括可扩展的数据和控制流检查。这样便可以在软件开发的早期阶段检测出诸如越界访问或除零等错误。

Axivion Tool Qualification Kit

支持工具链分类和认证的完美插件。这包括预制测试套件,具有可自动化的执行和结果评估流程。适用于符合ISO 26262、IEC 61508、IEC 62304 标准的安全项目。

优势

Axivion Static Code Analysis 和 Axivion Architecture Verification 可无缝集成到您现有的开发环境中。
> 自动化质量保证以减少了代码缺陷、代码占用空间以及对个人的依赖
> 全面综合分析可节省时间、金钱和资源,提高生产力和投资回报率
> 完全可定制,可轻松集成到您现有的开发环境中
> 可扩展工具,适应不断变化的要求,并随着您的需求而扩展
> 遵循业界领先的安全标准,以确保代码的合规性
> 在持续集成(CI)流程中,有针对性地审核代码并进行详细的增量分析,例如在提交代码之前,或用于监控改进和防止软件侵蚀
> 审核代码是否符合 CERT、CWE 和其他安全准则,以保障网络安全
> 降低风险,保障软件功能按时交付
> 提供卓越的服务和支持,确保您从项目之初就能从中获益,例如在推出过程中提供支持

基本技术规格(Axivion Suite 7.7)

支持语言

C、C++、C#

支持编译器

Blackfin、Clang、Codevision、CodeWarrior®、Cosmic、Green Hills Software®、GNU、IARTM、KeilTM、Microchip®、
Microsoft®、Renesas、Tasking、TI、Windriver等等

支持的操作系统

’- Windows® 7/8/10/11、Windows® Server® 2008 R2/2012/2016/2019/2022
- x86_64 GNU/Linux® (最低要求glibc2.24或更高版本)
- macOS® (最低要求macOS 10.15)

支持的版本控制系统

Borland®/Inprise®/MicroFocus® StarTeam®、CVS、Fossil,GitTM、IBM® Rational® ClearCase®、IBM® Rational®、Team Concert®、Mercurial、Microsoft® Team Foundation Server®、Microsoft® Visual SourceSafe®、MKS Source Integrity®、Perforce®、Perforce®/Seapine® Surround®、Plastic、PTC Integrity®、Serena® Dimensions®、Serena®、PVCS®、Subversion®

支持的编码指南

MISRA C:2004/2012/2019/2023、MISRA C++:2008/2023、AUTOSAR C++14、CERT C 规则、CERT C 建议、
CERT C++ 规则、CWE、ISO / IEC TS 17961、Qt框架、定制检查等等

支持的质量指南

ISO 26262达到ASIL-D、IEC 61508达到SIL-4、IEC 62304达到Class-C、EN 50128、EN 50628等等

支持的浏览器

Microsoft® Edge、Mozilla Firefox®、Google ChromeTM

支持的 UML® 工具

IBM Rational Rhapsody、 Sparx Enterprise Architect (通过 XMI 或 .qea-文档)

插件

IDE:CLion、EclipseTM、基于Eclipse的IDE(如Atollic TrueSTUDIO®、CodeWarrior®、DAVETM、STM32CubeIDE、TI Code Composer StudioTM)、Microsoft® Visual Studio®、Microsoft® Visual Studio Code®、通用插件

CI/DevOps:Azure® DevOps、Jenkins®,以及Bitbucket®、GitLab®、GitHub等集成

应用领域

Axivion Suite高度可定制,并可按照项目需要进行配置。

> 汽车
> 航空、航天与国防
> 建筑
> 电子
> 能源技术
> 工业应用
> IT、电信与软件
> 测量与控制技术
> 机械工程
> 医疗技术
> 制药与实验室技术
> 铁路技术
> 研究机构

图片1

Axivion Suite 静态代码分析

图片2

Axivioin Suite阻止软件侵蚀

视频 1

静态代码分析

视频 2

软件架构验证

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值