软件测试原来是一本艺术

测试是一种艺术文化。测试有两种，第一是心理学，和经济学。
 
软件测试的心理学：在测试前，相关干系人都有自己的期望值，当然每个干系人的期望值，都是不一样的。那么作为测试环节的我们，该如何面对自己的期望值。由于有很多种不同的期望值，那么就会导致测试的结果会有很多种。至于为什么会这样的，首先我们来一同认识下，软件测试的心理学。

比如：开发人员的期望值，更期望自己的作品，完美无缺。
测试人员的期望值，更期望测试的项目，尽可能的少bug。
用户的期望值，更期望该项目能更符合他们的业务。
....
按照这样的期望值，我们不难发现，这个项目肯定会有很多的bug。只是未被发现而已。就相当于隐形的存在。用生活中的现实的案例，来分析，城市里道路的选择问题。我们从长途汽车总站到火车站，是不是会有很多种选择，当我们走其中一条道路时，走通了，能代表这条路上没有bug吗，不一定。但是我们在做测试的时候，需要把所有的道路都走一遍吗，肯定是不显示的。那么针对这样的问题。我们该怎么测试，以及我们测试时的期望值。

软件测试的经济学
黑盒测试，有称为数据驱动的测试。输入输出数据的驱动模式。穷举输入测试。
白盒测试，又称为逻辑驱动的测试。穷举路径测试。

测试用例的编写。

数据引用的错误
是否有引用的变量未初始化
对于所有的数组引用，是否每个元素的下标范围都在限定范围之内。
对于所有的数据引用，是否每个元素的下边范围都是整数。
对于所有的通过指针或者引用变量的引用。
数值型的类型或属性是否与编译器所预期的一直。
当内存分配的单元大小是否超过可寻址的单元大小。
假如一个数据结构的引用，是否每个地方对此的引用结构是否都一致。

数据声明时的错误
是否所有的变量都明确的声明。
如果变量被初始化，那么他的初始化值是否正确。
是否每个变量都赋予了正确的长度和数据类型。
是否存在相似名称的变量。

运算错误
是否存在不一致的数据类型计算。
是否有混合模式的运算。
是否有相同数据类型，不同字节长度的计算。
赋值语句的目标数据类型是和范围是否在右边表达式的数据类型和结果范围之内。
除数有没有可能是0
在特定的场合，变量的值是否超出了有意义的范围。

比较错误
是否有不同数据类型之间的比较
是否有混合模式的比较运算或不同长度的变量间的比较运算
比较运算符是否正确。
每个布尔表达式表示的值是否正确。
布尔运算符的操作数是否是布尔类型。

控制流程错误
是否所有的循坏最终都终止了
程序，模块，子程序的循环最终都终止了吗
由于实际情况是没有满足循环体入口的条件，循环体是否运行了。
是否存在仅差一个的错误。
是否存在不能穷尽的判断

接口错误
被调用模块的形参数量是否满足调用模块的实参的数量或者顺序是否正确
实参的属性是否与相应的形参的属性相匹配。
实参的单位是否与形参的单位是否相同。

输入输出的错误

.
.
.

其他检查

代码检查和代码走查都需要一个小组。后者更期望有一个测试人员在进行测试。

桌面检查：是目前效率最低，但是使用相对较多的方式。

目前应用最多的人工测试方式：
利用错误列表进行代码检查
小组代码走查
桌面检查
同行评审

 

《待续》

生活中随笔。