Разработка веб-приложения для автоматизированного тестирования знаний по дискретной математике у студентов IT-специальностей

Содержание

Введение

Глава 1. Теоретико-методологический аппарат контроля знаний по дискретной математике

1.1. Генезис отечественной школы прикладной математики в контексте задач фундаментального образования

1.2. Дидактические принципы и алгоритмические подходы к автоматизации тестирования в IT-сфере

1.3. Сравнительная характеристика современных платформ для автоматизированной проверки математических компетенций

Глава 2. Проектирование и техническая реализация веб-системы тестирования

2.1. Спецификация системных требований и архитектурное моделирование программной среды

2.2. Алгоритмизация процедур генерации и верификации ответов в рамках дискретных структур

2.3. Экспериментальная оценка функциональности системы и анализ результатов педагогического тестирования

Заключение

Список использованной литературы

ВЫПУСКНАЯ КВАЛИФИКАЦИОННАЯ РАБОТА

РАЗРАБОТКА ВЕБ-ПРИЛОЖЕНИЯ ДЛЯ АВТОМАТИЗИРОВАННОГО ТЕСТИРОВАНИЯ ЗНАНИЙ ПО ДИСКРЕТНОЙ МАТЕМАТИКЕ У СТУДЕНТОВ IT-СПЕЦИАЛЬНОСТЕЙ

ВВЕДЕНИЕ

Современный этап развития информационных технологий характеризуется стремительным ростом требований к профессиональной подготовке специалистов в области программирования, алгоритмического анализа и разработки программного обеспечения. Дискретная математика занимает центральное место в фундаментальной подготовке студентов IT-специальностей, формируя базис для понимания алгоритмических структур, теории графов, комбинаторики, математической логики и теории автоматов [12, c. 45]. Актуальность исследования определяется необходимостью создания эффективных инструментов контроля знаний, способных адаптироваться к индивидуальным траекториям обучения и предоставлять объективную оценку компетенций в реальном времени.

Традиционные методы тестирования, основанные на статических наборах заданий, демонстрируют существенные ограничения в условиях массового высшего образования. Они не обеспечивают должной вариативности контрольно-измерительных материалов, что создает предпосылки для механического запоминания решений типовых задач без глубокого понимания математических принципов [27, c. 112]. Автоматизированные системы тестирования позволяют преодолеть данные ограничения посредством алгоритмической генерации заданий с параметризуемой сложностью и автоматической верификацией ответов [34, c. 89].

Анализ современного состояния цифровизации образовательного процесса свидетельствует о растущей востребованности интеллектуальных систем контроля знаний, интегрирующих элементы адаптивного тестирования и статистического анализа результатов. Такие системы должны обеспечивать не только автоматическую проверку правильности ответов, но и детализированную диагностику затруднений обучающихся, формирование рекомендаций по индивидуализации учебного процесса [18, c. 203]. Разработка веб-ориентированных платформ для тестирования знаний по дискретной математике представляет собой актуальную научно-практическую задачу, находящуюся на стыке прикладной математики, информатики и педагогических технологий.

Особую значимость приобретает проблема автоматизированной проверки задач, требующих построения формальных доказательств, синтеза алгоритмов или анализа дискретных структур. В отличие от тестов закрытого типа с выбором единственного правильного ответа, такие задания предполагают верификацию многоступенчатых решений, что требует разработки специализированных алгоритмов сопоставления символьных выражений и анализа логических конструкций [31, c. 156]. Существующие платформы, ориентированные преимущественно на проверку программного кода или численных ответов, не в полной мере адаптированы к специфике дискретной математики.

Цель исследования заключается в разработке функционально полного веб-приложения для автоматизированного тестирования знаний по дискретной математике, обеспечивающего алгоритмическую генерацию параметризованных заданий, автоматическую верификацию ответов и статистический анализ результатов обучения студентов IT-специальностей.

Для достижения поставленной цели необходимо решить следующие задачи:

• провести комплексный анализ дидактических принципов контроля знаний по дискретной математике и выявить специфические требования к автоматизированным системам тестирования;
• выполнить сравнительное исследование существующих платформ автоматизированной проверки математических компетенций с идентификацией их функциональных возможностей и ограничений;
• разработать архитектуру веб-приложения, обеспечивающую масштабируемость, модульность и расширяемость функционала системы;
• спроектировать и реализовать алгоритмы генерации заданий по ключевым разделам дискретной математики (теория множеств, комбинаторика, теория графов, булева алгебра);
• создать подсистему автоматической верификации ответов с учетом специфики различных типов заданий (числовые ответы, символьные выражения, графовые структуры);
• провести экспериментальное тестирование разработанной системы на контрольной выборке студентов с последующим анализом эффективности и качества педагогических измерений.

Объектом исследования выступает процесс контроля и оценки знаний студентов IT-специальностей по дискретной математике в условиях цифровизации образовательной среды.

Предметом исследования являются алгоритмические методы генерации параметризованных заданий и автоматической верификации ответов в веб-ориентированных системах тестирования математических компетенций.

Методологическая база исследования формируется на основе интеграции теоретических концепций прикладной математики, вычислительных методов и технологий разработки программного обеспечения.

Теоретическую основу составляют:

• фундаментальные положения дискретной математики (теория множеств, комбинаторный анализ, теория графов, математическая логика);
• теория алгоритмов и вычислительная сложность;
• методы символьных вычислений и компьютерной алгебры;
• концепции проектирования информационных систем и архитектурные паттерны веб-приложений;
• теория баз данных и методы структурирования образовательного контента.

Методы исследования включают:

• сравнительный анализ существующих платформ автоматизированного тестирования;
• математическое моделирование процессов генерации заданий и верификации ответов;
• объектно-ориентированное проектирование архитектуры программного комплекса;
• алгоритмизацию процедур обработки и анализа данных тестирования;
• экспериментальную апробацию разработанной системы с применением методов математической статистики для обработки результатов.

Инструментальные средства реализации:

• язык программирования Python 3.11 для реализации серверной логики;
• веб-фреймворк Django 4.2 для построения архитектуры приложения;
• система управления базами данных PostgreSQL 15 для хранения структурированных данных;
• библиотека SymPy 1.12 для символьных математических вычислений и верификации а

…