其他白盒测试方法

1．         域测试

（1）       概述：是一种基于程序结构的测试方法，基于对程序输入空间（域）的分析，选择适的测试点进行测试

（2）       Howden错误分类－相对于程序路径分类：1、域错误：程序的控制流存在错误，对于某一特定的输入可能执行的是一条错误路径，这种错误称为路径错误，也叫做域错误。2、计算型错误：对于特定输入执行的路径正确，但赋值语句的错误导致输出结果错误，称为计算型错误3、丢失路径错误：由于程序中的某处少了一个判定谓词而引起的。

（3）       测试理想结果：检验输入空间的每一个输入元素是否都产生正确的结果

（4）       缺点：为进行域测试对程序提出的限制过多；当程序存在很多路径时，所需的测试点很多

2．         符号测试

（1） 概述

l       基本思想是允许程序的输入不仅仅是具体的数值数据，而且包括符号值，符号值可以是基本的符号变量值，也可以是符号变量值的表达式。

l       符号测试执行的是代数运算，可以作为普通测试的一个扩充

l       符号测试可以看作是程序测试和程序验证的一个折衷办法

（2） 测试理想情况：程序中仅有有限的几条执行路径，如果都完成了符号测试，就可把握的确认程序的正确性了

（3） 缺点：分支问题；二义性问题；大程序问题

3．         Z路径覆盖

（1）               概述：对循环机制进行简化，减少路径的数量，使得覆盖所有路径成为可能，简化循环意义下的路径覆盖称为Z路径覆盖

（2）               循环简化：限制循环次数，只考虑循环一次或零次情况

4．         程序变异

（1） 概述：是一种错误驱动测试。错误驱动测试：指该方法是针对某类特定程序错误的，即专门测试某类错误是否存在。

错误驱动测试分类：程序强变异和程序弱变异。

（2） 优点：便于集中目标对软件危害最大的可能错误，提高测试效率，降低成本