若变异体M与被测试程序P在语法上存在差异，但在语义上却保持一致；即对于所有可能的测试用例，在P和M上的运行结果都一致；则称M是P的（）