软件测试-测试用例的经典例子
转载自:https://blog.****.net/andypk/article/details/5394924
一、等价类划分
问:某程序规定:"输入三个整数 a、 b、 c分别作为三边的边长构成三角形。通过程序判定所构成的三角形的类型,当此三角形为一般三角形、等腰三角形及等边三角形时,分别作计算 … "。用等价类划分方法为该程序进行测试用例设计。(三角形问题的复杂之处在于输入与输出之间的关系比较复杂。)解:
分析题目中给出和隐含的对输入条件的要求:
(1)整数
(2)三个数
(3)非零数
(4)正数
(5)两边之和大于第三边
(6)等腰
(7)等边
如果 a、 b 、 c满足条件( 1 ) ~ ( 4 ),则输出下列四种情况之一:
1)如果不满足条件(5),则程序输出为 " 非三角形 " 。
2)如果三条边相等即满足条件(7),则程序输出为 " 等边三角形 " 。
3)如果只有两条边相等、即满足条件(6),则程序输出为 " 等腰三角形 " 。
4)如果三条边都不相等,则程序输出为 " 一般三角形 " 。
列出等价类表并编号
覆盖有效等价类的测试用例:
a b c 覆盖等价类号码
3 4 5 (1)--(7)
4 4 5 (1)--(7),(8)
4 5 5 (1)--(7),(9)
5 4 5 (1)--(7),(10)
4 4 4 (1)--(7),(11)
覆盖无效等价类的测试用例:
二、边界值分析法
NextDate函数的边界值分析测试用例
在NextDate函数中,隐含规定了变量mouth和变量day的取值范围为1≤mouth≤12和1≤day≤31,并设定变量year的取值范围为1912≤year≤2050 。
mouth |
day |
预期输出 |
||
Test1
Test2
Test3
Test4
Test5
Test6
Test7
|
6
6
6
6
6
6
6
|
15
15
15
15
15
15
15
|
1911
1912
1913
1975
2049
2050
2051
|
1911.6.16
1912.6.16
1913.6.16
1975.6.16
2049.6.16
2050.6.16
2051.6.16
|
Test8
Test9
Test10
Test11
Test12
Test13
|
6
6
6
6
6
6
|
-1
1
2
30
31
32
|
2001
2001
2001
2001
2001
2001
|
day超出[1…31]
2001.6.2
2001.6.3
2001.7.1
输入日期超界
day超出[1…31]
|
Test14
Test15
Test16
Test17
Test18
Test19
|
-1
1
2
11
12
13
|
15
15
15
15
15
15
|
2001
2001
2001
2001
2001
2001
|
Mouth超出[1…12]
2001.1.16
2001.2.16
2001.11.16
2001.12.16
Mouth超出[1…12]
|
三、错误推测法
测试一个对线性表(比如数组)进行排序的程序,可推测列出以下几项需要特别测试的情况:
解答:
①确定规则的个数:这里有3个条件,每个条件有两个取值,故应有2*2*2=8种规则。
②列出所有的条件茬和动作桩:
③填入条件项。可从最后1行条件项开始,逐行向上填满。如第三行是:Y N Y N Y N Y N,第二行是:Y Y N N Y Y N N等等。
④填入动作桩和动作顶。这样便得到形如图的初始判定表。
|
1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
|
条 件 |
功率大于50马力吗? |
Y |
Y |
Y |
Y |
N |
N |
N |
N |
维修记录不全吗? |
Y |
Y |
N |
N |
Y |
Y |
N |
N |
|
运行超过10年吗? |
Y |
N |
Y |
N |
Y |
N |
Y |
N |
|
动 作 |
进行优先处理 |
x |
x |
X |
|
X |
|
X |
|
作其他处理 |
|
|
|
X |
|
x |
|
x |
初始判定表
⑤化简。合并相似规则后得到图。
|
1 |
2 |
3 |
4 |
5 |
|
条 件 |
功率大于50马力吗? |
Y |
Y |
Y |
N |
N |
维修记录不全吗? |
Y |
N |
N |
- |
- |
|
运行超过10年吗? |
- |
Y |
N |
Y |
N |
|
动 作 |
进行优先处理 |
x |
x |
|
X |
|
作其他处理 |
|
|
x |
|
x |