В статье рассматриваются вопросы автоматизированного обучения программированию. Программирование в современном мире является одной из самых быстро развивающихся и перспективных отраслей. По данным кадровых агентств сейчас наблюдается нехватка программистов узкой специализации, и она будет только расти. В настоящее время к квалификации программистов работодатели предъявляют повышенные требования. Поэтому обучение программированию на курсах или повышение квалификации является особенно актуальным. При этом возрастает роль именно автоматизированного обучения, которое позволит сделать обучение более доступным. В статье анализируются принципы построения и типичные элементы существующих обучающих курсов, а также методы повышения эффективности именно автоматизированного обучения, которое можно проводить онлайн. Актуальными вопросами при таком обучении является создание условий, при которых обучаемый получал необходимые практические навыки – навыки написания и отладки рабочего кода на языке программирования в отсутствие или при минимальном присутствии преподавателя. Важным моментом при очном обучении программированию является проверка кода преподавателем, поиск ошибок и выявление неэффективного кода. При этом обучаемому дается обратная связь. При автоматизированном обучении задачи должны быть построены таким образом, чтобы можно было автоматизировано выполнить проверку кода. В статье предложены изменения и дополнения, которые повысят эффективность существующих автоматизированных курсов по обучению программированию. Проведен анализ существующих систем верификации программного кода и выявлены те методы верификации, которые применимы при обучении. Автоматическая верификация программного кода может вывести обучение на новый, более высокий уровень.
