%0 Journal Article %T 面向对象软件测试的蜕变关系构造方法 %A 侯雪梅 %A 于磊 %A 张兴隆 %A 李志博 %J 计算机应用 %D 2015 %X ?针对面向对象软件类级测试中方法序列调用时的oracle问题,提出了一种基于代数规格的面向对象蜕变关系构造方法,并根据此方法进行蜕变测试。首先基于代数规格给出面向对象测试中蜕变关系的构造准则,然后根据构造准则对gft(generatingafinitenumberoftestcases)算法中范式构造蜕变关系方法进行改进,最后通过一个整数栈类对提出的蜕变关系构造准则进行了验证测试,并与gft算法中范式构造蜕变关系方法进行了对比,结果表明在相似的变异检测率下,改进后的方法使得构造的蜕变关系冗余度降低了66%,验证了改进的蜕变关系构造方法有更低的蜕变关系冗余度,提高了软件测试效率。 %K 面向对象 %K 蜕变关系 %K 代数规格 %K 变异检测率 %U http://www.joca.cn/CN/abstract/abstract18612.shtml