测试基础-静态白盒测试（检查代码）

1.静态白盒测试：检查设计和代码

静态测试：测试非运行部分—检验和审查；
白盒测试：访问代码，能够查看和审查；
静态白盒测试：在不执行软件的条件下有条理地仔细审查软件设计、体系结构和代码，从而找出软件缺陷的过程，有时称为结构化分析。

2.正式审查

正式审查：进行静态白盒测试的过程。正式审查的含义很广，从两个程序员之间的简单交谈，到软件设计和代码的详细、严格检查，均属于此过程。
正式审查有4个基本要素：

确定问题：目的是找出出错和遗漏的项目；
遵守规则：这种规则可能是设定要审查的代码量、花费的时间、那些内容要做评价等。
准备：每一个参与者都要做准备。
编写报告：审查小组必须做出审查报告，并使报告便于开发小组的成员使用。

除了发现问题，坚持正式审查还有一些间接效果：

交流
质量
小组同志化
解决方案

2.1 同事审查

召集小组成员进行初次正式审查最简单的方法是通过同事审查的方式，有时称为伙伴审查。同事审查也要保证正式审查的4个基本要素。

2.2 走查

比同时审查更正规的下一步。走查中编写代码的程序员向5人小组或者其它程序员和测试员组成的小组做正式陈述。牢记正式审查的4个基本要素。

2.3 检验

检验就是正式的审查类型，具有高度组织化，要求每一个参与者都接受训练。检验与同事审查和走查不同在于表述代码的人—表述者—不是原来的程序员。这就迫使它们学习了解要表述的材料，从而有可能在检验会议上提出不同的看法和解释。
其余参与者称为检验员，从不同角度（用户、测试员、产品支持人）审查代码。
有些检验员还同时被委任为会议协调员和会议记录员，保证检验过程遵守规则有效进行。

3.编码标准和规范

有三个重要的原因要坚持标准和规范：

可靠性
可读性/可维护性
移植性

3.1 编码标准和规范示例

标准由4个部分组成：

标题
标准（或者规范）
解释说明
示例

标准一定要遵守，规范尽力去遵守。

3.2 获取标准

大多数计算机语言和信息技术的国家和国际标准可以通过以下站点获得：

美国国家标准学会（ANSI）：www.ansi.org
国际工程协会（IEC）：www.iec.org
国际标准化组织（ISO）：www.iso.ch
信息技术标准国家委员会（NCITS）：www.ncits.org

以下专业组织还提供演示程序规范和最佳实践文档：

美国计算机协会（ACM）：www.acm.org
电气和电子工程师协会（IEEE）：www.ieee.org

4.通用代码审查清单

这些清单是将代码与标准或规范作比较，确保代码符合项目的设计要求。《Software Testing in the Real World:Improving the Process》198-201页给出了这些清单。它们包括：

数据引用错误
数据声明错误
计算错误
比较错误
控制流程错误
子程序参数错误
输入/输出错误
其它检查