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 |
综上:首先准确分析出条件项和动作项,将输入条件进行等价类划分,然后将各个条件进行组合生成判断表。接下来简化判断表。
这样判断表出来后,写测试用例就相对简单了。