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