白盒测试-总结.pptVIP

第3章 白盒测试方法 把程序看成装在一个透明的白盒子里，程序的结构和处理呈现过程完全可见，按照程序的内部逻辑测试程序，以检查程序中的每条通路是否都能按照预先要求正确工作。 逻辑覆盖 逻辑覆盖是以程序的内部逻辑结构为基础的测试用例设计技术，属于白盒测试。它要求测试人员十分清楚程序的逻辑结构，考虑的是测试用例对程序内部逻辑覆盖的程度。 基本路径测试 基本路径测试 基本路径与环复杂度 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 基本路径与环复杂度 结论 如果基本路径必须是可行的，则逻辑关系会压缩基本路径集合数量，因此环复杂度是包含起始点和终止点的基本路径数目的上限 3.5 循环结构的路径测试 测试思想 关注循环体结构的正确性，对循环变量运用类似于边界值测试的方法以验证循环体结构的正确性。 四种不同类型的循环结构 简单循环 嵌套循环 连接循环 非结构循环 测试简单循环 * SWPU * SWPU 2 路径分析测试 3 分支条件测试、循环测试 4 其它测试类型 5 主要内容 综合测试实例 6 黑盒测试与白盒测试 1 逻辑覆盖测试 白盒测试的常用方法 逻辑覆盖 路径分析测试 循环、条件分支 … 语句覆盖 判定覆盖 条件覆盖 判定／条件覆盖 条件组合覆盖 路径覆盖 弱 强 覆盖程度从低到高排列 覆盖准则的作用 说明 用于描述在测试过程中，被测对象被测试的程度，有时候也称为软件测试覆盖准则或者测试数据完备准则，可以: 作为测试停止的标准，用于衡量测试是否充分; 作为选取测试数据的依据，满足相同覆盖准则的测试数据是等价的. 1 语句覆盖 设计足够的测试用例，使得程序中的每个语句至少执行一次。 2 判定覆盖 设计足够的测试用例，使得在语句覆盖的基础上,程序中每个判定的取“真”分支和取“假”分支至少都执行一次，判定覆盖又称分支覆盖。 3 条件覆盖 设计足够的测试用例，在语句覆盖的基础上使得程序判定中的每个条件能获得各种可能的结果。 4 判定／条件覆盖 同时满足判定覆盖的和条件覆盖的逻辑覆盖称为判定/条件覆盖。它的含义是： 设计足够的测试用例，使得判定中的每个条件都取到各种可能的值，而且每个判定表达式也都取到各种可能的结果。 5 条件组合覆盖 设计足够的测试用例，使得每个判定中的条件的各种可能组合都至少出现一次。 5 路径覆盖 设计足够的测试用例，使程序中的每一条可能路径都至少执行一次。 相关概念 基本路径 本质上是从程序入口到出口的一些通路。之所以称其为基本路径，原因在于可以通过对基本路径进行连接或者重复操作得到程序中的其它路径 控制流图 基于代码结构构造的有向图，可用于描述程序的控制结构 测试思想 根据程序的控制流图找出一个模块所需测试的基本路径，根据这些基本路径设计构造相应的测试用例 设计步骤 根据模块逻辑构造控制流图（Flow Graph） 计算控制流图的环复杂度 (Cyclomatic Complexity) 列出包含起始节点和终止节点的基本路径 检查一下列出的基本路径数目是否超过控制流图的环复杂度 设计覆盖这些基本路径的测试用例 81-86 87 88 92 99-100 93 102 95 96 97-98 89-90 94 并不是所有的基本路径都对应程序的可执行通路，都可作为设计测试用例的依据。之所以存在这种情况，是因为控制流图中并不包含程序的处理信息，无法明确前后节点之间的逻辑关系。 * *