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