新浪新闻客户端

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

静态代码分析与架构验证工具
2024年10月17日 11:04

  The Qt Company推出了其新的软件质量保障工具——Axivion Suite。这款综合性的静态代码分析与架构验证工具,专为安全系统的开发而设计,旨在帮助开发团队识别并预防软件侵蚀(又称技术债务),从而确保软件项目的长期可维护性和可扩展性。

  Axivion Suite集成功能:Axivion Static Code Analysis和Axivion Architecture Verification。

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

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

  除了这两个核心组件外,Axivion Suite还包括Axivion Tool Qualification Kit。此外,Axivion Suite还包括Axivion Tool Qualification Kit,用于执行特定检查,并验证其在具有功能安全要求的环境中的适用性。Axivion Suite的推出,无疑为开发团队提供了一个强大的静态代码分析与架构验证工具。

  (来源:点财网)

责任编辑:何奎良

代码分析软件

举报邮箱:jubao@vip.sina.com

Copyright © 1996-2024 SINA Corporation

All Rights Reserved 新浪公司 版权所有