摘要
针对如何选取检错能力优良蜕变关系的问题,提出一种基于差异度分析的蜕变关系选取方法。从程序结构出发,分析每条蜕变关系能达到的路径对,利用路径覆盖距离度量蜕变关系中路径对之间的差异度,对于输入为多元组的程序还须考虑蜕变关系中参数间差异对蜕变关系检错率的影响,得出每条蜕变关系差异度值。通过多个不同类型实验对该方法进行验证,实验结果表明,蜕变关系差异度值越大的蜕变关系检错能力越强,验证了该方法的正确性。
Based upon the question that how to select useful metamorphic relation, the method for the selection of useful metamorphic relations on the basis of differences analysis was proposed. In the beginning, the path couple of every relation based on program structure analysis was presented. Path coverage distance was used to evaluate the dissimilarities of path couples. As for programs with the multiple inputs, parameters differences were taken into consideration. As a result, the differences of every relation were demonstrated. Experiments were carried out to evaluate the rationality of this method. Experimental results show that the greater the differences of metamorphic relations, the greater the fault-detection effectiveness. Thus, the method proposed is correct.
出处
《计算机工程与设计》
北大核心
2017年第1期103-109,共7页
Computer Engineering and Design
基金
国家自然科学基金项目(61402525)
郑州市普通科技攻关基金项目(141PPTGG383)
关键词
软件测试
蜕变测试
蜕变关系
变异测试
差异度分析
software testing
metamorphic testing
metamorphic relation
mutation testing
difference analysis
