黑盒测试决策表因果图第二讲.ppt

牛倩软件测试第四章 黑盒测试1.黑盒测试概念 2.等价类测试3.边界值分析法4.决策表5.因果图6.错误推测法上节课讲了什么？l黑盒测试：根据功能需求来测试程序是否按照预期工作。l等价类划分：等价类是输入域的某个子集合，而所有的等价类的并集是整个输入域。在子集合中，各个输入数据对于揭露程序中的错误是等效的。l边界值分析：边界值分析关注输入空间的边界，并从中标识测试用例。3.最坏情况测试最坏情况测试的基本思想基本思想边界值测试分析采用了可靠性理论的单缺陷假设最坏情况测试拒绝这种假设，关心当多个变量取极值当多个变量取极值时会出现什么情况？最坏情况测试用例设计方法对每一个变量首先进行包含最小值、略高于最小值、正常值、略低于最大值、最大值五个元素集合的测试，然后对这些集合进行笛卡尔积计算，以生成测试用例。一个变量个数为n的函数的最坏情况测试会产生5n个测试用例。两变量函数的最坏情况测试用例X2最坏情况与边界值分析的比较基本边界值分析测试用例是最坏情况测试用例的真子集。最坏情况测试显然更彻底最坏情况测试工作量大得多n变量函数的最坏情况测试会产生5的n次方个测试用例，边界值分析只产生4n+1个测试用例两变量函数的健壮最坏情况测试用例如果输入条件对取值范围进行了限定，则应以边界内部以及刚超出范围边界外的值作为测试用例。如果对取值的个数进行了界定，则应分别以最大、稍小于最大、稍大于最大、最小、稍小于最小、稍大于最小个数作为测试用例。对于输出条件，同样可以应用上面提到的两条原则来进行测试用例设计。如果程序规格说明书中指明输入或者输出域是一个有序的集合，如顺序文件、表格等，则应注意选取有序集合中的第一个和最后一个元素作为测试用例。边界值分析法设计测试用例的原则：决策表决策表是分析和表达多逻辑条件下执行不同操作的工具。决策表能够将特别复杂的问题按照各种可能的情况一一列举出来，可简明扼要并且很好的避免遗漏。决策表的组成条件桩列出问题的所有条件动作桩列出可能采取的操作条件项列出条件桩的取值动作项列出条件项各种取值下应该采取的动作其中：动作项和条件项紧密相关，指出在条件项的各组取值情况下应采取的动作。规则任何一个条件组合的特定取值及其相应要执行的操作称为规则在决策表中贯穿条件项和动作项的一列就是一条规则决策表中列出多少组条件取值，也就有多少条规则，即条件项和动作项有多少列。规则示例：三角形问题规则l规则合并决策表的简化l规则合并就是决策表的简化。l有两条或多条规则具有相同的动作，并且其条件项之间存在着极为相似的关系，就可以将规则合并。（1）两条规则合并成一条条件项“”表示与取值无关。（2）两条规则的进一步合并条件项“”在逻辑上包含其它的条件。3.决策表建立步骤根据软件规格说明列出所有的条件桩和动作桩；确定规则的个数；假如有n个条件，每个条件有两个取值（0,1）,则有2n 种规则；填入条件项；填入动作项，得到初始决策表；简化，合并相似规则（相同动作）。例：维修机器问题问题描述：“对于功率大于50马力的机器，并且维修记录不全或已运行10年以上的机器，应给予优先的维修处理”请建立决策表。例：维修机器问题（1）列出所有的条件桩和动作桩条件桩C1：功率大于50马力吗？C2：维修记录不全吗？C3：运行超过10年吗？动作桩A1：进行优先处理A2：作其他处理例：维修机器问题（2）确定规则个数输入条件个数：3；每个条件的取值：“是”或“否”规则个数：2*2*2=8；u 功率大于50马力吗u 维修记录不全吗u 运行超过10年吗例：维修机器问题（3）填入条件项；v利用集合的笛卡尔积计算条件项的取值例：维修机器问题（4）填入动作项；v1，2合并，5，7合并，6，8合并例：维修机器问题（5）化简；例：NextDate函数问题描述 程序有三个输入变量month、day、year，并且满足：1month12、1day31、1900 year 2050。它们分别作为输入日期的月份、日、年份，通过程序可以输出该输入日期在日历上下一天的日期。例如，输入为2005年11月29日，则该程序的输出为2005年11月30日。4.5 因果图因果图分析法因果图介绍利用因果图导出测试用例举例因果图因果图法是一种利用图解法分析输入的各种组合情况，从而设计测试用例的方法，它适合于检查程序输入条件的各种组合情况。基本概念 原因：输入状态，用ci表示 结果：输出状态，用ei表示 ci与ei取值0或1：0表示某状态不出现，1则表示出现4.5 因果图因果图法因果图中的四种基本关系恒等、非、或、与输入条件的四种约束（依赖关系）E约束、I约束、O约束、R约束输出条件的约束M约束因果图法因果图中的四种基本关系1.恒等：若c1是1，则e1也为1，否则为0.2.非：若c1是1，则e1为0，否则为1.c1e1c1e1因果图法因果图中的四种基本关系3.或：若c1或c2或c3是1，则e1也为1，否则为0.4.与：若c1和c2都是1，则e1为1，否则为0.c1e1c1e1c2c3因果图法输入条件的四种约束（依赖关系）因果图法输入条件的四种约束（依赖关系）输出条件约束：3.利用因果图设计测试用例1.确定软件规格中的原因和结果，并给每个原因和结果赋予一个标示符。2.确定原因和结果之间的逻辑关系，画出因果图。包括原因和结果之间的关系和原因和原因之间的关系3.确定因果图中的各个约束。4.把因果图转换成判定表5.根据决策表设计测试用例举例：软件规格说明书第一列字符必须是A或B，第二列字符必须是一个数字，在此情况下进行文件的修改。但如果第一列字符不正确，则给出信息L，如果第二列字符不是数字，则给出信息M1、确定软件规格中的原因和结果原因 1-第一列字符是A;2-第一列字符是B;3-第二列字符是一数字结果 21-修改文件;22-给出信息L;23-给出信息M;2、确定原因和结果之间的逻辑关系原因 1-第一列字符是A;2-第一列字符是B;3-第二列字符是一数字结果 21-修改文件;22-给出信息L;23-给出信息M;132112321223、确定因果图中的各个约束考虑到原因1和原因2不可能同时为1因此在因果图上施加E约束13211232122E例：自动售货机问题有一个处理单价为5角钱的饮料的自动售货机软件。其规格说明如下：若投入5角钱或1元钱硬币，按下“橙汁”或“啤酒”的按钮，则相应的饮料就送出来。若售货机没有零钱找，则显示“零钱不足”的红灯亮，这时再投入1元硬币并按下按钮后，饮料不送出来而且一元硬币也退出来；若有零钱找，则显示“零钱不足”的红灯灭，在送出饮料的同时退5角硬币。