什么是静态测试?

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

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

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®等。