测试用例设计技术

charmer

一、白盒测试的测试用例设计（逻辑覆盖法）
这种方法是从程序内部的逻辑结构出发选取测试用例，因此要求测试用例设计人员对程序的逻辑结构十分清楚，甚至应掌握源程序的所有细节。
1. 语句覆盖
设计若干测试用例，运行被测试程序，使得每个可执行语句至少执行一次。
2. 判断覆盖
设计若干测试用例，运行被测试程序，使得程序中每个判断的真值分支和价值分支至少经历一次。对象是每个判断。
3. 条件覆盖
设计测试用例，运行被测试程序，使得程序中每个判断中的每个条件的可能取值情况至少满足一次。对象是每个条件。
4. 判断—条件覆盖
设计测试用例，运行被测试程序，使得程序的每个判断中的每个条件的所有可能取值组合至少出现一次，并且使每个判断本身的判定结果也至少出现一次。
5. 路径覆盖
设计测试用例，覆盖程序中所有的可能路径。
二、黑盒测试的测试用例设计
6. 等价类划分
等价划分是在完全不考虑程序内部结构的情况下，只根据程序的规格说明书设计测试用例，它是把程序的输入范围划分成若干部分，然后从每一部分中选取少量代表性数据作为测试用例。
该种设计方法分为等价类表和选取测试用例两步。
划分等价类：首先把数据极多的输入数据（有效的和无效的）划分为若干类，所谓等价类是指某个输入域的子集合。在该子集合中，各个输入数据对于发现程序中的错误是有效的。因此，把全部输入数据合理划分为若干等价类，在每一个等价类中取一个数据作为测试的输入条件，就可以用少量代表性测试数据，取得较好的测试效果。
有效等价类是指对于程序规格说明书来说，合理的、有意义的输入数据构成，用于检查需求规格说明书规定的程序的功能和性能。
无效等价类是指对于程序规格说明书来说，不合理的、无意义的输入数据构成，用于检查程序中功能和性能的实现是否有不符合规格说明书的地方。
等价类划分的原则：
（1） 如果输入条件规定了取值范围或值得个数，则可以确立一个有效等价类和两个无效等价类。如：1 < x < 99，则x > = 99 和 x < = 1 就是两个无效等价类。
（2） 如果输入条件规定了输入值的集合，或者是规定了“必须如何”的条件，这是克确立一个有效等价类和一个无效等价类。
（3） 如果输入条件是一个布尔值，则可以确定一个有效等价类和一个无效等价类。
（4） 如果规定了输入数据的一组值，而且程序要对每个输入值分别进行处理。这样可以为每一个输入值确立一个有效等价类，此外可以确立针对这组值确立一个无效等价类。
（5） 如果规定了输入数据必须遵守的规则，则可以确立一个有效等价类（符合规则）和若干个无效等价类（从不同角度违反规则）。
（6） 如果我们已确知，以划分的等价类中各元素在程序中的处理方式不同，则应将此等价类进一步分成更小的等价类。
测试用例的选择：
（1） 为每一个等价类规定一个唯一的编号。
（2） 设计一个新的测试用例，使其尽可能多地覆盖尚未被覆盖的有效等价类，重复这一步，直到所有的有效等价类都被覆盖为止。
（3） 设计一个新的测试用例，使其近覆盖一个尚未被覆盖的无效等价类，重复着一步，直到所有的无效等价类都被覆盖为止。
7. 边界值分析
是对等价划分方法的补充。
（1） 使用边界值分析方法设计测试用例，首先应确定边界情况。通常输入等价类与输出等价类的边界，就是应着重测试的边界情况，应当选取正好等于、刚刚大于、或刚刚小于边界的值作为测试数据。
（2） 边界值分析方法选择测试用例的原则在很多方面与等价划分方法类似。
A. 如果输入条件规定了值的范围，则应取刚达到这个范围的边界值，及刚刚超越这个范围边界的值作为测试输入数据。
B. 如果输入条件规定了值的个数，则用最大个数、最小个数、比最大个数多1，比最小个数少1的数做为测试数据。
C. 根据规格说明书的每个输出条件，使用前面的原则A。
D. 根据规格说明书的每个输入条件，使用前面的原则B。
E. 如果程序的规格说明书给出的输入域或输出域是有序集合，则应选取集合的第一个元素和最后一个元素作为测试用例。
F. 如果程序中使用了一个内部数据结构，则应当选择这个内部数据结构的边界值作为测试用例。
8. 错误推测法
错误推测法是根据经验和直觉推测程序中可能存在的错误，列出程序中所有可能有的错误和容易发生错误的特殊情况，根据他们选择测试用例。
9. 因果图
等价划分法和边界值分析法都是着重考虑输入条件，但未考虑输入条件之间的联系。如果在测试时考虑输入条件之间的各种组合，可能会产生一些新的情况。
所有输入条件之间的组合情况往往相当多。利用因果图生成判定表，它适合于检查程序输入条件的各种组合情况。对于其它的测试方法都是我们实际中用到最多的测试用例设计方法，而因果图设计方法是用的最少的一种方法也是最复杂的一种一种方法，但是又是很多的公司笔试的时候考得比较多的一种方法，在迅雷的某份试卷中有如下的一道题目（大意是画出下图的因果图并在判定表中标出需要设计用例的地方）：
1. 年薪制员工：严重过失，扣年终风险金的4%；过失，扣年终风险金的2%
2. 非年薪制员工：严重过失，扣当月薪资的8%；过失，扣当月薪资的4%
首先，列出原因和结果，如下表
   原因                        结果
c1-年薪制员工            a1-扣年终风险金的4%
c2-非年薪制员工          a2-扣年终风险金的2%
c3-严重过失              a3-扣当月薪资的8%
c4-过失                 a4-扣当月薪资的4%



如果大家看不清楚图就点开看的
判定表：

	1	2	3	4	5	6	7	8	9	10	11	12	13	14	15	16
C1	0	0	0	0	0	0	0	0	1	1	1	1	1	1	1	1
C2	0	0	0	0	1	1	1	1	0	0	0	0	1	1	1	1
C3	0	0	1	1	0	0	1	1	0	0	1	1	0	0	1	1
C4	0	1	0	1	0	1	0	1	0	1	0	1	0	1	0	1
A1					0	0	0	0	0	0	1	1
A2					0	0	0	0	1	1	0	1
A3					0	0	1	1	0	0	0	0
A4					0	1	0	1	0	0	0	0
TC					Y	Y	Y	Y	Y	Y	Y	Y

判定表中TC标记为Y的每一列就是测试用例

charmer

我不知道大家看到这个判定表没？
开始的时候我把因果图发上来了，没做表，后来把表做上来的时候发现图不见了，大家去我的相册里看图吧，不好意思了，或者打开这个网址也可以看到http://www.51testing.com/attachments/2008/03/49159_200803131339581.png

charmer

或者去我空间看， 觉得效果要好很多的
论坛里的表看不到结果
51的论坛不知道怎么做的
前天我发表的文章我到今天重新登陆才看到发表在首页上
前天怎么刷新也刷不出来