chapter5-1白盒测试用例1.pptVIP

第二章 测试设计与开发 1.白盒测试用例设计 白盒测试作为结构测试方法，是按照程序内部的结构测试程序，对软件的过程性细节做细致的检查，测试人员利用程序内部的逻辑结构及有关信息，设计或选择测试用例。 白盒法又称为逻辑覆盖法，其测试用例选择，是按照不同覆盖标准确定的。 白盒法常用的覆盖标准 (1)语句覆盖 选择足够的测试用例，使得程序中每个语句至少都能被执行一次。 (2)判定覆盖 执行足够的测试用例，使得程序中每个判定至少都获得一次“真”值和“假”值。 (3)条件覆盖 执行足够的测试用例，使得判定中的每个条件获得各种可能的结果。 （4）判定/条件覆盖 执行足够的测试用例，使得判定中每个条件取到各种可能的值，并使每个判定取到各种可能的结果。 （5）条件组合覆盖 执行足够的例子，使得每个判定中条件的各种可能组合都至少出现一次。 （6）路径覆盖 执行足够的例子，覆盖程序中所有可能的路径。 白盒的测试用例需要做到 （1）保证一个模块中的所有独立路径至少被使用一次（2）对所有逻辑值均需测试 true 和 false（3）在上下边界及可操作范围内运行所有循环 （4）检查内部数据结构以确保其有效性 白盒测试的实施步骤 （1）测试计划阶段：根据需求说明书，制定测试进度。（2）测试设计阶段：依据程序设计说明书，按照一定规范化的方法进行软件结构划分和设计测试用例。（3）测试执行阶段：输入测试用例，得到测试结果。（4）测试总结阶段：对比测试的结果和代码的预期结果，分析错误原因，找到并解决错误。 白盒法的具体的操作方法 （1）选择逻辑覆盖标准。 （2）按照覆盖标准列出所有情况。 （3）选择确定测试用例。 （4）验证分析运行结果与预期结果。 白盒测试的优缺点 （1）优点 a.迫使测试人员去仔细思考软件的实现 b.可以检测代码中的每条分支和路径 c.揭示隐藏在代码中的错误 d.对代码的测试比较彻底 e.最优化 （2）缺点 a.昂贵 b.无法检测代码中遗漏的路径和数据敏感性错误 c.不验证规格的正确性 2.白盒测试方法 ●逻辑覆盖法 （1）语句覆盖 （2）判定覆盖 （3）条件覆盖 （4）判定-条件覆盖 （5）条件组合覆盖 （6）路径覆盖 ●基本路径法 ●辅助模块设计 白盒法举例 例：用白盒法测试以下程序段： Procedure M（VAR X,Y:REAL;Z:varchar）； BEGIN IF (X=90) and (Y=90) THEN Z:=“成绩优秀” ; ELSE IF (X+Y140) and (X=85) or (Y=85) THEN Z:=“成绩良好” else Z:=“成绩一般” END; ●逻辑结构 语句覆盖 （1）主要特点：语句覆盖是最起码的结构覆盖要求，语句覆盖要求设计足够多的测试用例，使得程序中每条语句至少被执行一次。 没有一条路径可以完全覆盖所有的语句，则需要设置多个测试用例。 执行路径： SAE ∧ SBDE ∧ SBCE （2）用例设计如下： （3）优点：可以很直观地从源代码得到测试用例，无须细分每条判定表达式。 （4）缺点：语句覆盖有可能发现不了判断中逻辑运算中出现的错误。在if结构中若源代码没有给出else后面的执行分支，那么语句覆盖测试就不会考虑这种情况。但是我们不能排除这种以外的分支不会被执行，而往往这种错误会经常出现。再如，在Do-While结构中，语句覆盖执行其中某一个条件分支。那么显然，语句覆盖对于多分支的逻辑运算是无法全面反映的，它只在乎运行一次，而不考虑其他情况。 判定覆盖 （1）主要特点：判定覆盖又称为分支覆盖，它要求设计足够多的测试用例，使得程序中每个判定至少有一次为真值，有一次为假值，即：程序中的每个分支至少执行一次。每个判断的取真、取假至少执行一次。 覆盖情况：应执行路径 SBDE∧SBCE ∧SAE （2）用例设计如下： （3）优点：判定覆盖比语句覆盖要多几乎一倍的测试路径，当然也就具有比语句覆盖更强的测试能力。同样判定覆盖也具有和语句覆盖一样的简单性，无须细分每个判定就可以得到测试用例。 （4）缺点：往往大部分的判定语句是由多个逻辑条件组合而成（如，判定语句中包含AND、OR、CASE），若仅仅判断其整个最终结果，而忽略每个条件的取值情况，必然会遗漏部分测试路径。 条件覆盖 （1）主要特点：条件覆盖要求设计足够多的测试用例，使得判定中的每个条件获得各种可能的结果，即每个条件至少有一次为真值，有一次为假值