第07章功能测试(03因果图法)精选.ppt

厦门理工学院 计算机信息工程学院软件工程系 崔建峰 崔建峰 jfcui@xmut.edu.cn 因果图法 等价类划分方法和边界值分析方法的不足 着重考虑输入条件，而不考虑输入条件的各种组合，也不考虑输入条件之间的相互制约的关系，但有时一些具体问题中的输入之间存在着相互依赖的关系，如NextDate函数问题。 * 因果图法 如果输入之间有关系，我们在测试时必须考虑输入条件的各种组合，那么可以考虑使用一种适合于描述对于多种条件的组合，相应产生多个动作的形式来设计测试用例，这就需要利用因果图。 通过因果图，可以建立输入条件和输出之间的逻辑模型，从而比较容易确定输入条件组合和输出之间的逻辑关系，有利于设计全面的测试用例。 * 输入与输出关系 Ci：表示原因（Cause, 输入状态）； Ei：表示结果（Effect, 输出状态）。 输入与输出之间的关系 * 输入或输出之间的约束 实际问题中,输入状态之间或输出结果之间可能存在某些依赖关系,这种依赖关系被称为约束. 在因果图中使用特定的符号来表示这些约束关系 E约束：互斥，排他 I约束：包含，或 O约束：唯一 R约束：要求 M约束：屏蔽 * 约束关系说明 E约束(异): a,b最多有一个可能为1,不能同时为1. * 约束关系说明 I约束(或): a,b,c中至少有一个必须为1,不能同时为0. * 约束关系说明 O约束(惟一): a和b必须有一个且仅有一个为1 * 约束关系说明 R约束(要求):a是1时,b必须是1,即a为1时,b不能为0 * 约束关系说明 M约束:对输出条件的约束,若结果a为1,则结果b必须为0. * 因果图法设计步骤 分析软件规格说明书中的输入输出条件并划分出等价类，将每个输入输出赋予一个标志符；分析规格说明中的语义，通过这些语义来找出多个输入因素之间的关系。 找出输入因素与输出结果之间的关联，将对应的输入与输出之间的关系关联起来，并将其中不可能的组合情况标注成约束或者限制条件，形成因果图。 由因果图转化成决策表，任何由输入与输出之间关系构成的路径，形成决策表的一列 将决策表的每一列拿出来作为依据，设计测试用例。一般来说，决策表中的每一列对应一条测试用例。 * 字符问题 某个软件的规格说明书中规定:第一个字符必须是A或B,第二个字符必须是一个数字,在此情况下进行文件的修改,但如果第一个字符不正确,则给出信息L；如果第二个字符不正确,则给出信息M。 * 字符问题 分析问题,按照如下步骤进行: (1)根据软件规格说明书,列出原因和结果. (2)找出原因和结果之间的关系,原因和原因之间的约束关系,画出因果图. (3)将因果图转化为判定表 (4)根据判定表设计测试用例. * 字符问题 原因: C1:第一个字符是A; C2:第一个字符是B; C3:第二个字符是一个数字. 结果: E1:修改文件; E2:给出信息L;(第一个字符不对给出信息L) E3:给出信息M;(第二个字符不对给出信息M) * 字符问题 因果图 中间结果 * 带有E约束的因果图 E * 将因果图转化为决策表 1 2 3 4 5 6 7 8 C1 C2 C3 10 1 1 1 1 1 0 1 0 1 1 1 0 0 1 0 1 1 1 0 1 0 1 0 0 1 0 0 0 0 0 E1 E2 E3 不可能 √ √ √ √ √ √ √ √ √ 测试用例 A3 A5 AM A B3 B5 BM B* C2 X6 CM D* * 字符问题 设计测试用例 测试用例1: 输入数据:A3 预期输出:修改文件 测试用例2: 输入数据:AM 预期输出:给出信息M 测试用例3: 输入数据:B3 预期输出:修改文件 测试用例4: 输入数据:B* 预期输出:给出信息M 测试用例5: 输入数据:C2 预期输出:给出信息L 测试用例6: 输入数据:CM 预期输出:给出信息LM * 自动售货机问题 例如，有一个处理单价为5角钱的饮料的自动售货机软件测试用例的设计。其规格说明如下： 若投入5角钱或1元钱的硬币，按下〖橙汁〗或〖啤酒〗的按钮，则相应的饮料就送出来。若售货机没有零钱找，则一个显示〖零钱找完〗的红灯亮，这时在投入1元硬币并按下按钮后，饮料不送出来而且1元硬币也退出来；若有零钱找，则显示〖零钱找完〗的红灯灭，在送出饮料的同时退还5角硬币。” * 自动售货机问题 零钱找完 投币口 退币口 橙汁 啤酒 出货口 5角 1元 取货 * 自动售货机问题 分析这一段说明，列出原因和结果 原因: 1. 售货机有零钱找 2. 投入1元硬币 3. 投入5角硬币 4. 按下橙汁按钮 5. 按下啤酒按钮 * 自动售货机问题