面向对象软件测试的蜕变关系构造方法
来源：计算机应用杂志2015年第10期北京时间：
作者：侯雪梅, 于磊, 张兴隆, 李志博
单位：信息工程大学 网络空间安全学院, 郑州 450001
摘要：针对面向对象软件类级测试中方法序列调用时的Oracle问题,提出了一种基于代数规格的面向对象蜕变关系构造方法,并根据此方法进行蜕变测试。首先基于代数规格给出面向对象测试中蜕变关系的构造准则,然后根据构造准则对GFT(Generating a Finite number of Test cases)算法中范式构造蜕变关系方法进行改进,最后通过一个整数栈类对提出的蜕变关系构造准则进行了验证测试,并与GFT算法中范式构造蜕变关系方法进行了对比,结果表明在相似的变异检测率下,改进后的方法使得构造的蜕变关系冗余度降低了66%,验证了改进的蜕变关系构造方法有更低的蜕变关系冗余度,提高了软件测试效率。
关键词：面向对象,蜕变关系,代数规格,变异检测率
基金资助：国家自然科学基金资助项目(61402525);郑州市科技攻关计划项目(141PPTGG383)。
