Ram Cherukuri,MathWorks
静态代码分析是在不执行程序的情况下分析源代码的过程。与测试或动态分析不同,执行静态分析的过程在软件工程师之间有不同的解释。这导致了对静态分析在软件开发过程中所起的作用及其带来的好处的一些误解o代码验证。但是,由于静态分析在许多高完整性开发过程中变得无处不在,静态分析团队将揭穿我们从客户那里听到的一些主要误解。这些误解包括:“我不需要静态分析,因为我做了充分的测试”,或者,“只有当您试图达到认证目标时,静态分析才是必要的,”甚至,“这只是计算一些质量指标的额外步骤。”我们将分享静态分析工具,特别是Polyspace是如何使用的®s manbetx 845产品,可以补充您的开发过程。使用高级形式化方法,Polyspace产品为静态代码分析提供了一个完整的解决方案,从强制执行编码规则和识别bug,到在所有可能的运行时条件下测量代码质量。
记录日期:2015年4月16日
您还可以从以下列表中选择网站:
选择中国站点(中文或英文)以获得最佳站点性能。其他MathWorks国家/地区网站未针对您所在地的访问进行优化。