5.1定义
判断表是分析和表达多逻辑条件下执行不同操作的情况的工具。
使用判断表能够将复杂的问题按照各种可能的情况全部列举出来,简明并避免遗漏。因此,利用判断表能够设计出完整的测试用例集合。
在一些数据处理问题中,某些操作的实施依赖于多个逻辑条件的组合,即:针对不同逻辑条件的组合值,分别执行不同的操作。判断表很适合处理这类问题。
5.2判断的表优点和缺点
I. 优点:它能把复杂的问题按各种可能的情况一一列举出来,简明而易于理解,也可避免遗漏。
II. 缺点:不能表达重复执行的动作,例如循环结构。
3)B. Beizer 指出了适合使用判定表设计测试用例的条件:
①规格说明以判定表形式给出,或很容易转换成判定表。
②条件的排列顺序不会也不影响执行哪些操作。
③规则的排列顺序不会也不影响执行哪些操作。
④每当某一规则的条件已经满足,并确定要执行的操作后,不必检验别的规则。
⑤如果某一规则得到满足要执行多个操作,这些操作的执行顺序无关紧要。
B. Beizer提出这5个必要条件的目的是为了使操作的执行完全依赖于条件的组合。其实对于某些不满足这几条的判定表,同样可以借以设计测试用例,只不过尚需增加其它的测试用例罢了。
5.3判断表组成
判定表通常由四个部分组成,如下图:
1) 条件桩(Condition Stub):列出了问题的所有条件。通常认为列出的条件的次序无关紧要。
2) 动作桩(Action Stub):列出了问题规定可能采取的操作。这些操作的排列顺序没有约束。
3) 条件项(Condition Entry):列出针对它左列条件的取值。在所有可能情况下的真假值
4) 动作项(Action Entry):列出在条件项各种取值情况下采取的动作
5.4规则
任何一个条件组合的特定取值及其相应要执行的操作称为规则。在判断表中,贯穿条件项和动作项的一列就是一条规则。因此在判定表中列出多少组条件取值,也就有多少条规则。
5.5化简规则
化简规则就是合并有两条或多条具有相同动作的规则,并且条件项之间存在着极为相似的关系,如下图。
Y |
Y |
Y |
N |
N |
Y |
Y |
N |
Y |
N |
Y |
N |
Y |
Y |
Y |
X |
X |
X |
X |
X |
化简后(-表示不关心取值,无论取何值不影响动作项)
Y |
Y |
N |
Y |
N |
- |
- |
Y |
Y |
X |
X |
X |
5.6例
NextDate函数方法:
用决策表测试法测试以下程序:该程序有三个输入变量month、day、year(month、day和year均为整数值,并且满足:1≤month≤12和1≤day≤31),分别作为输入日期的月份、日、年份,通过程序可以输出该输入日期在第二天的日期。
共有三个输入变量:年、月、日
年份划分等价类:
Y1=非闰年 Y2=闰年
月份划分等价类:
M1=2月 M2=1、3、5、7、8、10月
M3=4、6、9、11月 M4=12月
日期划分等价类:
D1=1-27 D2=28日 D3=29 D4=30 D5=31
判断表如下(为节省空间,将某些相同动作的条件组合直接写在一列,具体应该有2*4*5=40个用例)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| ||||
条件项 |
年 |
Y1Y2 |
Y1 |
Y1 |
Y1Y2 |
Y1Y2 |
Y1Y2 |
Y1Y2 |
Y1Y2 |
Y1Y2 |
Y1Y2 |
Y2 |
Y2 |
Y2 | ||||
月 |
M1 |
M1 |
M1 |
M2 |
M2 |
M3 |
M3 |
M3 |
M4 |
M4 |
M1 |
M1 |
M1 | |||||
日 |
D1 |
D2 |
D3 D4 D5 |
D1 D2 D3 D4
|
D5
|
D1 D2 D3
|
D4 |
D5
|
D5 |
D1 D2 D3 D4 |
D2 |
D3 |
D4 D5 | |||||
动作项 |
日期加1 |
A |
|
|
A |
|
A |
|
|
|
A |
|
|
A | ||||
日期复位 |
|
A |
|
|
A |
|
A |
|
A |
|
A |
A |
| |||||
月份加1 |
|
A |
|
|
A |
|
A |
|
|
|
A |
A |
| |||||
月份复位 |
|
|
|
|
|
|
|
|
A |
|
|
|
| |||||
年加1 |
|
|
|
|
|
|
|
|
A |
|
|
|
| |||||
不可能 |
|
|
A |
|
|
|
|
A |
|
|
|
|
A |
简化后(貌似有些还能合并)
|
|
1 |
2 |
3-5 |
6-9 |
10 |
11-13 |
14 |
15 |
16 |
17-20 |
21 |
22 |
23-24 | ||||
条件项 |
年 |
- |
Y1 |
Y1 |
- |
- |
- |
- |
- |
- |
- |
Y2 |
Y2 |
Y2 | ||||
月 |
M1 |
M1 |
M1 |
M2 |
M2 |
M3 |
M3 |
M3 |
M4 |
M4 |
M1 |
M1 |
M1 | |||||
日 |
D1 |
D2 |
D3 D4 D5 |
D1 D2 D3 D4
|
D5
|
D1 D2 D3
|
D4 |
D5
|
D5 |
D1 D2 D3 D4 |
D2 |
D3 |
D4 D5 | |||||
动作项 |
日期加1 |
A |
|
|
A |
|
A |
|
|
|
A |
|
|
A | ||||
日期复位 |
|
A |
|
|
A |
|
A |
|
A |
|
A |
A |
| |||||
月份加1 |
|
A |
|
|
A |
|
A |
|
|
|
A |
A |
| |||||
月份复位 |
|
|
|
|
|
|
|
|
A |
|
|
|
| |||||
年加1 |
|
|
|
|
|
|
|
|
A |
|
|
|
| |||||
不可能 |
|
|
A |
|
|
|
|
A |
|
|
|
|
A |
综上:首先准确分析出条件项和动作项,将输入条件进行等价类划分,然后将各个条件进行组合生成判断表。接下来简化判断表。
这样判断表出来后,写测试用例就相对简单了。