软件测试的艺术——学习笔记

软件测试是为发现错误而执行程序的过程

黑盒测试：穷举输入测试
白盒测试：穷举路径测试

软件测试的重要原则：
检查程序是否“未做其应该做的”仅是测试的一半，测试的另一半是检查程序是否“做了其不应该做的”

原则1：测试用例中一个必需部分是对预期输出或结果的定义
测试用例包括：
1.对程序的输入数据的描述
2.对程序在上述输入数据下的正确输出结果的精确描述。
原则5：测试用例的编写不仅应当根据有效和预期的输入情况，而且也应当根据无效和未预料到的输入情况。
主要的人工测试方法：
代码检查、走查以及可用性测试

---

代码检查错误列表总结（可以参考平时代码审查）

数据引用错误

1.是否有引用的变量未赋值或者未初始化？
2.下标的值是否在范围之内？
3.是否存在非整数下标？
4.是否存在虚调用？（既指针或引用变量的引用的内存单元是否已分配）
5.记录和结构的属性是否匹配？
6.索引或下标操作是否有“仅差一个”的错误？（数组从0开始）
7.继承的函数是否都被定义？

---

运算错误

1.是否存在非算术变量间的运算？
2.是否存在混合模式的运算？（int/float）
3.是否存在不同字长变量间的运算？
4.目标变量的大小是否小