摘要：
本文主要讲软件测试基础中的静态白盒测试。静态白盒测试主要是检查代码。
静态白盒测试：检查设计和代码
- 静态白盒测试是在不执行软件的条件下，有条理地仔细审查软件设计，体系结构和代码，从而找出软件缺陷的过程，有时称为结构化分析。
- 进行静态白盒测试的首要原因是尽早发现软件缺陷，以找出动态黑盒测试难以发现或者隔离的软件缺陷。在开发过程初期，让测试小组集中精力进行软件设计的审查非常有价值，进行静态白盒测试的另一个好处是，为黑盒测试员在接受软件进行测试设计和应用测试用例提供思路。
正式审查
- 正式审查就是进行静态白盒测试的过程。
- 正式审查的四个基本要素
- 确定问题
- 遵守规则
- 准备
- 编写报告。
- 正式审查最简单的方法是通过同事审查的方式。
走查
- 走查，是比同事审查更正规化的下一步，走查中编写代码的程序员向五人小组或者其他程序员和测试成员，进行正式陈述。
检验
- 检验是最正式的审查类型，具有高度组织化，要求每一个参与者都接受训练。检验与同事审查和走查的不同之处在于表达代码的人，表述着或者宣读者不是原来的程序员，这就迫使他学习和了解要表达的材料，从而有可能在检验会议上提出不同的看法和解释。
风格问题不是缺陷
- 检查代码的时候遇到一些写法可能是属于风格问题。如果可以判断是风格问题，那就不能算是缺陷。
通用代码审查清单
- 数据引用错误：数据引用错误，是指未经正确声明和初始化的变量，常量，数组，字符串或记录，而导致的软件缺陷。
- 除了数据引用错误，还有数据声明错误、计算错误、比较错误、控制流程错误、子程序参数错误、输入输出错误等。除此之外，可能还要检查一下以下的内容，比如说软件是否使用其他外语，是否需要用统一编码取代ASCII？软件是否要移植到时他编译器和CPU？如果需要，可移植性也是个需要考虑的问题，还要考虑兼容性，是否产生警告或者提示信息。