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

面向对象软件测试蜕变关系构造方法 　　摘要：针对面向对象软件类级测试中方法序列调用时的Oracle问题，提出了一种基于代数规格的面向对象蜕变关系构造方法，并根据此方法进行蜕变测试。首先基于代数规格给出面向对象测试中蜕变关系的构造准则，然后根据构造准则对GFT（Generating a Finite number of Test cases）算法中范式构造蜕变关系方法进行改进，最后通过一个整数栈类对提出的蜕变关系构造准则进行了验证测试，并与GFT算法中范式构造蜕变关系方法进行了对比，结果表明在相似的变异检测率下，改进后的方法使得构造的蜕变关系冗余度降低了66%，验证了改进的蜕变关系构造方法有更低的蜕变关系冗余度，提高了软件测试效率。 　　关键词：面向对象；蜕变关系；代数规格；变异检测率 　　中图分类号： TP311.5 　　文献标志码：A 　　Abstract： To solve the Oracle problem of method sequence call in objectoriented software testing， a method of metamorphic relations constructing for objectoriented software testing based on algebraic specification was proposed. Firstly， metamorphic relations constructing criteria for objectoriented testing was defined based on the algebraic specification. Then the normal form metamorphic relations constructing method in the Generating a Finite number of Test cases （GFT） algorithm was improved according to these criteria. Finally， the improved method was verified through constructing IntStack class metamorphic relations. The experimental results showed that， compared with the normal form metamorphic relations constructing method， the metamorphic relations redundancy was reduced by 66% at the same mutation score. The results indicate that the new method has a low metamorphic relations redundancy and improves the efficiency of software testing. 　　Key words： objectoriented； metamorphic relation； algebraic specification； mutation score 　　0引言 　　软件测试是保证软件质量的重要环节，传统软件测试中存在Oracle问题，即在某些情况下，测试人员无法确定程序的执行结果与预期结果是否相同，或者很难构造预期输出结果。为此，文献[1]提出了蜕变测试技术。该技术通过判断不同测试用例的执行结果是否满足一定的关系来确定软件中是否存在缺陷。通过蜕变测试可以有效缓解软件测试中的Oralce问题[2]。 　　在蜕变测试中，蜕变关系是蜕变测试中的核心部分，它不仅用于测试用例生成，还提供了测试结果验证机制，直接关系着整个蜕变测试的效率。如果缺少必要的蜕变关系构造方法和准则将产生两方面问题[3-4]：1）生成大量测试功能相似的测试用例，严重影响测试效率；2）待测程序的某些功能未被覆盖到，导致测试不充分。但是由于蜕变关系和规格说明联系紧密，很难有统一的构造方法和准则。文献[5-6]在蜕变关系的选择策略及评价方法上进行了研究，提出了优良的蜕变关系选取策略，并给出了4条评价蜕变关系性能的一般准则，但是并没有提供具体的构造方法，因此这些讨论难以得到实际的应用；文献[7]提出了7条通用蜕变关系构造准则，但这些准则仅适用于基本数值计算程序；文献[8]基于命题逻辑的推理规则，提出了复合蜕变关系的构造方法，复合关系综合了组成它的各条关系优点，具有更强的检错能力，但是组成复合蜕变关系的初始蜕