代码检查、走查和评审

1.桌面检查的检查项目，由程序员自己完成，是一种静态检查的方法

2.桌面检查的检查项目主要有

• 检查变量、标号的交叉引用表
• 检查子函数、宏、函数
• 等价性检查
• 常量检查
• 标准检查
• 风格检查
• 比较控制流
• 选择、激活路径
• 补充文档

3.桌面检查进行静态分析的方法

• 类型和单位分析
• 引用分析
• 表达式分析
• 接口分析

4.桌面检查效率低的原因

• 它是一个完全没有约束的过程
• 它违反了软件测试的原则，人们不能有效地测试自己编写的程序

5.走查是对程序进行模拟，一步步地展示程序如何处理测试数据，其主要目标

• 发现缺陷
• 遗漏和矛盾的地方
• 改进产品
• 考虑可替换的实现方法

6.评审的目的是发现产品的缺陷