L白盒测试用例设计方法.pptVIP

第4章 白盒测试用例设计方法 本章内容 白盒测试 说明 一般情况，仅使用一种测试用例设计方法很难获得被测对象所需的测试用例。在实际测试中，最终的测试用例通常都是多种设计技术相结合的结果。 在使用白盒测试方法之前进行代码评审是一个非常好的工程实践 不可能进行彻底的白盒测试 基本路径测试 测试思想 根据程序的控制流图找出一个模块所需测试的基本路径，根据这些基本路径设计构造相应的测试用例. 相关概念: 基本路径, 控制流图 基本路径测试 控制流图 控制流图 控制流图 环复杂度 环复杂度 计算公式 V(G) = 闭合区域的数目 由节点和边围成的封闭区域 这些封闭区域一定是不可再分的 包括周边的区域 V(G) = 二值判定节点个数 + 1. V(G) = 边的数目-节点的数目 + 2 环复杂度 基本路径 基本路径 基本路径示例: void Sort ( int iRecordNum, int iType ) 1 { 2 int x=0; 3 int y=0; 4 while ( iRecordNum-- 0 ) 5 { 6 If ( iType==0 ) 7 x=y+2; 8 else 9 If ( iType==1 ) 10 x=y+10; 11 else 12 x=y+20; 13 } 14 } 基本路径测试示例: 计算环形复杂度： 10（条边）- 8（个节点）+ 2 = 4 基本路径： 路径1：4→14 路径2：4→6→7→14 路径3：4→6→9→10→13→4→14 路径4：4→6→9→12→13 →4→14 三角形问题 控制流图 环复杂度 基本路径和测试用例（1） 基本路径和测试用例(2) 基本路径与环复杂度 81-86-87-88-92-99-100-102 81-86-87-88-92-93-95-97-98-102 81-86-87-88-92-93-95-96-102 81-86-87-88-92-93-94-102 81-86-87-89-90-92-93-94-102 基本路径与环复杂度 结论 如果基本路径必须是可行的，则逻辑关系会压缩基本路径集合数量，因此环复杂度是包含起始点和终止点的基本路径数目的上限 练习 练习 对节点粒度的讨论 对节点粒度的讨论 思考 分支-条件测试 测试思想 根据模块中的逻辑条件设计测试用例，使得被测模块中的每一个复合条件以及构成这个复合条件的每一个简单条件的真假情况至少被执行一次。 简单条件是一个布尔变量或一个可能带有NOT(“┓”)操作符的关系表达式，关系表达式的形式如：E1＜关系操作符＞E2，其中E1和E2是算术表达式，而＜关系操作符＞是下列之一：“＜”，“≤”，“=”，“≠”(“┓=”)，“＞”， 或“≥” 复合条件由简单条件、布尔操作符和括弧组成。假定可用于复合条件的布尔算子包括OR“|”，AND“＆”和NOT“┓”，不含关系表达式的条件称为布尔表达式。 分支-条件测试 案例 使用分支-条件方法设计下面逻辑条件的测试用例 案例 对分支-条件测试的讨论 案例 结论 推荐 练习 循环测试 测试思想 关注循环体结构的正确性，对循环变量运用类似于边界值测试的方法以验证循环体结构的正确性。 四种不同类型的循环结构 简单循环 嵌套循环 连接循环 非结构循环 循环类型 测试简单循环 测试嵌套循环 测试连接循环 测试非结构循环 其它白盒测试方法 数据流测试 变量的定义节点 如果程序中某一语句i的执行能改变某程序变量V的值，则称V被语句i定义,可记作Def（V，i）。 - 该语句的执行将会改变与之相关存储单元的内容。 变量的使用节点 如果某一语句j的执行引用了内存中变量V的值，则称变量V被语句j使用，可记作Use（V,j）。 例如：语句X=Y+Z; 定义了X, 使用了Y和Z. 语句x = read(); print x; 数据流测试 练习 数据流的应用 程序插桩 符号测试 以复合条件为节点P79（方案1） 以简单条件为节点P80（方案2） 使用JUnit 白盒测试标准是根据程序内部结构制定的覆盖标准，可以分为 基于控制流的覆盖准则 基于数据流的覆盖准则 语句覆盖 语句覆盖 分支覆盖 每个判定的取真分支和取假分支至少执行一次。 分支覆盖 讨论 条件覆盖 条件覆盖 判断M表达式: 设条件 a0 取真 记为 T1 假 F1 条件 b0 取真记为 T2