摘要
蜕变测试可以部分解决软件测试中的Oracle问题,其关键步骤和难点是蜕变关系的构造,它将直接影响测试的效果。通过对典型程序测试的案例对蜕变关系的构造进行分析,归纳总结了若干构造蜕变关系的基本准则,并在案例研究中采用变异分析方法验证了构造准则的合理性。提出了蜕变测试与等价类测试结合运用的测试方法,此方法可用于输入空间易于分类的程序。
Metamorphic testing can alleviate the oracle problem in software testing,and the construction of metamorphic relations in this method is a difficult problem,which will affect the result of testing directly.This paper analysed the construction of effective metamorphic relations based on typical case studies,summarizeed several criterions of selecting useful relations,and the rationality of our criterions was verified through case studies with mutation analysis.The paper also proposed a testing strategy of combining metamorphic testing and equivalence testing.It can be used in the testing of programs whose input spaces are easy to be classified.
出处
《计算机科学》
CSCD
北大核心
2012年第1期115-119,共5页
Computer Science
关键词
软件测试
Oracle问题
蜕变测试
蜕变关系
Software testing
Oracle problem
Metamorphic testing
Metamorphic relation
