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