谁能帮我解释几个测试名词？

pdlmg

白盒测试里面的名词：1：域测试 2：符号测试 3：Z路径覆盖  4：程序变异  能否个举一个例子？谢谢

楠族开心果

域测试
域测试的英文是domain testing，定义参考等价划分测试（equivalence partition testing）；

一般分为单域测试和多域测试，其中单域测试包括设备测试和业务测试，设备测试包括测试某个系统的软交换设备、中继媒体网关设备、信令网关设备、接入媒体网关和IAD等设备。

等价类划分有两种不同的情况：有效等价类和无效等价类。设计时要同时考虑这两种等价类，因为软件不仅要能接收合理的数据，也要能经受意外的考验。

一有效等价类：是指对于程序的规格说明来说是合理的、有意义的输入数据构成的集合。利用有效等价类可检验程序是否实现了规格说明中所规定的功能和性能。

二无效等价类：与有效等价类的定义恰巧相反。

楠族开心果

符号测试
1.概述

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

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

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

2.测试理想情况

程序中仅有有限的几条执行路径，如果都完成了符号测试，就可有把握的确认程序的正确性了。

3.缺点

分支问题；二义性问题；大程序问题

楠族开心果

Z路径覆盖是路径覆盖的一个变体。路径覆盖是白盒测试最为典型的问题。着眼于路径分析的测试可称为路径测试。完成路径测试的理想情况是做到路径覆盖。对于比较简单的小程序实现路径覆盖是可能做到的。但是如果程序中出现多个判断和多个循环，可能的路径数目将会急剧增长，达到天文数字，以至实现路径覆盖不可能做到。

为了解决这一问题，我们必须舍掉一些次要因素，对循环机制进行简化，从而极大地减少路径的数量，使得覆盖这些有限的路径成为可能。我们称简化循环意义下的路径覆盖为Z路径覆盖。

这里所说的对循环化简是指，限制循环的次数。无论循环的形式和实际执行循环体的次数多少，我们只考虑循环一次和零次两种情况。也即只考虑执行时进入循环体一次和跳过循环体这两种情况。

对于程序中的所有路径可以用路径树来表示。当得到某一程序的路径树后，从其根结点开始，一次遍历，再回到根结点时，把所经历的叶结点名排列起来，就得到一个路径。如果我们设法遍历了所有的叶结点，那就得到了所有的路径。

当得到所有的路径后，生成每个路径的测试用例，就可以做到Z路径覆盖测试。

楠族开心果

程序变异
1.概述

是一种错误驱动测试。

错误驱动测试：指该方法是针对某类特定程序错误的，即专门测试某类错误是否存在

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

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

pdlmg

域测试就是输入域的子域？