静态代码分析是在不执行程序的情况下分析源代码的过程。与测试或动态分析不同，执行静态分析的过程在软件工程师之间有不同的解释。这导致了一些关于静态分析在软件开发过程中所扮演的角色以及它给代码验证带来的好处的误解。然而，由于静态分析在许多高完整性开发过程中变得无处不在，静态分析团队将揭穿我们从客户那里听到的一些主要误解。这些语句包括:“我不需要静态分析，因为我做了足够的测试，”或者“只有在您试图满足认证目标时才需要静态分析”，或者甚至“这只是计算一些质量指标的额外步骤”。我们将分享静态分析工具，尤其是Polyspace^®s manbetx 845产品，可以补充您的开发过程。Polyspace产品使用高级的形式化方法为静态代码分析提供了完整的解决方案，从执s manbetx 845行编码规则和识别bug，到在所有可能的运行时条件下度量代码质量。