Автоматизированная система для проведения практических занятий…
5
в системе программам поиска некорректных зависимостей. Отчеты
программ поиска некорректных зависимостей сохраняются в катало-
ге файловой системы, который синхронизирован через Dropbox с
компьютером преподавателя, проверяющего решения.
В настоящее время сервер обнаружения некорректных зависимо-
стей интегрирован с сервисом MOSS [12], предоставляемым Стэнд-
фордским университетом, и с программой обнаружения плагиата
Platypus [13].
Преимущества
использования
системы
тестирования
T-BMSTU.
С организационной и экономической точки зрения авто-
матизированная система тестирования позволяет снизить нагрузку на
преподавателя. Качественная проверка решения студента – это ите-
рационный процесс, который продолжается до получения корректной
программы. При проверке вручную на каждой итерации преподава-
тель вынужден выявлять ошибки путем изучения исходного кода и
ручного запуска программы на наборах входных данных. Автомати-
ческая проверка не исключает чтения исходного кода преподавате-
лем, но в несколько раз сокращает количество итераций и избавляет
от рутинных операций, таких как компиляция исходных текстов про-
граммы и сравнение результатов работы программы с эталонными
результатами.
Отметим, что сервер тестирования в составе системы T-BMSTU
может отклонять решения студентов, но не имеет права их прини-
мать. Если решение прошло все тесты, оно помечается как проверен-
ное сервером тестирования и поступает на проверку к преподавате-
лю. Преподаватель оценивает аккуратность оформления, наличие
комментариев, правильность декомпозиции программы на классы
или функции и выносит окончательный вердикт.
Как известно, чем полнее тематика лекций подкреплена практи-
ческими занятиями, тем лучше студент усваивает учебный курс.
Обычно количество предлагаемых студенту задач ограничено воз-
можностями преподавателя. Снижение нагрузки на преподавателя,
достигаемое благодаря использованию автоматизированной системы
тестирования, снимает это ограничение. С внедрением системы
T-BMSTU в МГТУ им. Н.Э. Баумана количество задач стало лимити-
роваться уже не нагрузкой преподавателя, а способностью студента
решить предложенные ему задачи.
Отметим, что автоматизированная система позволяет проверить
студенческое решение более полно, чем это может сделать препода-
ватель. Например, в системе T-BMSTU каждая студенческая про-
грамма запускается в среднем на 50 тестовых наборах входных дан-
ных, причем составители тестовых наборов стараются обеспечить
покрытие всех частных и предельных случаев работы программы.
