第4讲基于判定表的测试.ppt

生成测试用例 * 上海大学计算机学院 * Z = AB~C + AD的测试包： {(A,B,~C,~D), (A, ~B, C, D), (A, B, C, ~D), (A, ~B, ~C, ~D), (~A, B, ~C, D) } 输入 向量序号 测试候选集 测试 用例 1 2 3 4 5 6 7 12 X ? 11 X ? 9 X 15 X 14 X X ? 8 X X ? 5 X X ? 4 X 1 X 3 X 7 X 10 X 生成测试用例 非二值变量值域分析 最小值域测试策略 要求在子值域的每个边界选取一个上点和一个离点 上点（on point） 开边界：上点包含边界值，使条件为假 闭边界：上点取边界上的值，使条件为真 离点（off point） 开边界：离点在域内，使条件为真 闭边界：离点在域外，使条件为假 * 上海大学计算机学院 * 生成测试用例 边界 测试用例 1 2 3 4 5 6 7 8 索赔次数 ?2 上点 2 离点 1 ?4 上点 4 离点 5 典型 内点 3 3 3 3 被保险人年龄 ?16 上点 16 离点 15 ?25 上点 25 离点 26 典型 内点 23 23 23 23 预期结果 接受 接受 接受 接受 接受 接受 接受 接受 增加续保费 400 100 400 0 400 400 400 200 发警告信 Yes Yes Yes No Yes Yes Yes Yes 取消 No No No Yes No No No No 上海大学计算机学院 基于判定表的测试技术 * 上海大学计算机学院 * 基于判定表的测试技术 判定表 测试生成 * 上海大学计算机学院 * 判定表 判定表的特征 多个输入的组合决定输出选择 输出不依赖于被测实现的输入/响应历史(状态) * 上海大学计算机学院 * 判定表 判定表建模 确定判定变量、条件，以及输出动作 确定条件组合与输出的对应关系（变式） 导出逻辑函数，确认判定表的完整性和一致性 * 上海大学计算机学院 * 判定表 示例 一个系统处理汽车保险的年度续保功能为： 如果被保人在过去一年没有索赔，不发停保警告信。年龄超过25岁的增加保险费￥25，否则增加保险费￥50； 如果被保人在过去一年有1次索赔，年龄超过25岁的增加保险费￥50，但不发停保警告信。否则增加保险费￥100，且发停保警告信； 如果被保人在过去一年有2-4次索赔，发停保警告信。对年龄超过25岁的被保人，增加保险费￥200，否则增加保险费￥400； 如果被保人在过去一年有5或5次以上索赔，取消保险。 * 上海大学计算机学院 * 判定表 示例 * 上海大学计算机学院 * 变式 条件部分 动作部分 索赔次数 保险人年龄 续保增加量 发警告信 取消 1 0 ?25 50 No No 2 25 25 No No 3 1 ?25 100 Yes No 4 25 50 No No 5 2-4 ?25 400 Yes No 6 25 200 Yes No 7 4 0 No Yes 判定表 示例 * 上海大学计算机学院 * 变式 1 2 3 4 5 6 7 条件 索赔次数 0 0 1 1 2～4 2～4 4 保险人年龄 ?25 25 ?25 25 ?25 25 动作 续保增加量 50 25 100 50 400 200 0 发警告信 No No Yes No Yes Yes No 取消 No No No No No No Yes 判定表 * 上海大学计算机学院 * 变式 判定变量 条件 1 2 3 4 5 6 7 条件部分 索赔次数 0 T T F F F F F 1 F F T T F F F 2-4 F F F F T T F 4 F F F F F F T 保险人年龄 ?25 T F T F T F DC 动作部分 续保值增量 0 F F F F F F T 25 F T F F F F F 50 T F F T F F F 100 F F T F F F F 200 F F F F F T F 400 F F F F T F F 发警告信 F F T F T T F 取消 F F F F F F T 判定表 变式 显式变式 判定表中显式列出的变式 隐式变式 能推导出但未在判定表中列出的变式 无关条件：条件取值不影响变式的动作选择 类型安全互斥：同一判定变量的多个互斥条件 不可能发生条件：输入互斥、不可能产生或实现不能求值 不知条件：判定表的不完全性，条件或预期结果的不确定性 * 上海大学计算机学院 * 判定表 布尔表达式 布尔运算：?、?、?、～ 文字：布尔变量，A, B, C, … 积项：文字的“与”连接，ABC或A?B?C 析取范式（积和）： ABC + CDE + ADE