Как проводится автоматическая проверка: принципы и примеры