6 白盒测试技术.ppt

第六章白盒测试及其用例设计 白盒测试 白盒测试概念 测试覆盖标准 逻辑驱动测试 基本路径测试 白盒测试概念 白盒测试也称结构测试或逻辑驱动测试，是一种测试用例设计方法，它从程序的控制结构导出测试用例。 白盒测试使用被测单元内部如何工作的信息，允许测试人员对程序内部逻辑结构及有关信息来设计和选择测试用例，对程序的逻辑路径进行测试。基于一个应用代码的内部逻辑知识，测试是基于覆盖全部代码、分支、路径、条件。 白盒测试的主要目的: 保证一个模块中的所有独立路径至少被执行一次； 对所有的逻辑值均需要测试真、假两个分支； 对程序进行边界检查(常见的如数据结构越界检查)； 检查内部数据结构以确保其有效性。 测试覆盖标准 白盒法特点：以程序的内部逻辑为基础设计测试用例，所以又称为逻辑覆盖法。应用白盒法时，手头必须有程序的规格说明以及程序清单。 白盒法考虑的是测试用例对程序内部逻辑的覆盖程度。 测试覆盖标准 流程图中包括了一个执行达20次的循环。那么它所包含的不同执行路径数高达520条，若要对它进行穷举测试，覆盖所有的路径。假使测试程序对每一条路径进行测试需要1毫秒，同样假定一天工作24小时，一年工作365 天， 那么要想把如图所示的小程序的所有路径测试完，则需要3170年。 白盒测试的主要方法 逻辑驱动测试 语句覆盖 判定覆盖 条件覆盖 判定/条件覆盖 条件