-决策表部分.doc

软件测试-基于决策表的测试软件测试基于决策表的测试小组成员：组长： 张作强 学号：200741402138组员： 曾广强 学号：200741402127宋翟东 学号：200741402109完成时间：2010-6-2软件测试-基于决策表的测试目录软件测试-基于决策表的测试1第一部分：课程部分1决策表的产生原因1决策表的组成2条件桩2条件项2动作桩2动作项2决策表的特点2决策表的各种表示方法2决策表的生成4测试用例的设计【一】5测试用例的设计【二】7决策表的应用14第二部分：习题与答案部分15第一题15第二题16第三题17第四题17第三部分：实验部分19实验目的19实验任务19实验内容19第一部分：课程部分决策表的产生原因1. 在所有功能测试方法中，基于决策表的测试方法是最严格的，因为决策表具有逻辑严格性。2. 决策表很适合描述不同条件集合下采取行动的若干组合的情况。3. 决策表的完备性保证一种完备的测试。决策表的组成1. 条件桩列出了问题的所有条件。2. 动作桩列出了问题规定可能采取的操作。3. 条件项列出针对它所列条件的取值，在所有可能情况下的真假值。4. 动作项列出在条件项的各种取值情况下应该采取的动作。5. 规则规则任何一个条件组合的特定取值及其相应要执行的操作。在决策表中贯穿条件项和动作项的一列就是一条规则。条件桩条件项动作桩动作项【 规则 】 将任何一个条件组合的特定取值及相应要执行的动作称为一条规则。在决策表中贯穿条件项和动作项的一列就是一条规则。决策表的特点1. 如果条件条目具有二值逻辑，则决策表的条件部分是旋转了90度的真值表。2. 保证覆盖所有可能的条件值组合。3. 决策表的完备性保证一种完备的测试。决策表的各种表示方法1. 增加行动-通过增加行动，可显示何时规则在逻辑上不可能满足桩123456789C1:a,b,c构成三角形？NYYYYYYYYC2： a=b?YYYYNNNNC3: a=c?YYNNYYNNC4: b=c?YNYNYNYNA1：非三角形XA2：不等边三角形XA3：等腰三角形XXXA4：等边三角形XA5：不可能XXX2. 细化条件桩123456789C1:ab+c？NYYYYYYYYC2:ba+c?NYYYYYYYC3:ca+b?NYYYYYYC4:a=b吗？YYYYNNC5:a=c吗？YYNNYYC6:b=c吗？YNYNYNA1：非三角形XXXA2：不等边三角形A3：等腰三角形XXA4：等边三角形XA5：不可能XXX3. 增加一行规则条数统计桩123456789C1:ab+c？NYYYYYYYYC2:ba+c?NYYYYYYYC3:ca+b?NYYYYYYC4:a=b吗？YYYYNNC5:a=c吗？YYNNYYC6:b=c吗？YNYNYN规则条数统计32168111111A1：非三角形XXXA2：不等边三角形A3：等腰三角形XXA4：等边三角形XA5：不可能XXX4. 有限条目决策表所有条件都是二叉条件。（1） 若有n个条件，必须有( 2n)条规则，每条规则对应一个测试用例。（2） 若存在不关心项，则规则中每出现一个不关心项，规则数乘一次 2 。5. 扩展条目决策表条件可以有多个值。条件的顺序没有要求。6. 通过条件选择，可大大扩展决策表的规模。7. 若条件引用了等价类，则“”的实际含义为：“必须失败”。决策表的生成构造决策表的5个步骤：1. 确定规则的个数。有n个条件的决策表有2n个规则（每个条件取真、假值）。2. 列出所有的条件桩和动作桩。3. 填入条件项。4. 填入动作项，得到初始决策表。5. 简化决策表，合并相似规则。若表中有两条以上规则具有相同的动作，并且在条件项之间存在极为相似的关系，便可以合并。合并后的条件项用符号“-”表示，说明执行的动作与该条件的取值无关，称为无关条件。测试用例的设计【一】1. 用决策表表示测试用例，则输入即为条件，输出即为行动，有时，条件最终引用输入的等价类，行动则引用软件的主要功能处理部分。2. 决策表可机械地强制为完备的，故可得到测试用例的完整集合。三角形问题：三角形类型？输出的等价类R1=|有三条边a,b,c的等边三角形R2=|有三条边a,b,c的等腰三角形能构成三角形？R3=|有三条边a,b,c的不等边三角形R4=|三条边a,b,c不构成三角形输入条件的等价类D1=|a=b+cD2=|b=a+cD3=|c=a+b三角形问题的决策表：1. 通过增加行动，显示何时规则在逻辑上不可能满足。2. 通过条件选择，扩展决策表的规模。C1:a,b,c构成三角形？NYYYYYYYYC2:a=b吗？YYYYNNNNC3:a=c吗？YYNNYYNNC4:b=c吗？YNYNYNYNA1:非三角形XA2:不等边三角形XA3:等腰三角形XXXA4:等边三角形XA5:不可能XXX不关心条目对完整决策树的识别有微妙影响。改进的三角形问题的决策表：C1:ab+c？NYYYYYYYYYYC2:ba+c?NYYYYYYYYYC3:ca+b?NYYYYYYYYC4:a=b吗？YYYYNNNNC5:a=c吗？YYNNYYNNC6:b=c吗？YNYNYNYNA1:非三角形XXXA2:不等边三角形XA3:等腰三角形XXXA4:等边三角形XA5:不可能XXX3. 对于有限条目决策表：若有n个条件，须有( 2n)条规则。若存在不关心项，则规则中每出现一个不关心项，规则数乘1次 2。C1:ab+c？NYYYYYYYYYYC2:ba+c?NYYYYYYYYYC3:ca+b?NYYYYYYYYC4:a=b吗？YYYYNNNNC5:a=c吗？YYNNYYNNC6:b=c吗？YNYNYNYN规则条数统计3216811111111A1:非三角形XXXA2:不等边三角形XA3:等腰三角形XXXA4:等边三角形XA5:不可能XXX改进的三角形问题的测试用例：用例IDabc预期输出1412非三角形2142非三角形3124非三角形4555等边三角形5?不可能6?不可能7232等腰三角形8?不可能9322等腰三角形10223等腰三角形11345不等边三角形不关心条目对完整决策树的识别有微妙影响。测试用例的设计【二】NextDate问题：输入条件的等价类M1=月份|每月31天M2=月份|每月30天M3=月份|此月为2月规则总数： 8个1. 若条件引用了等价类，则“”的实际含义为：“必须失败”。条件规则1规则2规则3C1:月份在M1中吗？YC2:月份在M2中吗？YC3:月份在M3中吗？Y规则条数444A1:A2:条件1.11.21.31.42.12.22.32.43.13.23.33.4C1:月份在M1中吗？YYYYYYNNYYNNC2:月份在M2中吗？YYNNYYYYYNYNC3:月份在M3中吗？YNYNYNYNYYYY规则条数111111111111A1:A2:规则总数： 8个条件1.11.21.31.42.32.43.4冗余C1:月份在M1中吗？YYYYNNNNC2:月份在M2中吗？YYNNYYNNC3:月份在M3中吗？YNYNYNYN规则条数11111111A1:不可能XXXXXA2:2. 识别和（开发）完备决策表的能力，使我们在解决冗余性和不一致性方面处于有利地位。规则1-4和9是冗余。决策表是确定的。冗余决策表：条件1-456789C1:月份在M1中吗？YNNNNYC2:月份在M2中吗？YYNNNC3:月份在M3中吗？YNYNNA1:XXXXA2:XXA3:XXXXX规则4和9不一致。决策表是不确定的。在决策表中应小心使用不关心条目“”不一致决策表：条件1-456789C1:月份在M1中吗？YNNNNYC2:月份在M2中吗？YYNNNC3:月份在M3中吗？YNYNNA1:A2:A3:规则总数256关注不可能的组合：输入条件的等价类M1=月份|每月30天M2=月份|每月31天M3=月份|此月为2月D1=日期|1=日期=28D2=日期|日期=29D3=日期|日期=30D4=日期|日期=31Y1=年|年是闰年Y2=年|年不是闰年条件C1:月份在M1中？YYC2:月份在M2中？YYC3:月份在M3中？YYC4:日期在D1中？YYYYYC5:日期在D2中？YYYYYC6:日期在D3中？Y-YYY-C7:日期在D4中？YYY-YC8:年在Y1中？A1:月份中的天数太多A1:不可能A2:不能出现在非闰年中A2:NextDateA3:计算NextDateNextDate问题：1. 关注闰年；2. 关注扩展条目决策表；3. 扩展动作桩。其中：Y1 = 年: 年= 1900Y2 = : 1812 年 2012 AND (年 1900) AND (年= 0 mod 4)Y3 = 年: (1812 年 2012 AND年 0 mod 4) 输入条件的等价类M1=月份|每月30天M2=月份|每月31天M3=月份|此月为2月D1=日期|1=日期=28D2=日期|日期=29D3=日期|日期=30D4=日期|日期=31Y1=年|年是1900年Y2=年|Y3=年|A1：不可能A2：计算NextDate规则总数： 36个强一般等价类测试用例： 36个条件12345678910111213141516C1:月份在M1M1M1M1M2M2M2M2M3M3M3M3M3M3M3M3C2:日期在D1D2D3D4D1D2D3D4D1D1D1D2D2D2D3D4C3:年在Y1Y2Y3Y1Y2Y3规则条数统计3333333311111133A1:不可能XXXXA2:日期增1XXXXXXA3:日期复位XXXXXXA4:月份增1X？XXXXA5:月份复位？A6:年增1？输入条件的等价类M2=月份|每月31天，12月除外M3=月份|此月为12月M4=月份|此月为2月输入条件的等价类M1=月份|每月30天M2=月份|每月31天M3=月份|此月为2月D1=日期|1=日期=28输入条件的等价类D1=日期|1=日期50PYYYYYNNN维修记录全？YYNNYYYN运行年数50PYYYYY维修记录全？YYNNY运行年数10?YNYNN决策方案优先维修TTTA一般处理TT第四题1、 三角形问题的决策表测试（1） 列出条件桩C1:ab+c? C2:ba+c? C3:Ca+b? C4:a=b? C5:a=c? C6: