静态白盒测试
原则
错误发现的越早，改正错误的成本月底，正确改正错误的可能性越大，改正错误时可能引发其它错误的数量也越少。
静态白盒测试方法
代码检查法
定义：代码检查法主要检查代码和程序设计的一致性，代码结构的合理性，代码编写的标准性、可读性，代码逻辑表达的正确性等方面。主要参考文档：程序设计文档、程序的源代码清单、编码规范、代码缺陷检查表等。
优点：能快速找到缺陷，一旦发现错误，能够在代码钟进行精确定位，从而降低了修正错误的成本。
缺点：耗费时间，而且需要知识和经验的积累。
代码审查和走查
相同点：以小组为单位阅读代码，是一系列规程和错误检查方法的集合。
代码审查规程和方法：在代码审查会议上，程序作者逐条语句讲述程序的逻辑结构，参与人根据”代码缺陷检查表“分析程序，检查内容包括编码标准规范和错误列表。
代码走查规程和方法：在代码走查会议上，参与者参考”设计规格书“使用计算机执行代码。
静态结构分析法
很少使用
静态质量度量法
很少使用