蜕变关系构造基本准则与策略研究

蜕变测试可以部分解决软件测试中的Oracle问题,其关键步骤和难点是蜕变关系的构造,它将直接影响测试的效果。通过对典型程序测试的案例对蜕变关系的构造进行分析,归纳总结了若干构造蜕变关系的基本准则,并在案例研究中采用变异分析方法验证了构造准则的合理性。提出了蜕变测试与等价类测试结合运用的测试方法,此方法可用于输入空间易于分类的程序。

Researches on Basic Criterion and Strategy of Constructing Metamorphic Relations

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. I}his 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.