软件测试实践教程电子课件第4章 蜕变测试.pptVIP

第4章 蜕变测试 4.1蜕变测试概述 4.2 蜕变测试的典型案例 4.1蜕变测试概述 程序的执行结果不能预知的现象在测试理论中称为“Oracle问题”，即预期结果不知道。 例如测试sin(x)函数时，sin270的预期结果并不知道，这时就无法验证当x=270 时程序执行的正确性。 Oracle问题是“软件测试中最困难的任务”，它导致测试人员只能选择一些可以预知结果的特殊测试用例进行测试，而不能完整有效地进行测试。 4.1蜕变测试概述 蜕变测试是一种特殊的黑盒测试方法，蜕变测试依据被测软件的领域知识和软件的实现方法建立蜕变关系(Metamorphic Relation, MR)，利用蜕变关系来生成新的测试用例，通过验证蜕变关系是否被保持来决定测试是否通过。蜕变关系(Metamorphic Relation, MR) 是指多次执行目标程序时，输入与输出之间期望遵循的关系。 蜕变测试依据蜕变关系生成更多的后续测试用例，测试时就会多次执行目标程序时，使得程序可以进一步被验证。 4.2 蜕变测试的典型案例 例1: 测试sin函数。 对于无法确定期望结果的随机值x，根据sin（x）函数的特性可以确定6个蜕变关系以产生蜕变测试用例。这些蜕变关系MR如下所示： R1: sin(x)=sin(x+2π) R2: sin(x)=-sin(x+π) R3: -sin(-x)