变质测试是一种缓解Oracle问题的测试方法，基于输入-输出间的关系推理。本文概述了变质测试的概念、技术进展、领域应用、实验评估方法及未来挑战。讨论了好的变质关系应具备的属性，如程序领域相关性、差异性和形式化描述。此外，介绍了在Web服务、计算机制图、嵌入式系统和机器学习等多个领域的应用实例。
变质测试综述（2016 A Survey on Metamorphic Testing）
时间节点：98年-15年
文章总览：119 papers、12 application areas
变质测试
- 最早提出用以缓解Oracle问题
- 思想：推理程序输出之间的关系通常比充分理解或形式化其输入-输出行为更容易。
- 变质关系：一种对现有输入的转换，可以将转换后的输出结果进行比较。
- 相等、不等、周期性、收敛约束、推定关系等等
- 与传统程序不变量概念的区别：程序不变量面向整个输入空间（ − 1 < = sin ( x ) < = 1 -1 <= \sin(x) <= 1 −1<=sin(x)<=1）；变质关系面向特定的输入空间( sin ( x ) =
最低0.47元/天 解锁文章
扫一扫
813
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
