正式审查
四个基本要素
确定问题：出错和遗漏的项目
遵守规则：遵守一套固定的规则
准备：审查过程中找出的问题大部分是在准备期间发现的
编写报告：审查小组必须做出审查结果的书面总结报告
间接效果
交流：如无经验的程序员可学习新技术
质量：程序员可会有更多的心思保证正确性
小组同志化：测试员与程序员相互了解
解决方案：处理更严重的问题
四种方法
桌面审查
同事审查（伙伴审查）：审查代码，寻找问题和失误
走查：程序员陈述
检验：非程序员表述代码
编码标准和规范
坚持的原因
可靠性：按照某种标准编写的代码更可靠
可读性/维护性：符合设备标准和规范的代码更易于理解
移植性：在不同的硬件中运行
标准
标题
标准（或者规范）
解释说明
示例：给出如何使用标准的简单程序示例，这不是必需的
获取标准
www.ansi.org
www.iec.org
www.iso.ch
www.ncits.org
www.ieee.org
向销售编程工具软件的供货商索取信息
静态白盒测试：检查设计和代码
测试非运行部分，不执行软件
优点
尽早发现软件缺陷
为黑盒测试员在接受软件进行测试时设计和应用测试用例提供思路
负责人员
程序员：可以高质量编程
测试员：找bug
QA：白盒分析、评价软件质量
通用代码审查清单
数据引用错误：使用未经正确声明和初始化的变量、常量、数组、字符串或记录而导致的软件缺陷
数据声明错误：不正确地声明或使用变量和常量
计算错误：糟糕的数学问题，计算无法得到预期结果
比较错误：很可能是由于边界条件问题
控制流程错误：编程语言中循环等控制结构未按预期方式工作
子程序参数错误：软件子程序不正确的传递数据
输入/输出错误：文件读取、接受键盘或者鼠标输入以及向打印机或者屏幕等输出设备写入错误
其他检查
使用其他外语、处理扩展ASCII字符、用统一编码取代ASCII
软件移植到其他编译器和CPU是否要得到许可
考虑兼容性
程序编译是否产生“警告”或者“提示”信息
