静态测试、动态测试之代码走查（Cocle Walktl，rough）

静态测试、动态测试之代码走查（Cocle Walktl，rough）

3)静态测试、动态测试

静态方法是指不运行被测程序本身，仅通过分析或检查源程序的语法、结构、过程、接口等来检查程序的正确性。对需求规格说明书、软件设计说明书、源程序做结构分析、流程图分析、符号执行来找错。静态方法通过程序静态特性的分析，找出欠缺或可疑之处，例如不匹配的参数、不适当的循环嵌套和分支嵌套、不允许的递归、未使用过的变量、空指针的引用和可疑的计算等。静态测试结果可用于进一步的查错，并未测试用例选取提供指导。

静态测试有可分为代码走查( Cocle Walkthrough)，代码审查(Code Inspection)，代码评审( Cocle Revie,v)。

(1)代码走查（Cocle Walktl，rough）

开发组内部进行的，采用讲解、讨论和模拟运行的方式进行的查找错误的活动。代码走查的目的是交换有关代码书写的思路，并建立一个对代码的标准集体阐述。在代码走查的过程中，开发人员都应该有机会向其他人来阐述他们的代码。通常地，即便是简单的代码阐述也会帮助开发人员识别出错误并预想处对以前麻烦问题的新的解决办法。