测试用例设计之白盒测试

       

           白盒测试又称为结构测试或逻辑驱动测试，是对软件过程细节做细致性的检查。这种方法要求把测试对象看作一个透明的盒子，允许测试人员利用程序内部的逻辑结构及有关信息，设计或选择测试用例，对程序所有路径进行测试。通过在不同点检查程序执行情况，确定实际状态是否与预期的状态一致。

       软件测试人员使用白盒方法对程序模块进行检查时，发现有些程序路径众多且异常繁杂。测试结果难以保证。由此可见穷举测试不可行，需要精心设计测试用例保证测试结果尽可能的准确。

白盒测试的测试内容：程序中模块所有独立执行路径及关键路径至少测试一次；对被测程序中所有逻辑条件至少测试一遍 ，包括逻辑条件成立于不成立两种情况等。  

      白盒测试主要使用逻辑覆盖方法。

      逻辑覆盖方法是以程序内部逻辑结构为基础的测试用例设计技术。一句覆盖测试的目标不同，可分为：语句覆盖、判定覆盖、条件-判定覆盖、条件组合覆盖、路径覆盖。

1、语句覆盖

      设计若干测试用例，运行被测程序，使得每一可执行语句至少执行一次。

2、判定覆盖

      设计若干测试用例，运行被测程序，使得程序中每个判断的取真和取假分支至少经历一次。

3、条件覆盖

      设计若干测试用例，运行被测程序，使得程序中每个判断的每个条件的可能取值至少执行一次。

4、判定条件覆盖

       设计足够的测试用例，使得判断中每个条件的所有可能取值至少执行一次，同时每个判断中的每个条件的可能取        值至少执行一次。

5、条件组合覆盖

      设计测试用例运行被测程序，使得每个判断的所有可能的条件取之组合至少执行一次。

                         

            

           

6、路径测试

     设计足够测试用例覆盖程序中所有可能的路径。