测试的艺术：代码检查、走查与评审

软件开发人员通常不会考虑的一种测试形式-人工测试。

大多数人都以为，因为程序是为了供机器执行而编写的，那么也该由机器来对程序进行测试。这种想法是有问题的。人工测试方法在暴露错误方面是很有成效的。实际上，大多数的软件项目都应使用到一下的人工测试方法：

1. 利用错误列表进行代码检查

2. 小组代码走查

3. 桌面检查

4. 同行评审

代码检查:

所谓代码检查是以组为单位阅读代码，它是一系列规程和错误检查技术的集合。

一个代码检查小组通常由四人组成：

1. 协调人：以为称职的程序员
2. 该程序的编码人员
3. 该程序的设计人员
4. 测试专家

用于代码检查的错误列表：

• 数据引用错误
  • 是否有引用的变量未赋值或未初始化
  • 下标的值是否在范围之内
  • 是否存在非整数下标
  • 是否存在虚调用
  • 当使用别名时属性是否正确
  • 记录和结构的属性是否匹配
  • 是否计算位串的地址，是否传递位串参数
  • 基础的存储属性是否正确
  • 跨过程的结构定义是否匹配
  • 索引或下标操作是否有“仅差一个”的错误
  • 继承需求是否得到满足
• 数据声明错误
  • 是否所有的变量都已声明
  • 默认的属性是否被正确理解？
  • 数组和字符串的初始化是否正确？
  • 变量是否赋予了正确的长度，类型和存储类
  • 初始化是否与存储类相一致？
  • 是否有相似的变量名？
• 运算错误
  • 是否