代码检查、走查和评审

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

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

检查变量、标号的交叉引用表

检查子函数、宏、函数

等价性检查

常量检查

标准检查

风格检查

比较控制流

选择、激活路径

补充文档

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

类型和单位分析

引用分析

表达式分析

接口分析

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

它是一个完全没有约束的过程

它违反了软件测试的原则，人们不能有效地测试自己编写的程序

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

发现缺陷

遗漏和矛盾的地方

改进产品

考虑可替换的实现方法

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