软件质量与测试第七次讲课.pptVIP

5.3 对判定的测试 基本原理 * 5.3 对判定的测试 案例描述 * 5.3 对判定的测试 测试用例设计 语句覆盖 判定覆盖 条件覆盖 判定/条件覆盖 条件组合覆盖 修正的判定/条件覆盖 * 5.3 对判定的测试 语句覆盖 设计测试用例时应保证程序的每一条可执行语句至少执行一次。从图5.12所示的流程图来看，语句覆盖等同于对图中所有节点的覆盖 * 5.3 对判定的测试 语句覆盖 局限性 关注语句而非判定表达式 对隐式分支无效 * 5.3 对判定的测试 测试用例设计 语句覆盖 判定覆盖 条件覆盖 判定/条件覆盖 条件组合覆盖 修正的判定/条件覆盖 * 5.3 对判定的测试 判定覆盖 设计测试用例时应保证程序中每个判定节点的取真和取假分支至少执行一次 * 5.3 对判定的测试 判定覆盖 局限性 未彻底分析每个简单判定条件的取值情况，仍然会导致遗漏部分缺陷 * 5.3 对判定的测试 测试用例设计 语句覆盖 判定覆盖 条件覆盖 判定/条件覆盖 条件组合覆盖 修正的判定/条件覆盖 * 5.3 对判定的测试 条件覆盖 设计测试用例时应保证程序中每个复合判定表达式中，每个简单判定条件的取真和取假情况至少执行一次 * 5.3 对判定的测试 条件覆盖 局限性 条件覆盖不能保证100%的判定覆盖 * 5.3 对判定的测试 测试用例设计 语句覆盖 判定覆盖 条件覆盖 判定/条件覆盖 条件组合覆盖 修正的判定/条件覆盖 * 5.3 对判定的测试 判定/条件覆盖 测试用例的设计应满足判定节点的取真和取假分支至少执行一次，且每个简单判定条件的取真和取假情况也应至少执行一次，即判定覆盖+条件覆盖 * 5.3 对判定的测试 判定/条件覆盖 * 5.3 对判定的测试 测试用例设计 语句覆盖 判定覆盖 条件覆盖 判定/条件覆盖 条件组合覆盖 修正的判定/条件覆盖 * 5.3 对判定的测试 条件组合覆盖 测试用例的设计应满足每个判定节点中，所有简单判定条件的所有可能的取值组合情况应至少执行一次 实质是通过列出真值表的方式来得到完全的覆盖，即以冗余换取方法的简单性 * 5.3 对判定的测试 条件组合覆盖 * 5.3 对判定的测试 条件组合覆盖 局限性 当判定表达式本身较为复杂、且存在多个判定节点串联时，条件组合覆盖的测试用例规模将大得惊人 * 5.3 对判定的测试 测试用例设计 语句覆盖 判定覆盖 条件覆盖 判定/条件覆盖 条件组合覆盖 修正的判定/条件覆盖 * 5.3 对判定的测试 修正的判定/条件覆盖 在满足判定/条件覆盖的基础上，每个简单判定条件都应独立地影响到整个判定表达式的取值 实质是利用简单判定条件的独立影响性来消除测试用例的冗余。 * 5.3 对判定的测试 A AND B 体现A对判定结果的独立影响性：T1，T3 体现B对判定结果的独立影响性：T1，T2 最终用例集合：T1~T3 * T1 T2 T3 T4 A T T F F B T F T F A and B T F F F 5.3 对判定的测试 测试用例优化 尽量选择边界测试数据 应避免“与”、“或”关系的屏蔽现象 * 5.3 对判定的测试 捉虫实践3：第二日问题 代码说明 开始测试 测试分析 * 5.3 对判定的测试 代码说明 共包含5个判定节点，含13个简单逻辑判定条件 T1：date.m_month % 2 == 1 T2：date.m_month 8 T3：date.m_month % 2 == 0 T4：date.m_month = 8 T5：date.m_month == 4 T6：date.m_month == 6 * 5.3 对判定的测试 代码说明（续） T7：date.m_month == 9 T8：date.m_month == 11 T9：date.m_year % 4 == 0 T10：date.m_year % 100 != 0 T11：date.m_year % 400 == 0 T12：date.m_day == lastday T13：date.m_month == 12 * 5.3 对判定的测试 开始测试 1、选择判定覆盖指标 * 5.3 对判定的测试 开始测试 2、选择条件覆盖指标 * 5.3 对判定的测试 测试分析 仅靠判定覆盖或条件覆盖指标只能保证测试到对应这些分支，但并不能深入理解各判定节点在实现函数功能方面所起到的关键作用 若引入条件组合覆盖，测试工作量往往又是测试人员所难以承受的 * 5.3 对判定的测试 小结 主要是通过考察源代码中复合判定表达式或构成复合判定表达式的各简单判定条件的所有取值情况，来保证判定表达式的正确性 避免测试数据受到复合判定表达式中的“与”、“或”关系的屏蔽效应； 尽量结合边界值选择测试数据 *