метаморфическое определение

Метаморфическое тестирование ... для любого нетривиального свойства вычислимых функций определение того, вычисляет ли произвольный алгоритм функцию с таким свойством, является ...