黑盒测试二学习教案

1、会计学1黑盒测试二黑盒测试二第一页，编辑于星期三：九点 五分。本节主要内容1. 决策表2. 因果图3. 错误推测法4. 项目案例第1页/共54页第二页，编辑于星期三：九点 五分。上节内容回顾第2页/共54页第三页，编辑于星期三：九点 五分。1.1 基于决策表的基于决策表的测试测试v决策表v基于决策表的测试v案例：三角形问题，NextDate问题v练习：隔一日问题内内容：容：第3页/共54页第四页，编辑于星期三：九点 五分。1.1.1决策表 决策表的原理 决策表的组成 决策表建立的步骤第4页/共54页第五页，编辑于星期三：九点 五分。1.1.1决策表 决策表 决策表（Decision Table

2、Decision Table），又叫决策表 决策表是分析和表达多逻辑条件下执行不同操作的工具。 在程序设计发展的初期，决策表被当作编写程序的辅助工具。第5页/共54页第六页，编辑于星期三：九点 五分。1.1.1决策表 条件桩（Condition Stub）列出问题的所有条件 动作桩（Action Stub）列出可能采取的操作 条件项（Condition Entity） 列出条件桩的取值 动作项（Action Entity）列出条件项各种取值下应该采取的动作第6页/共54页第七页，编辑于星期三：九点 五分。1.1.1决策表决策表的组成决策表的组成第7页/共54页第八页，编辑于星期三：九点 五分。

3、1.1.1决策表 任何一个条件组合的特定取值及其相应要执行的操作称为规则； 在决策表中贯穿条件项和动作项条件项和动作项的一列就是一条规则； 决策表中列出多少组条件取值，也就有多少条规则，即条件项和动作项有多少列。第8页/共54页第九页，编辑于星期三：九点 五分。1.1.1决策表规则示例：三角形问题规则示例：三角形问题第9页/共54页第十页，编辑于星期三：九点 五分。1.1.1决策表 规则合并 规则合并就是决策表的简化简化。 有两条或多条规则具有相同的动作相同的动作，并且其条件项之间存在着极为相似的关系相似的关系，就可以将规则合并。第10页/共54页第十一页，编辑于星期三：九点 五分。1.1.1

4、决策表 条件项“”表示与取值无关。第11页/共54页第十二页，编辑于星期三：九点 五分。1.1.1决策表 条件项“”在逻辑上包含其它的条件。第12页/共54页第十三页，编辑于星期三：九点 五分。1.1.1决策表 根据软件规格说明 列出所有的条件桩和动作桩； 确定规则的个数； 假如有n个条件，每个条件有两个取值（0,1）,则有2n n 种规则； 填入条件项； 填入动作项，得到初始决策表； 简化，合并相似规则（相同动作）。第13页/共54页第十四页，编辑于星期三：九点 五分。1.1.1决策表 问题描述： “对于功率大于50马力的机器，并且维修记录不全或已运行10年以上的机器，应给予优先的维修处理”

5、 请建立决策表。第14页/共54页第十五页，编辑于星期三：九点 五分。1.1.1决策表 （1）列出所有的条件桩和动作桩 条件桩 C1：功率大于50马力吗？ C2：维修记录不全吗？ C3：运行超过10年吗？ 动作桩 A1：进行优先处理 A2：作其他处理第15页/共54页第十六页，编辑于星期三：九点 五分。1.1.1决策表 （2）确定规则个数 输入条件个数：3 3； 每个条件的取值：“是”或“否”； 规则个数：2 2* *2 2* *2 =82 =8；u 功率大于50马力吗u 维修记录不全吗u 运行超过10年吗第16页/共54页第十七页，编辑于星期三：九点 五分。1.1.1决策表12345678条

6、条件件功率大于50马力吗？YYYYNNNN维修记录不全吗？YYNNYYNN运行超过10年吗？YNYNYNYN动动作作进行优先处理作其他处理v（3）填入条件项；v利用集合的笛卡尔积计算条件项的取值第17页/共54页第十八页，编辑于星期三：九点 五分。1.1.1决策表例：例：维修机器问题（续）维修机器问题（续）12345678条条件件功率大于50马力吗？YYYYNNNN维修记录不全吗？YYNNYYNN运行超过10年吗？YNYNYNYN动动作作进行优先处理 作其他处理 v（4）填入动作项；v1，2合并，5，7合并，6，8合并第18页/共54页第十九页，编辑于星期三：九点 五分。1.1.1决策表例：例

7、：维修机器问题（续）维修机器问题（续） （5）化简；(1)(2)(3)(4)(5)条条件件功率大于50马力吗？YYYNN维修记录不全吗？YNN运行超过10年吗？YNYN动动作作进行优先处理 作其他处理 第19页/共54页第二十页，编辑于星期三：九点 五分。1.1.2 基于决策表的测试 根据输入输出绘制决策表； 设计测试用例覆盖决策表中每条规则；第20页/共54页第二十一页，编辑于星期三：九点 五分。1.1.2 基于决策表的测试 问题描述 输入三个正整数a、b、c，分别作为三角形的三条边，通过程序判断三条边是否能构成三角形？如果能构成三角形，判断三角形的类型（等边三角形、等腰三角形、一般三角形）

8、。 请用基于决策表的方法设计测试用例。第21页/共54页第二十二页，编辑于星期三：九点 五分。1.1.2 基于决策表的测试 （1）条件桩 C1：a,b,c构成三角形？C2：a = b? C3：a = c？ C4：b = c？ （2）规则数共有四个条件，每个条件的取值为“是”或“否”，因此有24= 16条规则。第22页/共54页第二十三页，编辑于星期三：九点 五分。1.1.2 基于决策表的测试 （3）动作桩 A1：非三角形； A2：不等边三角形； A3：等腰三角形； A4：等边三角形； A5：不可能；第23页/共54页第二十四页，编辑于星期三：九点 五分。1.1.2 基于决策表的测试 （4）决策

9、表123456789条条件件a, b, c构成三角形NYYYYYYYYa = b?YYYYNNNNa = c？YYNNYYNNb = c？YNYNYNYN动动作作非三角形不等边三角形等腰三角形等边三角形不可能第24页/共54页第二十五页，编辑于星期三：九点 五分。1.1.2 基于决策表的测试 注意：注意： 条件的选择可以大大扩展决策表的规模； 例如a, b, c构成三角形吗？可以扩展为三个条件：a b + c?b a + c?c a + b?第25页/共54页第二十六页，编辑于星期三：九点 五分。1.1.2 基于决策表的测试条件桩修改后条件桩修改后的决策表的决策表第26页/共54页第二十七页，

10、编辑于星期三：九点 五分。1.1.2 基于决策表的测试a=b,a=c,bc二、设计测试用例二、设计测试用例第27页/共54页第二十八页，编辑于星期三：九点 五分。1.1.3 案例： NextDate函数 问题描述 程序有三个输入变量month、day、year，并且满足：1month12、1day31、1900 year 2050。它们分别作为输入日期的月份、日、年份，通过程序可以输出该输入日期在日历上下一天的日期。例如，输入为2005年11月29日，则该程序的输出为2005年11月30日。第28页/共54页第二十九页，编辑于星期三：九点 五分。1.1.3 案例： NextDate函数 M1=

11、月份：每月有30天 M2=月份：每月有31天 M3=月份：此月是2月 D1=日期：1日期28 D2=日期：日期=29 D3=日期：日期=30 D4=日期：日期=31 Y1=年：年是闰年 Y2=年：年是平年第29页/共54页第三十页，编辑于星期三：九点 五分。1.1.3案例： NextDate函数u年变量对应的等价类收缩为表中的一个条件第30页/共54页第三十一页，编辑于星期三：九点 五分。1.1.3 案例： NextDate函数 M1=月份：每月有30天 M2=月份：每月有31天 M3=月份：此月是2月 D1=日期：1日期28 D2=日期：日期=29 D3=日期：日期=30 D4=日期：日期=

12、31 Y1=年：年是平年 Y2=年：年是闰年第31页/共54页第三十二页，编辑于星期三：九点 五分。1.1.3 案例： NextDate函数M1=月份：每月有30天M2=月份：每月有31天，12月除外M3=月份：此月是12月M4=月份：此月是2月D1=日期：1日期 27D2=日期：日期=28D3=日期：日期=29D4=日期：日期=30D5=日期：日期=31Y1=年：年是闰年Y2=年：年不是闰年第32页/共54页第三十三页，编辑于星期三：九点 五分。1.1.3 案例： NextDate函数每月每月30天天每月每月31天天,12月除外月除外第33页/共54页第三十四页，编辑于星期三：九点 五分。1

13、.1.3 案例： NextDate函数此月是此月是12月月此月是此月是2月月此年是闰年此年是闰年第34页/共54页第三十五页，编辑于星期三：九点 五分。1.1.3 案例： NextDate函数第35页/共54页第三十六页，编辑于星期三：九点 五分。1.1.3 案例： NextDate函数第36页/共54页第三十七页，编辑于星期三：九点 五分。1.1.3 案例： NextDate函数第37页/共54页第三十八页，编辑于星期三：九点 五分。1.2 因果图本节内本节内容容w因果图分析法w因果图介绍w利用因果图导出测试用例w举例第38页/共54页第三十九页，编辑于星期三：九点 五分。1.2 因果图 因

14、果图（Cause-Effect GraphicsCause-Effect Graphics）分析方法 因果图分析法最终生成的是判定表， 适合于检查程序输入条件的各种组合情况。 因果图分析依据 需求规格说明中的因果关系 作用 能够按一定步骤，高效率地选择测试用例 指出程序规约描述中存在着的问题第39页/共54页第四十页，编辑于星期三：九点 五分。1.2 因果图 恒等恒等c1e1e1=1c1=1e1=0c1=0非非c1e1e1=0c1=1e1=1c1=0第40页/共54页第四十一页，编辑于星期三：九点 五分。1.2 因果图 或或c1e1c2c3e1=1c1=1 或 c2=1 或 c3=1否则e1=

15、0与与e1c2e1=1c1=1且c2=1否则e1=0c1第41页/共54页第四十二页，编辑于星期三：九点 五分。1.2 因果图第42页/共54页第四十三页，编辑于星期三：九点 五分。1.2 因果图第43页/共54页第四十四页，编辑于星期三：九点 五分。1.2 因果图第44页/共54页第四十五页，编辑于星期三：九点 五分。1.2 因果图 1.1.分析程序规格说明的描述中，哪些是原因，哪些是结果 原因常常是输入条件或是输入条件的等价类; 结果是输出条件; 2.2.分析程序规约的描述中语义的内容，并将其表示成连接各个原因与各个结果的“因果图”第45页/共54页第四十六页，编辑于星期三：九点 五分。1

16、.2 因果图 3.3.在因果图上使用若干个特殊的符号标明约束条件 4.4.把因果图转换成判定表 5.5.把判定表中每一列表示的情况写成测试用例第46页/共54页第四十七页，编辑于星期三：九点 五分。1.2 因果图 第一列字符必须是A或B，第二列字符必须是一个数字，在此情况下进行文件的修改 但如果第一列字符不正确，则给出信息L 如果第二列字符不是数字，则给出信息M第47页/共54页第四十八页，编辑于星期三：九点 五分。1.2 因果图 原因 1 -第一列字符是A; 2 -第一列字符是B; 3 -第二列字符是一数字 结果 21 -修改文件; 22 -给出信息L; 23 -给出信息M;第48页/共54页第四十九页，编辑于星期三：九点 五分。1.2 因果图 注：11是中间节/p>