变异测试的概述

首创于1970s，变异测试最初是为了定位揭示测试单元的弱点。这个理论是：如果一个边缘被引入，同时出现的行为（通常是输出）不受影响的情况下，那么这说明了：变异代码从没有被执行过（产生了过剩代码）或者测试单元无法定位错误。为了使之适用于所有情况，必须引入大量的变异，导致这个程序的极大量的副本被编译和执行。变异测试的花费问题，阻碍了它作为一种软件测试方法的实际应用。

变异测试最初被一个学生Dick Lipton提出，被DeMillo，Lipton和Sayward首次发现和公之于众。Lipton and Sayward.，是第一个变异测试工具，是由Timothy Budd于1980在耶鲁大学的博士工作（名为变异分析）中实现的。

近来，随着电脑能力的发展，变异测试也在电脑科学论坛中重新复兴起来。而且，已经有一些定义方法，可以把变异测试应用在OOP和非过程化语言中，如XML,SMV以及有限状态机。

是一种错误驱动测试。错误驱动测试：指该方法是针对某类特定程序错误的，即专门测试某类错误是否存在错误驱动测试分类：程序强变异和程序弱变异2.优点：便于集中目标对软件危害最大的可能错误，提高测试效率，降低成本