首页/文章/ 详情

Qt工具 | 静态代码/架构分析工具Axivion介绍

优飞迪科技

2年前浏览710

什么是静态测试?

静态方法是指不运行被测程序本身，仅通过分析或检查源程序的语法、结构、过程、接口等来检查程序的正确性。对需求规格说明书、软件设计说明书、源程序做结构分析、流程图分析、符号执行来找错。

静态方法通过程序静态特性的分析，找出欠缺和可疑之处，例如不匹配的参数、不适当的循环嵌套和分支嵌套、不允许的递归、未使用过的变量、空指针的引用和可疑的计算等。静态测试结果可用于进一步的查错，并为测试用例选取提供指导。

Axivion特性概览

静态代码分析

-支持语言：C/C++,C#/.NET,Java和Ada83/Ada95

-编码指南：涵盖了MISRA C:2004、MISRA C:2012（包括MISRA C:2012修正1安全规则和MISRA C:2012修正2）和MISRA C++:2008的100%的自动检查规则，AUTOSAR C++14（17.03、17.10、18.03、18.10和19.03）以及安全标准CERT C和CERT C++、CWE和ISO/IEC TS 17961（C安全编码标准）等。您也可以使用Axivionsuite的规则编辑器设置和检查自定义的规则。

-度量：包含许多常见软件指标的规则集。包含基于行、嵌套、循环复杂度、控制流等黄金老牌的指标。同时也包括HIS（Metrics QAC warning discription）这样的指标集。

-缺陷分析：检查源代码中潜在的运行时错误。包括可扩展的数据和控制流检查，例如越界访问或除以零等错误可以提早发现。

架构分析

使用架构检查可以确保开发人员和软件架构师不会离开待开发系统的基础，而是在其基础上进行开发。

对架构的偏离会对功能安全造成威胁。软件架构一致性检查有效地缓解了这种威胁。

代码嗅觉检查

Axivion suite帮助您可靠地检测和管理整个项目中的重复代码，检测包含头文件的循环，以及直接调用循环，无论调用深度如何，并识别不可达的代码。

Delta分析

随着时间的推移，允许持续的基线分析和自动的问题跟踪。这使您能够在日常业务中专注于重要的信息。

更多特性

-支持Windows, Linux and MacOS

-第三方工具集成：CI工具Jenkins, Bamboo等；编译工具make, cmake, msbuild, scons and gradle；版本管理工具Subversion®, Git™, IBM® Rational® Team Concert®/ClearCase®, Perforce®等。

关于Qt

Qt是一套业界领先的产品开发框架，可供前端设计师和开发人员适用于各种设备和操作系统的先进的UI/UX。

Qt被广泛应用于70多个行业，并在全球范围内建立了完善的生态系统——每年下载量达数百万次。

Qt拥有强大的合作伙伴生态——全球有超过100家软件服务公司和SoC方案供应商具备Qt开发能力。

深圳市优飞迪科技有限公司成立于2010年，是一家专注于产品开发平台解决方案与物联网技术开发的国家级高新技术企业。

十多年来，优飞迪科技在数字孪生、工业软件尤其仿真技术、物联网技术开发等领域积累了丰富的经验，并在这些领域拥有数十项独立自主的知识产权。同时，优飞迪科技也与国际和国内的主要头部工业软件厂商建立了战略合作关系，能够为客户提供完整的产品开发平台解决方案。

优飞迪科技技术团队实力雄厚，主要成员均来自于国内外顶尖学府、并在相关领域有丰富的工作经验，能为客户提供“全心U+端到端服务”。

来源：IFD优飞迪

数字孪生控制

著作权归作者所有，欢迎分享，未经许可，不得转载

首次发布时间：2023-01-05

Adams 2020基础培训教程（1）

¥50

还没有评论