Порождение и проверка гипотез (generate-and-test) — процесс решения задачи, основанный на выработке возможных решений и исключении методом отсечения тех решений, которые не удовлетворяют заданному критерию.
[ГОСТ 33707-2016. (ISO/IEC 2382:2015) Информационные технологии (ИТ). Словарь]