白盒测试

白盒测试方法：

1 程序结构分析：

        程序的结构形式是白盒测试的主要依据。程序结构分析包括：       

        一、控制流分析：            

            •经过控制流图矩阵来表示程序的控制流程图。

 

            •分析程序的控制流是为了使编写出的程序有好的结构。

　　      对于程序结构提出如下4点基本要求，这些要求是写出的程序不该包含：

　　　　　　①  转向并不存在的标号；　　　　

　　　　　　②  没有用的语句标号；

　　　　　　③  从程序入口进入后没法达到的语句；

　　　　　　④不能达到停机语句的语句。 

　　     目前主要是经过编译器和程序分析工具来实现程序控制流分析。

 

        二、数据流分析：              

　　　　•数据流分析是分析程序中未定义变量的使用和不曾使用的变量定义。

 

　　　　•目前经过编译器或程序分析工具经过数据流分析

 

　　　　•利用数据流分析的结果能够进行代码编译优化。 

 

        三、信息流分析 ：

　　　　•目前信息流分析主要用在验证程序变量间信息的传输遵循保密要求。

 

　　　　•信息流分析主要分析输出值跟输入值之间的影响关系。

 

　　　　•程序的信息流关系，为软件开发和确认提供了十分有益的工具

2 逻辑覆盖：  

　　　　一、语句覆盖：

　　　　　　•结构测试是依据被测程序的逻辑结构设计测试用例，驱动被测程序运行完成的测试。

 

　　　　　　•结构测试中的一个重要问题是，测试进行到什么地步就达到要求，能够结束测试了。这就是说须要给出结构测试的覆盖准则。

                

　　　　　    为方便讨论，咱们将结合一程序段加以说明各类逻辑覆盖则：

　　　　　　IF (( A > 1) AND ( B = 0 ))THEN

　　　　　　　　     X = X / A

　　　　　　IF (( A = 2) OR ( X > 1 ) THEN                  

　　　　　　　　     X = X + 1

  

　　　　   其中“AND”和“OR”是两个逻辑运算符。右图给出了它的流程图。a、b、c、d和e是控制流上的若干程序点。 

　　　　   该程序共有4条语句，其中2条条件判断语句，2条赋值语句。

　　　　     语句覆盖的含意是，在测试时，首先设计若干个测试用例，而后运行被测程序，使程序中的每一个可执行语句至少执行一次。

             对于上述程序段，选用的测试用例是：A=2,B=0,X=3  case1 

　　      则程序按路径a c e执行。这样该程序段的4个语句均获得执行，从而做到了语句覆盖。

　　　　二、断定覆盖:

 　　　       按断定覆盖准则进行测试是指，设计若干测试用例，运行被侧程序，使得程序中每一个判断的取真分支和取假分支至少经历一次，即判断的真假值均曾被知足。

                断定覆盖又称为分支覆盖。

         　　 仍以上述程序段为例，若选用的两组测试用例是：   A=2,B=0,X=3;          A=1,B=0,X=1 

　　         则可分别执行路径ace和abd，从而使两个判断的4个分支c、e和b、d分别获得覆盖。

　　　　三、条件覆盖:

 　　　　　　条件覆盖是指，设计若干测试用例，执行被测程序之后，要使每一个判断中每一个条件的可能取值至少知足一次。              

　　　　四、断定-条件覆盖:

　　　　　　断定-条件覆盖要求设计足够的测试用例，使得判断中每一个条件的全部可能至少出现一次，而且每一个判断自己的断定结果也至少出现一次。

　　　　五、路径覆盖:

　　　　　　按路径覆盖要求进行测试是指，设计足够多测试用例，要求覆盖程序中全部可能的路径

　　　　六、测试覆盖准则:

 一、FOSTER的ESTCA覆盖准则

          Foster 经过大量的实验肯定了程序中谓词最容易出错的部分，得出了一套错误敏感测试用例分析ESTCA （Error Sensitive Test Cases Analysis）规则。事实上，规则十分简单：

　　　　[规则1]  对于A rel B（rel能够是<, =和>）型的分支谓词，应适当地选择A与B的值，使得测试执行到该分支语句时，A<B, A=B和A>B的状况分别出现一次。

　　　　[规则2]  对于A rel1 C（rel1能够是>或是<，A是变量，C是常量）型的分支谓词，当rel1为<时，应适当地选择A的值，使：

　　　　　　　　  A = C - M

　　　　　　　　（M是距C最小的容器允许正数，若A和C均为整型时，M = 1）。一样，当rel1为>时，应适当地选择A，使：

　　　　　　　　  A = C + M

　　　　[规则3]  对外部输入变量赋值，使其在每一测试用例中均有不一样的值与符号，并与同一组测试用例中其它变量的值与符合不一致。

3 程序插装: 

　　　　•程序插装方法简单地说是借助往被测程序中插入操做来实现测试目的的方法。

 

　　　　•程序插装技术可以按用户的要求，获取程序的各类执行过程当中的信息，成为测试工做的有效手段。

4 其余白盒测试方法简介:

　　　　一、域测试:

　　　　　　•域测试的“域”是指程序的输入空间。

　　　　　　•输入空间又可分为不一样的子空间，每一子空间对应一种不一样的计算。

　　　　　　•子空间的划分是由程序中分支语句中的谓词决定的。

　　　　　　•域测试正是在分析输入域的基础上，选择适当的测试点之后进行测试的。

　　　　　　•域测试有两个致命的弱点，一是为进行域测试对程序提出的限制过多，二是当程序存在不少路径时，所需的测试点也就不少。

 

　　　　二、符号测试:

　　　　　　•符号测试的基本思想是容许程序的输入不只仅是具体的数值数据，并且包括符号值，这一方法也是所以而得名。

 

　　　　　　•普通测试执行的是算术运算，符号测试则是执行代数运算。所以符号测试能够认为是普通测试的一个天然的扩充。

 

　　　　　　•从符号测试方法使用来看，问题的关键在于开发出比传统的编译器功能更强，可以处理符号运算的编译器和解释器。

 

　　　　　　•目前符号测试存在一些未获得圆满解决的问题，分别是

　　　　　　　　一、分支问题

　　　　　　　　二、二义性问题

　　　　　　　　三、大程序问题

　　　　　　　　三、Z路径覆盖

　　　　　　　　四、程序变异

　　　　 3.Z路径覆盖：

　　　　　　•完成路径测试的理想状况是作到路径覆盖，但路径太多。所以对循环机制进行简化，从而极大地减小路径的数量，使得覆盖这些有限的路径成为可能。咱们称简化循环意义下的路径覆盖为Z路径覆盖。

 

　　　　　　•对于程序中的全部路径能够用路径树来表示

 

　　　　　　•设法遍历了全部的叶结点，那就获得了全部的路径，生成每一个路径的测试用例，就能够作到Z路径覆盖测试。

　　　 4.程序变异：

　　　　　　•程序变异方法与前面提到的结构测试和功能测试都不同，它是一种错误驱动测试。

 

　　　　　　•错误驱动测试方法，是指该方法是针对某类特定程序错误的。

 

　　　　　　•错误驱动测试主要有两种，即程序强变异和程序弱变异。