Разработка системы автоматизации тестирования обучающихся по дисциплине 'Логическое программирование'
Автоматизация тестирования позволит обеспечить более высокую производительность труда преподавателя, повышение качества подготовки учебных материалов, обеспечение большой надежности и достоверности информации, лучшую ее сохранность [4, c. 23]. Также появится возможность проверки знаний дистанционно.
Таким образом, цель данной работы – разработать систему автоматизации тестирования обучающихся по дисциплине «логическое программирование».
Для ее достижения поставлены следующие задачи:
- Провести анализ предметной области и обосновать актуальность автоматизации процесса тестирования;
- Рассмотреть функционал языка программирования Prolog;
- Разработать техническое задание на создание системы;
- Реализовать системы автоматизации;
- Протестировать систему автоматизации.
Аннотация 3
Введение 5
1. Анализ предметной области и обоснование актуальности задачи 7
1.1. Основные подходы в автоматизации тестирования обучающихся 7
1.2. Функционал языка программирования Prolog, используемый в
реализуемой системе 8
1.3. Техническое задание на создание системы 11
2. Принципы разработки системы автоматизации и реализация алгоритмов 15 2.1. Структура тестов и задач на языке Prolog 15
2.2. Реализация алгоритмов автоматизации тестирования 16
1. Тестирование системы 27
3.1. Тестирование и отладка 27
3.2. Демонстрационный пример работы системы 28
Заключение 35
Список использованных источников 37
Приложение
1. Дарков, А.В. Информационные технологии: теоретические ос- новы: Учебное пособие / А.В. Дарков, Н.Н. Шапошников. - СПб.: Лань, 2016.
- 448 c.
2. Киселев, Г.М. Информационные технологии в педагогическом образовании: Учебник для бакалавров / Г.М. Киселев, Р.В. Бочкова. - М.: Дашков и К, 2016. - 304 c.
3. Корнеев, И.К. Информационные технологии в работе с докумен- тами: Учебник / И.К. Корнеев. - М.: Проспект, 2016. - 304 c.
4. Карпенко, А. П. Модельное обеспечение автоматизированных обучающих систем. Обзор / А. П. Карпенко // Наука и образование. – 2011. –
№7.
5. Малыгин, А. А. Адаптивное тестирование в дистанционном обу- чении: монография / А. А. Малыгин. – Иванов: Иван. гос. хим.-технол. ун-т, 2012. – 138 с.
6. Маркова В.Д. Информационные технологии: сущность и иннова- ционная составляющая // Проблемы современной экономики. – 2016.–138 с.
7. Сенегноева, Н. А. Тестирование как одна из форм оценки учеб- ной деятельности / Н. А. Сенегноева // Педагогика. – 2006. – № 5. – 152 c.
8. Ягьяева, Л. Т. Применение информационных технологий в оценке качества образования / Л. Т. Ягьяева, Э. Ю. Замалетдинова. – Вестник Казанского технологического университета. – Казань, 2011. – 418 c.
9. Введение в Java FX [электронный ресурс] / metanit.com – Режим доступа: https://metanit.com/java/javafx/. – Дата обращения: 02.05.2021.
10. Пролог (язык программирования) [электронный ресурс] / Wikipe- dia.org – Режим доступа: https://ru.wikipedia.org/wiki/Пролог_(язык_програм-
мирования). – Дата обращения: 12.05.2021.
11. Java Activation Framework [электронный ресурс] / oracle.com – Ре- жим доступа: https://www.oracle.com/java/technologies/downloads.html. - Дата обращения: 11.05.2021.
12. Java Mail API [электронный ресурс] / javaee.github.io – Режим до- ступа: https://javaee.github.io/javamail/. - Дата обращения: 11.05.2021.
13. Java Mail SMTP [электронный ресурс] / javaee.github.io – Режим доступа: https://javaee.github.io/javamail/docs/api/com/sun/mail/smtp/package- summary.html. - Дата обращения: 11.05.2021.
14. JavaFX 2. Введение в Charts [электронный ресурс] / devcolibri.com
– Режим доступа: https://devcolibri.com/javafx-введение-в-charts/. – Дата об- ращения: 02.05.2021.
15. Junit4 [электронный ресурс] / junit.org – Режим доступа: https://junit.org/junit4/. - Дата обращения: 25.05.2021.
16. Scene Builder [электронный ресурс] /gluonhq.com – Режим до- ступа: https://gluonhq.com/products/scene-builder/. – Дата обращения: 15.05.2021.
17. Swi-prolog [электронный ресурс] / swi-prolog.org – Режим до- ступа: https://www.swi-prolog.org/. - Дата обращения: 16.05.2021.
