变异测试
作者:管理员 发布时间:[ 2010/2/8 16:42:06 ] 推荐标签:
变异测试(有时也叫做“编译分析”)是一种在细节方面改进程序源代码的软件测试方法。这些所谓的变异,是基于良好定义的变异操作,这些操作或者是模拟典型应用错误(例如:使用错误的操作符或者变量名字),或者是强制产生有效地测试(例如使得每个表达式都等于0)。目的是帮助测试者发现有效地测试,或者定位测试数据的弱点,或者是在执行中很少(或从不)使用的代码的弱点。
首创于1970s,变异测试初是为了定位揭示测试单元的弱点。这个理论是:如果一个边缘被引入,同时出现的行为(通常是输出)不受影响的情况下,那么这说明了:变异代码从没有被执行过(产生了过剩代码)或者测试单元无法定位错误。为了使之适用于所有情况,必须引入大量的变异,导致这个程序的极大量的副本被编译和执行。变异测试的花费问题,阻碍了它作为一种软件测试方法的实际应用。
变异测试初被一个学生Dick Lipton提出,被DeMillo,Lipton和Sayward首次发现和公之于众。Lipton and Sayward.,是第一个变异测试工具,是由Timothy Budd于1980在耶鲁大学的博士工作(名为变异分析)中实现的。
近来,随着电脑能力的发展,变异测试也在电脑科学论坛中重新复兴起来。而且,已经有一些定义方法,可以把变异测试应用在OOP和非过程化语言中,如XML,SMV以及有限状态机。
变异测试的前景
变异测试,通过选择一些变异操作,并对于每一个可执行代码段依次把它们应用在源代码中。对程序使用变异操作的结果叫做一个突变异种。如果测试单元可以察觉到错误(即:一个测试失败了),那么说该突变异种被杀害了。
例如,考虑项目的C++代码片段:
if (a && b)
c = 1;
else
c = 0;
条件编译操作可以用“||”来替换“&&”,产生下面的突变:
if (a || b)
c = 1;
else
c = 0;
现在,为了使测试杀死这个突变,需要满足一下条件:
(1) 测试输入数据必须对突变和原始创新引起不同的程序状态。例如:一个测试a=1,b=0可以达到这个目的。
(2)‘c’的值应该传播到程序输出并被测试检查。
弱的突变测试(弱的突变覆盖)只要求满足第一个条件。强的突变测试要求满足两个条件。强突变更有效,因此它保证测试单元可以真实的捕捉错误。弱突变近似于代码覆盖方法。它只需较少的计算能力来保证测试单元满足弱突变测试。
突变操作
一些突变操作已经被人发现了,例如:算术和逻辑的突变操作,并行工程,复杂对象如容器……
相关推荐
更新发布
功能测试和接口测试的区别
2023/3/23 14:23:39如何写好测试用例文档
2023/3/22 16:17:39常用的选择回归测试的方式有哪些?
2022/6/14 16:14:27测试流程中需要重点把关几个过程?
2021/10/18 15:37:44性能测试的七种方法
2021/9/17 15:19:29全链路压测优化思路
2021/9/14 15:42:25性能测试流程浅谈
2021/5/28 17:25:47常见的APP性能测试指标
2021/5/8 17:01:11