基于差异度分析的蜕变关系选取方法

摘要

针对如何选取检错能力优良蜕变关系的问题,提出一种基于差异度分析的蜕变关系选取方法.从程序结构出发,分析每条蜕变关系能达到的路径对,利用路径覆盖距离度量蜕变关系中路径对之间的差异度,对于输入为多元组的程序还须考虑蜕变关系中参数间差异对蜕变关系检错率的影响,得出每条蜕变关系差异度值.通过多个不同类型实验对该方法进行验证,实验结果表明,蜕变关系差异度值越大的蜕变关系检错能力越强,验证了该方法的正确性.%Based upon the question that how to select useful metamorphic relation,the method for the selection of useful meta-morphic relations on the basis of differences analysis was proposed.In the beginning,the path couple of every relation based on program structure analysis was presented.Path coverage distance was used to evaluate the dissimilarities of path couples.As for programs with the multiple inputs,parameters differences were taken into consideration.As a result,the differences of every re-lation were demonstrated.Experiments were carried out to evaluate the rationality of this method.Experimental results show that the greater the differences of metamorphic relations,the greater the fault-detection effectiveness.Thus,the method pro-posed is correct.