Рисунок 7. Процесс работы тестовой системы, построенной по технологии UniTesK в рамках классических программных контрактов