Ch4-白盒测试.ppt

软件测试方法与实践 - Ch.4 白盒测试 erdonghs@126.com 第4章 白盒测试方法 4.1白盒测试 白盒测试：是一种基于源程序或代码结构的逻辑，生成测试用例以尽可能多地发现并修改源程序中的错误。白盒测试分为静态和动态两种类型： 静态分析。静态方法是指按一定步骤直接检查源代码或代码的测试方法，包括：代码审查、桌面检查、代码走查等 动态测试。动态测试是指按一定步骤生成测试用例并驱动被测程序运行来发现错误，包括:基本路径测试、边界值测试、逻辑驱动覆盖、循环测试、数据流测试、程序插装等 白盒测试 白盒测试，有时称为玻璃盒测试，是一种基于源程序或代码的测试方法。 白盒测试动态方法是使用程序设计的控制结构导出测试用例。使用这类方法，软件工程师能够产生测试用例： (1)保证一个模块中的所有独立路径至少被使用一次； (2)对所有逻辑值均需测试true和 false； (3)在上下边界及可操作范围内运行所有循环； (4)检查内部数据结构以确保其有效性。 为什么需要白盒测试 “我们应该更关注保证程序需求的实现，为什么要在逻辑细节的测试上花时间和精力呢？ ” 逻辑错误和不正确假设与一条程序路径被执行的可能性成反比。人们往往会忽略非主流的偶然现象！ 我们经常相信某逻辑路径不可能被执行，而事实上，它可能在正常的情况下被执行。程序的逻辑流有时是违反直觉的！只有路径测试才能发现这些问题