白盒测试教程.pdf

白盒测试 电子发烧友 电子技术论坛 白盒测试  白盒测试概念  测试覆盖标准  逻辑驱动测试  基本路径测试 白盒测试概念  白盒测试也称结构测试或逻辑驱动测试，是一种测 试用例设计方法，它从程序的控制结构导出测试用 例。（测试用例由测试输入数据以及与之对应的输出结果组成。 测试用例设计的好坏直接决定了测试的效果和结果。所以说在 软件测试活动中最关键的步骤就是设计有效的测试用例。）  白盒测试使用被测单元内部如何工作的信息，允许 测试人员对程序内部逻辑结构及有关信息来设计和 选择测试用例，对程序的逻辑路径进行测试。基于 一个应用代码的内部逻辑知识，测试是基于覆盖全 部代码、分支、路径、条件。 白盒测试的主要目的 :  保证一个模块中的所有独立路径至少被执行 一次；  对所有的逻辑值均需要测试真、假两个分支 ；  在上下边界及可操作范围内运行所有循环；  检查内部数据结构以确保其有效性。 测试覆盖标准  白盒法特点：以程序的内部逻辑为基础设计 测试用例，所以又称为逻辑覆盖法。应用白 盒法时，手头必须有程序的规格说明以及程 序清单。 白盒法考虑的是测试用例对程序内部逻辑 的覆盖程度。最彻底的白盒法是覆盖程序中的 每一条路径，但是由于程序中一般含有循环， 所以路径的数目极大，要执行每一条路径是不 可能的，只能希望覆盖的程度尽可能高些。 测试覆盖标准 测试覆盖标准  上页小程序的流程图，其中包括了一个执行 达 20 次的循环。那么它所包含的不同执行 路径数高达 520 （＝1013 ）条，若要对它 进行穷举测试，覆盖所有的路径。假使测试 程序对每一条路径进行测试需要 1 毫秒，同 样假定一天工作 24 小时，一年工作 365 天， 那么要想把如图所示的小程序的所有 路径测试完，则需要 3170 年。 测试覆盖标准  为了衡量测试的覆盖程度，需要建立一些标准，目前常用的一 些覆盖标准从低到高分别是：  语句覆盖：是一个比较弱的测试标准，它的含义是：选择足够 的测试用例，使得程序中每个语句至少都能被执行一次。 它是最弱的逻辑覆盖，效果有限，必须与其它方法交互使用。  判定覆盖（也称为分支覆盖）：执行足够的测试用例，使得程 序中的每一个分支至少都通过一次。 判定覆盖只比语句覆盖稍强一些，但实际效果表明，只是判定覆盖， 还不能保证一定能查出在判断的条件中存在的错误。因此，还需 要更强的逻辑覆盖准则去检验判断内部条件。  条件覆盖：执行足够的测试用例，使程序中每个判断的每个条 件的每个可能取值至少执行一次； 条件覆盖深入到判定中的每个条件，但可能不能满足判定覆盖的要求。 测试覆盖标准  判定/ 条件覆盖：执行足够的测试用例，使得判定中每个条件 取到各种可能的值，并使每个判定取到各种可能的结果。 判定/ 条件覆盖有缺陷。从表面上来看，它测试了所有条件的取值。 但是事实并非如此。 某些条件掩盖了另一些条件。会遗漏某 些条件取值错误的情况。为彻底地检查所有条件的取值，需要将 判定语句中给出的复合条件表达式进行分解，形成由多个基本判 定嵌套的流程图。这样就可以有效地检查所有的条件是否正确了 。  条件组合覆盖：执行足够的例子，使得每个判定中条件的各种 可能组合都至少出现一次。 这是