Ram Cherukuri,Mathworks
静态代码分析是在不执行程序的情况下分析源代码的过程。与测试或动态分析不同,在软件工程师之间进行静态分析的过程。这导致了有关静态分析在软件开发过程中扮演的角色的几个误解,以及它带来代码验证的好处。然而,由于静态分析在许多高完整性开发过程中变得无处不在,所以静态分析团队将揭示我们从客户那里听到的一些主要误解。这些包括诸如“我不需要静态分析的陈述,因为我做了足够的测试”,或者,静态分析只有需要满足认证目标,“甚至是”只是一个额外的计算一些质量指标。“我们将分享静态分析工具如何,特别是波形空间®s manbetx 845产品,可以补充您的开发过程。通过使用高级的正式方法,Polyspace产品为静态代码分析提供了一个完整的解决方s manbetx 845案,从执行编码规则和识别错误,到在所有可能的运行时条件下度量代码质量。
记录:2015年4月16日
您还可以从以下列表中选择一个网站:
选择中国网站(以中文或英文)以获取最佳网站性能。其他MathWorks国家网站未优化您的位置。