【软件测试】有了这个列表，必定提高代码检查效率

在白盒测试时需要代码检查，在代码检查中有一份错误列表作为参考，更容易发现程序是否存在常见错误。代码检查错误主要类型如下：数据引用错误、数据声明错误、运算错误、比较错误、控制流程错误、接口错误、输入/输出错误、其他检查。

数据引用错误

1. 是否有引用的变量未赋值或未初始化？
2. 下标的值是否在范围之内。
3. 是否存在非整数下标？
4. 当使用别名是属性是否正确？
5. 记录和结构的属性是否匹配？
6. 基础的存储属性是否正确？
7. 索引或下标操作是否有“仅差一个”的错误？也就是说，是否能正确获取数组第一个数和数组最后一个数。
8. 对于对象语言，继承需求是否得满足？

数据声明错误

1. 是否所有的变量都已声明？

2. 默认的属性是否被正确理解？

3. 数组和字符串的初始化是否正确？

4. 变量是否赋予了正确的长度、类型？

5. 初始化是否与存储类相一致？

6. 是否有相似的变量名？

运算错误

1. 是否存在不一致数据类型（如非算术变量间）的运算？
2. 是否错在混合模式的运算？如浮点变量与一个整型变量做运算。
3. 是否存在相同数据类型、不同字长变量间的运算？
4. 目标变量的大小是否小于右边表达式结果？
5. 中间结果是否上溢或下溢？ 也就是说，最终的结果看起来是个有效值，但中间结果对于编程语言的数据类型可能过大或者过小。
6. 是否存在被0除？
7. 是否存在二进制的不精确度？
8. 变量的值是否超过了有意义的范围？
9. 操作符的优先顺序是否被正确理解？
10. 整数运算是否有使用不当

比较错误

1. 是否存在不同类型变量间的比较？例如字符串与日期相比较。
2. 是否存在混合模式的比较运算，或不同长度的变量的比较运算？例如整型和浮点型相加减。
3. 比较运算符是否正确？”至多“、”至少“、”大于“、"小于"、”等于”等比较关系
4. 布尔表达式所叙述的内容是否正确？涉及到“与”、“或”、”非“的表达式
5. 比较运算是否与布尔表达式相混合？例如判断a、b、c是否相等，在数学判断方法：a== b == c，而在编写实际是 (a== b )&&( b ==c)
6. 是否存在二进制小数的比较？
7. 操作符的优先顺序是否被正确理解？
8. 区分&和&&区别。
   ​

控制流程错误

1. 是否超出了多条分支路径？
2. 是否每个循环都终止了？
3. 是否某个程序都终止了？
4. 是否存在有入口条件不满足而跳过循环体？
5. 可能的循环越界是否正确？
6. 是否存在“仅差一个”的迭代错误？迭代数量恰恰多一次或少一次？
7. 在语句组或代码块的括号位置是否正确。
8. 是否存在不能穷尽的判断？

接口错误

1. 形参的数量是否等于实参的数量？
2. 形参的属性是否与实参的属性相匹配？
3. 传递给被调用模块的实参个数是否等于其形参个数？
4. 调用内置函数，实参的数量、属性、顺序是否正确？

输入/输出错误

1. 文件属性是否正确？
2. OPEN语句是否正确？
3. I/O语句是否符合格式规范？
4. 缓冲大小与记录大小是否匹配？
5. 文件在使用前是否打开？
6. 文件在使用后是否关闭？
7. 文件结束条件是否别正确处理？
8. 是否处理I/O错误？

其他检查

1. 在交叉引用列表中是否存在未引用过的变量。
2. 属性列表是否与预期的相一致？
3. 是否存在“警告”或“提示“信息？
4. 是否对输入的合法性进行了检查？

结语

文中列出常见检查清单，列出共性问题，读者把自己使用编程语言中特有错误加入到列表中，日后不断完善。

参考《软件测试的艺术》