Автотест без готового ответа: проверяйте связь между запусками
Обычно тест сравнивает результат с эталоном. Но для сложной функции эталон бывает трудно задать. Здесь полезны метаморфические проверки: мы предсказуемо меняем вход и проверяем, как обязан измениться выход.
Например, перестановка элементов на входе сортировщика не должна менять итог, а добавление одного элемента должно увеличить длину результата ровно на один. Дайте ИИ описание функции и примеры, попросите предложить такие преобразования и условия их применимости. Сначала утвердите свойства, затем просите код: модель тоже может придумать неверную закономерность. Так ИИ помогает найти оракул теста, а не угадывает ответы по одному.
