测试技术-决策表、因果图、基于状态的测试、流程图场景法.pptVIP

因果图M约束(强制)：若结果a为1，则结果b强制为0。MabIRabIR约束(无关)：满足了条件a，条件b就无关紧要了因果图基本步骤分析程序规格说明中哪些是因，哪些是果。因通常是输入条件或是输入条件的等价类，果是输出条件。找出因与果之间的关系、因与因之间的约束关系，画出因果图。（在因果图中可以引入一些中间节点）将得到的因果图转换为决策表。为决策表中每一列规则设计一个测试用例和测试数据。因果图案例分析程序的规格说明要求：输入的第一个字符必须是#或*，第二个字符必须是一个数字，此情况下进行文件的修改；如果第一个字符不是#或*，则给出信息N；如果第二个字符不是数字，则给出信息M。因果图（1）分析程序规格说明中的原因和结果：（2）画出因果图（编号为10的中间结点是导出结果的进一步原因）：c1c2c3e110e2e3～∨E～∧原因：c1第一个字符是#c2第一个字符是*c3第二个字符是一个数字结果：e1给出信息Ne2修改文件e3给出信息M因果图（3）将因果图转换成如下所示的决策表：12345678C1YYYYNNNNC2YYNNYYNNC3YNYNYNYN10YYYYNNe1YYe2YYe3YYY不可能YY测试数据#3#A*6*BA1GT因果图（4）根据决策表中的每一列设计测试用例：测试用例编号输入数据预期输出1#3修改文件2#A给出信息M3*6修改文件4*B给出信息M5A1给出信息N6GT给出信息N和信息M因果图练习有一个处理单价为5角钱的饮料的自动售货机，其规格说明如下：

（1）若投入5角钱或1元钱的硬币，押下〖橙汁〗或〖啤酒〗的按钮，则相应的饮料就送出来。

（2）若售货机没有零钱找，则一个显示〖零钱找完〗的红灯亮，这时在投入1元硬币并押下按钮后，饮料不送出来而且1元硬币也退出来；

（3）若有零钱找，则显示〖零钱找完〗的红灯灭，在送出饮料的同时退还5角硬币。请绘制出因果图和判定表。因果图第一步：分析原因和结果

原因：

1、售货机有零钱找

2、投入1元硬币

3、投入5角硬币

4、押下橙汁按钮

5、押下啤酒按钮

结果：

21、售货机〖零钱找完〗灯亮

22、退还1元硬币

23、退还5角硬币?????????????

24、送出橙汁饮料

25、送出啤酒饮料第二步：画出因果图

所有原因结点列在左边，所有结果结点列在右边。建立中间结点，表示处理的中间状态。中间结点：

11、投入1元硬币且押下饮料按钮

12、押下〖橙汁〗或〖啤酒〗的按钮

13、应当找5角零钱并且售货机有零钱找

14、钱已付清因果图因果图第三步：转换成判定表基于状态的测试概念是一种通过对测试对象的状态以及状态转换进行分析后得出测试用例的测试方法。基于状态的测试-基本步骤1、生成状态转换图系统从开始状态出发，到达不同的状态在状态间触发转换的触发事件状态的变化可能会引发行为另一个特殊的状态是“结束”状态基于状态的测试-基本步骤堆栈处理（状态转换图）出栈进栈栈顶栈底基于状态的测试-基本步骤2、确定测试标准应该覆盖所有的状态至少一次对于每个状态，应该考虑所有能引起从这个状态触发的转换的触发事件所有可能的n转换的序列都应该被执行（n指深度。n=1，即深度为1。1转换，就是2个状态参与;2转换，就是3个状态参与）结对测试（正交矩阵）4、删除冗余行5、补充选项方法：1.生成分类树根据测试相关性分解输入条件的集合分类将分类分解成不相交的子类（等价）类在类内递归应用分类分类树分类树构件颜色形状 大小红蓝绿矩形三角形圆形小大等边等腰不等边三角形类 2.生成测试用例从不同类的代表值的组合生成测试用例，其中每个分类中只能考虑一个类（组合标准）构件颜色形状 大小红蓝绿矩形三角形圆形小大等边等腰不等边三角形类 组合标准：最小组合——所有的类必须至少出现一次（各分类之间不存在逻辑关系）分类树构件颜色形状 大小红蓝绿矩