软件工程第6章 测试.ppt

在实际使用判定表时，常常先将它简化。 简化是以合并相似规则为目标的。若表中有两条或多条规则具有相同的动作，并且在条件项之间存在着极为相似的关系，便可以设法将其合并。 合并规则的办法 ： “不关心”条目 （don’t care） 条件无关或条件不适用。 1）确定规则的个数。每个条件可取两个取值， 故应有2n种规则。 2）列出所有的条件桩和动作桩。 3）填入条件项。 4）填入动作项，这样便可得到初始决策表。 5）化简，合并相似规则后得到决策表。 构造决策表的5个步骤： 三角问题的决策表 c1: a,b,c 构成一个三角形 ? c2: a=b? c3: a=c? c4: b=c? a1: 非三角形 a2: 一般三角形 a3: 等腰三角形 a4: 等边三角形 a5: 不可能 N － － － Y Y Y Y Y Y Y N Y Y N Y Y Y N N Y N Y Y Y N Y N Y N N Y Y N N N ? ? ? ? ? ? ? ? ? 如果条件引用了等价类，则决策表如下所示 条件 c1: month在 M1中? c2: month 在 M2中? c3: month在M3中? a1 a2 a3 规则1 T － － 规则2 － T － 规则 3 － － T 条件互斥的决策表 M1={month: month has 30 days} M2={month: month has 31 days } M3={month: month is February} 扩展的三角问题的决策表 c1: ab+c? c2: ba+c? c3: ca+b? c4: a=b? c5: a=c? c6: b=c? a1: 非三角形 a2: 一般三角形 a3: 等腰三角形 a4: 等边三角形 a5: 不可能 F － － － － － T F － － － － ? ? ? ? T T F － － － T T T T T T T T T T T F T T T T F T T T T T F F T T T F T T T T T F T F ? ? ? ? ? T T T F F T T T T F F F ? ? 选择NextDate函数是因为它可以说明输入域的相关性问题。决策表可以突出这种依赖关系。等价类测试局限性之一是机械地选择等价类中的输入值，这可能会产生“奇怪的”测试用例。例如，找出2051年6月31日的下一天。 如果变量确实是相互独立的，那么使用等价 类的笛卡儿积有意义。如果变量间存在逻辑依赖 关系，那么这些依赖关系在机械地选取输入值时 可能丢失。 决策表方法通过使用 “不可能动作” 概念表示条件的不可能组合，来强调这种依赖关系。 考虑a，b，c的无效值产生了下面7个健壮等价类测试用例，用于一般三角形的判断 三角形问题的7个健壮等价类测试用例 测试用例 a b c 预期输出 Test1 Test2 Test3 Test4 Test5 Test6 Test7 3 -1 5 5 101 5 5 4 5 -1 5 5 101 5 5 5 5 -1 5 5 101 一般三角形 a 值不在允许的范围内 b 值不在允许的范围内 c 值不在允许的范围内 a 值不在允许的范围内 b 值不在允许的范围内 c值不在允许的范围内 NextDate 函数的等价类测试用例设计 NextDate是三个变量—month,day,year的函数。 有效等价类： M1={month: 1≤month≤12} D1={day: 1≤day≤31} Y1={year: 1912≤year≤2050} 无效等价类： M2={month: month1} M3={month: month12} D2={day: day1} D3={day: day31} Y2={year: year1912} Y3={year: year2050} 只有一个标准等价类测试用例： Case ID Month Day Year Expected Output Test1 8 16 1964 8/17/1964 健壮等价类测