Case studies on testing with compositional metamorphic relations  

使用复合蜕变关系进行软件测试的实例研究(英文)

作　　者：董国伟[1,2] 徐宝文[1,2] 陈林 聂长海[2] 王璐璐[1,2] 

机构地区：[1]东南大学计算机科学与工程学院,南京210096 [2]江苏省软件质量研究所,南京210096

出　　处：《Journal of Southeast University(English Edition)》2008年第4期437-443,共7页东南大学学报（英文版）

基　　金：The National Natural Science Foundation of China(No.60425206,60633010,60773104,60503033);the Excellent Talent Foundation of Teaching and Research of Southeast University

摘　　要：Some metamorphic relations （MR） are not good at detecting faults in metamorphic testing. In this paper, the method of making compositional MR （CMR） based on the speculative law of proposition logic is presented. This method constructs new MRs by composing existing MRs in a pairwise way. Because CMR contains all the advantages of the MRs that form it, its fault detection performance is wonderful. On the other hand, the number of relations will decrease greatly after composing, so a program can be tested with much fewer test cases when CMRs are used. In order to research the characteristics of a CMR, two case studies are analyzed. The experimental results show that the CMR＇s performance is mostly determined by the central MRs forming it and the sequence of composition. Testing efficiency is improved greatly when CMRs are used.蜕变测试时经常会出现蜕变关系检错能力低下的情况.基于命题逻辑的推理规则,提出了复合蜕变关系的构造方法,该方法对已构造的关系依次进行两两复合最终得到新的蜕变关系.复合蜕变关系可以把原关系的优点综合起来,具有更强的检错能力.此外,由于将蜕变关系复合后关系数量减少,所以当使用它测试程序时,生成测试用例的数量会大幅度降低.通过2个实例对复合蜕变关系的测试性能进行研究,实验结果表明复合关系的性能主要取决于构成它的核心蜕变关系,以及关系复合的顺序.使用复合蜕变关系可以极大地提高测试效率.

关 键 词：software testing metamorphic testing compositional metamorphic relation 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]