软件测试---白盒测试

          静态测试主要是在程序设计阶段进行测试，而动态测试主要是在程序运行阶段进行测试，通过运行程序发现错

 

误。

 

        在平常的软件/系统测试，大多数都是默认为动态测试。为了发现更多的错误，需要运行一些有效的方法。同测

 

试任何产品一样一般有两种方法：一是如果已经知道了产品应该具有的功能，可以通过测试来检验是否每个功能都能

 

正常使用；此方法属于黑盒测试法。二是如果知道产品内部工作过程，可以通过测试来检验产品内部结构及处理过程

 

是否按照规格说明书的规定正常运行。此方法书白盒测试法。

 

      这两种方法都属于动态测试法，今天我就来走进白盒测试法，看看它的内部消息。

 

     白盒测试法也被世人称为结构测试或逻辑驱动测试。测试人员把程序视为一个透明的白盒子，需了解程序的内部

 

结构和处理过程，以检查处理过程的细节为基础，要求对程序的结构特性做到一定的程度覆盖，对程序中的所有逻辑

 

路径进行测试，并检验内部控制结构是否哦有错，确定实际的运行状态与预期的状态是否一致。

 

 

    由于白盒测试是以程序的结构为依据的，所以被测对象基本上是源程序，以程序的内部逻辑结构为基础设计测试用

 

例。白盒测试可以用以下几种方法：

 

   咱们就从上往下逐一解说一下吧！

 

 一。逻辑覆盖

 

     逻辑覆盖是一组覆盖方法的总称。这组覆盖方法的测试过程逐渐进行越来越完整的通路测试。测试数据覆盖程序

 

逻辑的 程序可以划分为不同的等级。

 

1.语句覆盖

 

 基本思想：设计足够的测试用例，运行被测程序，是程序的每条可执行语句至少执行一次。

 

例如，程序流程图是一个被测模块的处理算法。

 

 

其中有两个判断，每个判断都包含复合条件的逻辑表达式，为了满足语句覆盖，程序额执行路径应该是sacbed。选择

 

测试用例为A=2,B=0,X=4(实际上X可以是任意实数）

 

2.判定覆盖

 

基本思想：设计足够的测试用例，运行被测试程序，不仅使得被测程序中每条语句至少执行一次，而且每个判断表达

 

式至少获得一次“真”值或“假”值，从而使得程序的每一个分支至少都通过一次，因此，判定覆盖也称为分支覆

 

盖。

 

例如，选择下面两组测试数据，就可以做到判定覆盖：

 

1）A=3,B=0,X=3 (覆盖sacbd)

 

2)A=2,B=1,X=2(覆盖sabed)

 

对于多分支的判定，判定覆盖要使每一个判定表达式获得每一种可能的值来测试。

 

3.条件覆盖

 

基本思想：设计足够多的测试用例，不仅每条语句至少执行一次，而且使得判定表达式中的每个条件都能获得各种

 

可能的结果。

 

例如，上图的例子共有2个判定表达式，每个表达式中有两个条件，共有4个条件：

 

A>1,B=0,A=2,X>1

 

要选择足够多的数据，使得上图在a点和b点两判定表达式中分别有下述各种结果出现：

 

a点：A>1,A<=1,B=0,B!=0

 

b点：A=2,A!=2,X>1,X<=1

 

才能达到条件覆盖的标准。

 

为满足上述要求，选择以下的测试数据。

 

1)A=2,B=0,X=4(满足A>1,B=0,A=2和X>1的条件，执行路径，sacbed)

 

2)A=1,B=1,X=1(满足A<=1,B!=0,A!=2和X<=1的条件，执行路径sabd)

 

可以看出，以上两组测试用例不但满足了条件覆盖标准，而且同时满足了判定覆盖标准在这种情况下，条件覆盖比判

 

定覆盖强，但也有例外的情况。

 

 

4.判断--条件覆盖

 

判断--条件覆盖实际上是前两种方法结合起来的一种设计方法，它是判定和条件覆盖的交集，即设计足够的测试用例

 

使得判定表达式中的每个条件的所有可能取值至少出现一次，并使每个判定表达式所有可能的结果也至少出现一次。

 

例如：对于上图的的例子，下述两组测试数据满足判定条件覆盖标准：

 

1）A=2,B=0,X=4

 

2)A=2,B=1,X=1

 

这两组测试数据也就是为了满足条件覆盖标准最初选取的两组数据。因此，有时判定条件覆盖也并不比条件覆盖更强

 

的。

 

 

5.条件组合覆盖

 

条件组合覆盖是比较强的覆盖。基本思想：设计足够的测试用例，使得每个判定表达式中条件的各种可能组合都至少

 

出现一次。

 

例如，上图的例子，两个判定表达式共有4个条件，有8种可能的条件组合：

 

1）A>1,B=0            2)A>1,B!=0

 

3)A<=1,B=0             4)A<-1,B!=0

 

5)A=2,X>1                6)A=2,X<=1

 

7)X!-2,X>1                8)A!=2,X<=1

 

要覆盖8种条件组合，并不一定要设计8组测试数据，下面4组测试用例就可以满足条件组合覆盖标准

 

1）A=2,B=0,X=4(针对1）5）两种组合，执行路径sacbed)

 

2)A=2,B=1,X=1(针对2）6）两种组合，执行路径sabed)

 

3)A=1,B=0,X=2(针对3）7）两种组合，执行路径sabed)

 

4)A=1,B=1,X=1(针对4）8）两种组合，执行路径sabd)

 

 

6.路径覆盖

 

 基本思路：设计所有的测试用例，来覆盖程序中所有可能的执行路径。

 

例如，上图的例子，选择以下测试用例覆盖程序中的4条路径

 

1）A=1,B=1,X=1(执行路径sabd)

 

2)A=1,B=1,X=2(执行路径sabed)

 

3)A=3,B=0,X=3(执行路径sacbd)

 

4)A=2,B=0,X=4(执行路径sacbed)

 

可以看出，路径覆盖没有覆盖所有的条件组合覆盖。

 

二。循环覆盖

 

     循环是程序 的主要逻辑结构，企图覆盖含有循环结构的所有路径同样是不可能的，但是可以通过限制循环次数来

 

测试，对单循环和嵌套循环分别来考虑。

 

1.单循环

 

设m为可允许执行循环的最大次数，可以从4个方面考虑测试用例的设计

 

1）只执行循环0次

 

2）只执行循环1次

 

3）执行循环n次,n<m

 

4)执行循环m-1次,m次，m+1次

 

 

2.嵌套循环

 

步骤为：

 

1）对内循环进行单循环测试，此时置外循环为最小循环计数值

 

2）由内向外，进行下一层的循环测试

 

三。基本路径测试

 

       上图的例子只有4条路径比较简单，但是在实际问题中，即使是一个不太复杂的程序路径也是一个很庞大的数

 

字，为了解决这一个难题。只好将覆盖的路径数压缩到一定范围内。而基本路径测试是在程序控制流程图的基础上，

 

通过分析控制结构的环路复杂性导出基本可执行路径集合，从而设计测试用例，设计出的测试用例保证这些路径至少

 

通过一次。

 

使用基本路径测试技术设计测试用例的步骤如下：

 

1）使用详细设定设计结果或源程序画出相应的程序图（流图）。程序图是程序流程图的抽象化，它是反映

 

控制流程图的有向图，其中小圆圈称为结点，代表程序流程图中每个处理符号。即矩形框，菱形框等，有箭头的连线

 

 

表示控制流向，称为程序图中的边或路径。

 

2）计算程序图G的环形复杂度V（G）

 

3）确定线性独立路径的基本集合