Программа автоматической проверки заданий по программированию

Работа посвящена автоматизации процессов проверки заданий по программированию. В работе представлены критерии, по которым может быть осуществлена проверка заданий, рассмотрены различные подходы к анализу исходного текста программы, тестированию поведения программы, включающему помимо запуска программы ее сборку из исходного кода. На основе анализа различных подходов верификации программного обеспечения, а также автоматизации сборки и тестирования программ с помощью практики непрерывной интеграции был разработан подход осуществления автоматизированной проверки заданий по программированию. Объектом разработки является программа, поддерживающая множество критериев оценки работ, осуществляющая автоматизированную проверку этих критериев. Программа призвана уменьшить время проверки заданий, а также снизить задержку между сдачей работы и ее оцениванием. Разработанное решение использует инструмент непрерывной интеграции Jenkins, а также имеет графический интерфейс для взаимодействия с пользователем в виде веб-страниц. Работа содержит 63 страницы, 3 главы, 6 рисунков, 8 таблиц, 59 источников, 5 приложений. Ключевые слова: автоматизация проверки, автоматическое оценивание заданий по программированию.