计算机科学 ›› 2012, Vol. 39 ›› Issue (1): 115-119.
• 软件工程 • 上一篇 下一篇
王榕 贲可荣
出版日期:
发布日期:
Online:
Published:
摘要: 蜕变测试可以部分解决软件测试中的()raclc问题,其关键步骤和难点是蜕变关系的构造,它将直接影响测试的效果。通过对典型程序测试的案例对蜕变关系的构造进行分析,归纳总结了若千构造蜕变关系的基本准则,并在案例研究中采用变异分析方法验证了构造准则的合理性。提出了蜕变测试与等价类测试结合运用的测试方法,此方法可用于输入空间易于分类的程序。
关键词: 软件测试,Oracle问题,蜕变测试,蜕变关系
Abstract: 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.
Key words: Software testing, Oracle problem, Metamorphic testing, Metamorphic relation
王榕 贲可荣. 蜕变关系构造基本准则与策略研究[J]. 计算机科学, 2012, 39(1): 115-119. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2012/V39/I1/115
Cited