[工学]第3章 黑盒测试及其用例的设计2.pptVIP

3.5 因果图法 P72 实例 有一个处理单价为5角钱的饮料的自动售货机，相应规格说明如下： 若投入5角钱，按下〖饮料〗的按钮（如按下〖可乐〗的按钮或〖雪碧〗的按钮），则相应的饮料就送出来（每次只投入一个硬币，只按下一种饮料的按钮） 若售货机没有零钱找，则一个显示〖零钱找完〗的红灯会亮，这时再投入1元硬币并按下按钮后，饮料不送出来而且1元硬币也退出来。 若有零钱找，则显示〖零钱找完〗的红灯不会亮，若投入 1元硬币及按饮料按钮，则送出饮料的同时找回5角硬币。 输入条件之间有组合关系和约束关系，如何设计测试用例？ 3.5.1 因果图法的简介 因果图法产生的背景： 考虑输入条件的组合。 因果图法的简介（续） 因果图法思想：一些程序的功能可以用判定表（或称决策表）的形式来表示，并根据输入条件的组合情况规定相应的操作。 因果图法的定义：利用图解法分析输入的各种组合情况，从而设计测试用例，它适合于检查程序输入条件的各种组合情况。 采用因果图法设计测试用例的步骤： （1）根据程序规格说明书描述，分析并确定因（输入条件）和果（输出结果或程序状态的改变），画出因果图。 （2）将得到的因果图转换为决策表(判定表)。 （3）为决策表中每一列所表示的情况设计一个测试用例。 3.5.2 因果图 因果图中用来表示4种因果关系的基本符号： ci : 表示输入状态(原因) ei :表示输出状态(结果) 4种基本关系 在基本符号中，图中的左结点ci表示输入状态（或称原因），右结点ei表示输出状态（或称结果）。ci 与 ei 取值0或1，0表示某状态不出现，1则表示某状态出现。 恒等：若 c1 是1，则 e1 也为1，否则 e1 为0。 非：若 c1 是1，则 e1 为0，否则e1为1。 或：若 c1 或 c2 或 c3 是1，则 e1 为1，否则 e1 为0。 与：若 c1 和 c2 都是1，则 e1 为1，否则 e1 为0。 因果图中的约束关系 在实际问题中输入状态相互之间、输出状态相互之间可能存在某些依赖关系，称为“约束”。对于输入条件的约束有E、I、O、R四种约束，对于输出条件的约束只有M约束。 E约束(异)：a和b中最多有一个可能为1，即a和b不能同时 为1。 I 约束(或)：a、b、c中至少有一个必须为1，即 a、b、c不能同时为0。 O约束(唯一)：a和b必须有一个且仅有一个为1。 R约束(要求)：a是1时，b必须是1，即a为1时，b不能为0。 M约束(强制)：若结果a为1，则结果b强制为0。 因果图（续） 因果图中用来表示约束关系的约束符号： 使用因果图法生成测试用例 基本步骤： （1）分析软件规格说明中哪些是原因（即输入条件或输入条件的等价类），哪些是结果（即输出条件），并给每个原因和结果赋予一个标识符。 （2）找出原因与结果之间、原因与原因之间对应的关系， 画出因果图。 （3）由于语法或环境的限制，有些原因与原因之间、原因与结果之间的组合情况不可能出现。为表明这些特殊情况，在因果图上用一些记号表明约束或限制条件。 （4）把因果图转换为决策表。 （5）根据决策表中的每一列设计测试用例。 3.5.3 因果图法测试举例 因果图法测试举例（续） 因果图法测试举例（续） 3.6 决策表(判定表) 在一些数据处理问题当中，某些操作的实施依赖于多个逻辑条件的组合，即：针对不同逻辑条件的组合值，分别执行不同的操作。决策表很适合于处理这类问题。 决策表的概念：决策表是分析和表达多逻辑条件下执行不同操作的情况的工具。 在一些应用中，系统需要根据一组输入条件确定要执行的动作（输出）。 例如，“阅读指南”表 决策表将条件和动作的关系表示为表格的形式。如后表所示。决策表的上半部分是条件，下半部分是动作，每一列表达一条处理规则---特定条件组合所对应的动作。 对于条件：通常分别用“1或T,Y,√”表示条件满足，“0或F,N”表示条件不满足，“空白“表示条件与规则无关。 对于动作：通常分别用“1或T,Y,√”表示执行动作，“0，F,N”表示不执行动作。 决策表的组成 决策表通常由以下4部分组成： 条件桩—列出问题的所有条件 条件项—针对条件桩给出的条件列出所有可能的取值 动作桩—列出问题规定的可能采取的操作 动作项—指出在条件项的各组取值情况下应采取的动作 决策表的生成 构造决策表的步骤： （1） 确定规则的个数。 有n个条件的决策表有2n个规则（每个条件取真、假值）。 （2） 列出所有的条件桩和动