白盒测试基本理论

    白盒测试也称结构测试或逻辑驱动测试，它是按照程序内部的结构测试程序，通过测试来检测产品内部动作是否按照设计规格说明书的规定正常进行，检验程序中的每条通路是否都能按预定要求正确工作。

    这一方法是把测试对象看作一个打开的盒子，测试人员依据程序内部逻辑结构相关信息，设计或选择测试用例，对程序所有逻辑路径进行测试，通过在不同点检查程序的状态，确定实际的状态是否与预期的状态一致。

采用什么方法对软件进行测试呢？常用的软件测试方法有两大类：静态测试方法和动态测试方法。

    静态测试不要求在计算机上实际执行所测程序，主要以一些人工的模拟技术对软件进行分析和测试；

    动态测试是通过输入一组预先按照一定的测试准则构造的实例数据来动态运行程序，而达到发现程序错误的过程。

    白盒测试的测试方法有：代码检查法、静态结构分析法、静态质量度量法、逻辑覆盖法、基本路径测试法、域测试、符号测试、Z路径覆盖、程序变异。

    白盒测试法的覆盖标准有：逻辑覆盖、循环覆盖和基本路径测试。其中逻辑覆盖包括语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖。
    六种覆盖标准：语句覆盖、判定覆盖、条件覆盖、判定/条件覆盖、条件组合覆盖和路径覆盖  发现错误的能力呈由弱至强的变化。

    语句覆盖每条语句至少执行一次。

    判定覆盖每个判定的每个分支至少执行一次。

    条件覆盖每个判定的每个条件应取到各种可能的值。

    判定/条件覆盖同时满足 判定覆盖 和 条件覆盖。

    条件组合覆盖每个判定中各条件的每一种组合至少出现一次。

    路径覆盖使程序中每一条可能的路径至少执行一次。

   "白盒"法全面了解程序内部逻辑结构、对所有逻辑路径进行测试。"白盒"法是穷举路径测试。

    在使用这一方案时，测试者必须检查程序的内部结构，从检查程序的逻辑着手，得出测试数据。贯穿程序的独立路径数是天文数字。但即使每条路径都测试了仍然可能有错误。

    第一，穷举路径测试决不能查出程序违反了设计规范，即程序本身是个错误的程序。

    第二，穷举路径测试不可能查出程序中因遗漏路径而出错。

    第三，穷举路径测试可能发现不了一些与数据相关的错误。