SWPU分支-条件测试.ppt

第4章 白盒测试方法 把程序看成装在一个透明的白盒子里，程序的结构和处理呈现过程完全可见，按照程序的内部逻辑测试程序，以检查程序中的每条通路是否都能按照预先要求正确工作。 分支-条件测试 测试思想 根据模块中的逻辑条件设计测试用例，使得被测模块中的每一个复合条件以及构成这个复合条件的每一个简单条件的真假情况至少被执行一次。 简单条件是一个布尔变量或一个可能带有NOT(“┓”)操作符的关系表达式，关系表达式的形式如：E1＜关系操作符＞E2，其中E1和E2是算术表达式，而＜关系操作符＞是下列之一：“＜”，“≤”，“=”，“≠”(“┓=”)，“＞”， 或“≥” 复合条件由简单条件、布尔操作符和括弧组成。假定可用于复合条件的布尔算子包括OR“|”，AND“＆”和NOT“┓”，不含关系表达式的条件称为布尔表达式。 分支-条件测试 案例 使用分支-条件方法设计下面逻辑条件的测试用例 案例 对分支-条件测试的讨论 案例 结论 推荐 推荐 推荐 推荐 练习 循环测试 测试思想 关注循环体结构的正确性，对循环变量运用类似于边界值测试的方法以验证循环体结构的正确性。 四种不同类型的循环结构 简单循环 嵌套循环 连接循环 非结构循环 循环类型 测试简单循环 测试嵌套循环 测试连接循环 测试非结构循环 SWPU * SWPU 2 路径分析测试 3 分支条件测试、循环测试 4 其它测试类型 5 主要内容 综合测试实例 6 黑盒测试与白盒测试 1 逻辑覆盖测试 白盒测试的常用方法 逻辑覆盖 路径分析测试 循环、条件分支 … 进行分支-条件测试可以发现下列缺陷 布尔变量错误 布尔括弧错误 关系操作符错误 算术表达式错误 布尔操作符错误 遗漏布尔操作符 布尔操作符多余 布尔操作符不正确 需被测试的逻辑条件 复合条件 ((ab+c) (ba+c) (ca+b)) 简单条件 ab+c ba+c ca+b ((ab+c) (ba+c) (ca+b)) ab+c ba+c ca+b 68,68,68 T T T T 0,0,0 F F F F 上面的测试用例不推荐大家使用 测试用例有效性不高： t t=t || t=t 同时 f f=f || f=f ((ab+c) || (ba+c) (ca+b)) ((ab+c) (ba+c) ||(ca+b)) ((ab+c) || (ba+c) || (ca+b)) 使用“同真同假”测试用例时，测试用例的有效性不高 ((ab+c) (ba+c) (ca+b)) ab+c ba+c ca+b 68,68,68 T T T T 68, 8,56 F F T T 8, 68,56 F T F T 8, 56,68 F T T F 这组测试用例的结果又如何？ ((a=b+c) (ba+c) (ca+b))? ((ab+c) (ba+c) (ca+b)) ab+c ba+c ca+b 68,68,68 T T T T 68, 8,60 F F T T 8, 68,60 F T F T 8, 60,68 F T T F 使用上面的测试用例，是否可以发现下面的缺陷 ((a=b+c) (ba+c) (ca+b)) ((ab+c) || (ba+c) (ca+b)) ((ab+c) (ba+c) ||(ca+b)) ((ab+c) || (ba+c) || (ca+b)) 分支-条件测试可以发现但并不保证发现所有下列缺陷 布尔变量错误 布尔括弧错误 关系操作符错误 算术表达式错误 布尔操作符错误 遗漏布尔操作符 布尔操作符多余 布尔操作符不正确 因此，实际设计测试用例过程中要结合具体问题选取恰当的测试输入 为了最大限度的发现缺陷，在进行分支-条件测试时，推荐参考下面方法设计相应被测逻辑条件的测试用例。 对于表达式：A1A2 … An，设计测试用例覆盖下面的情况。a. 所有Ai均为真；b. 设计n个测试用例，其中仅有一个为F，其余均为T，如对于ABC，覆盖下面的情况如下表所示 F T T T F T T T F T T T C B A ABC 对于表达式：A1||A2|| … An，设计测试用例覆盖下面的情况。a. 所有Ai均为假；b. 设计n个测试用例，其中仅有一个为T，其余均为F，如对于A||B||C，覆盖下面的情况如下表所示 T F F F T F F F T F F F C B A A||B||C F F T F T F F T T T T F C B A (AB)||C T F F F T T T F T F F T C B A A(B||C) F T F T F F T T F F T T C B A A||(BC) 对于表达式中含