面向对象软件测试的蜕变关系构造方法

摘要：

针对面向对象软件类级测试中方法序列调用时的Oracle问题,提出了一种基于代数规格的面向对象蜕变关系构造方法,并根据此方法进行蜕变测试.首先基于代数规格给出面向对象测试中蜕变关系的构造准则,然后根据构造准则对GFT(Generating a Finite number of Test cases)算法中范式构造蜕变关系方法进行改进,最后通过一个整数栈类对提出的蜕变关系构造准则进行了验证测试,并与GFT算法中范式构造蜕变关系方法进行了对比,结果表明在相似的变异检测率下,改进后的方法使得构造的蜕变关系冗余度降低了66％,验证了改进的蜕变关系构造方法有更低的蜕变关系冗余度,提高了软件测试效率.

关键词：面向对象、蜕变关系、代数规格、变异检测率

所属期刊栏目：35

分类号：TP311.5(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目61402525;郑州市科技攻关计划项目141PPTGG383

在线出版日期：2015-12-01（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：2990-2994