АВТОМАТИЗИРОВАННАЯ ПРОВЕРКА ЗАДАЧ В КУРСЕ «ФУНКЦИОНАЛЬНОЕ ПРОГРАММИРОВАНИЕ»

  • Михаил Лазаревич Симуни Санкт-Петербургский государственный университет
  • Алексей Юрьевич Соловьев JobToday SA
  • Василий Ильич Шайтан Санкт-Петербургский политехнический университет Петра Великого

Аннотация

В статье рассматривается система тестирования и проверки задач для курса «Функциональное программирование», читаемого на математико-механическом факультете СПбГУ. Обсуждаются основные возможности системы тестирования, средства автоматизированной проверки задач и основные возможности проектируемой версии системы.

Сведения об авторах

Михаил Лазаревич Симуни, Санкт-Петербургский государственный университет

старший преподаватель кафедры информатики математико-механического факультета

Алексей Юрьевич Соловьев, JobToday SA

ведущий программист

Василий Ильич Шайтан, Санкт-Петербургский политехнический университет Петра Великого

студент института компьютерных наук и технологий

Литература

1. Функциональное программирование (мат-мех СПбГУ) URL: http://msimuni.wikidot.com/fp4
2. Функциональное программирование. Страница пользователя URL: http://solvetask.ru/fp4
3. Haskell Language URL: https://www.haskell.org/.
4. Функциональное программирование на языке Haskell – Stepic.org URL: https://stepik.org/course/Функциональное-программирование-на-языке-Haskell-75.
5. Sphere Online Judge (SPOJ) URL: http://www.spoj.com/.
6. Singh, Rishabh and Gulwani, Automated Feedback Generation for Introductory Programming Assignments. SIGPLAN Not. 48(6), 2013, pp.15—26
7. Анкета про списывание и совместную работу над решениями в курсе ФП URL: http://webanketa.com/forms/64r38c1r6rqkjdhpcgtk0rk1/ru/statistic/
8. Gulwani, Sumit, Ivan Radicek, and Florian Zuleger. "Automated Clustering and Program Repair for Introductory Programming Assignments." arXiv preprint arXiv:1603.03165 (2016).
Опубликована
2016-11-25
Как цитировать
СИМУНИ, Михаил Лазаревич; СОЛОВЬЕВ, Алексей Юрьевич; ШАЙТАН, Василий Ильич. АВТОМАТИЗИРОВАННАЯ ПРОВЕРКА ЗАДАЧ В КУРСЕ «ФУНКЦИОНАЛЬНОЕ ПРОГРАММИРОВАНИЕ». Современные информационные технологии и ИТ-образование, [S.l.], v. 12, n. 3-1, p. 90-96, nov. 2016. ISSN 2411-1473. Доступно на: <http://sitito.cs.msu.ru/index.php/SITITO/article/view/50>. Дата доступа: 13 apr. 2025
Форматы библиографических ссылок
Выпуск
Том 12 № 3-1 (2016): Современные информационные технологии и ИТ-образование
Раздел
E-learning, информационные технологии в образовании
Лицензия Creative Commons

Это произведение доступно по лицензии Creative Commons «Attribution» («Атрибуция») 4.0 Всемирная.

Редакционная политика журнала основывается на традиционных этических принципах российской научной периодики и строится с учетом этических норм работы редакторов и издателей, закрепленных в Кодексе поведения и руководящих принципах наилучшей практики для редактора журнала (Code of Conduct and Best Practice Guidelines for Journal Editors) и Кодексе поведения для издателя журнала (Code of Conduct for Journal Publishers), разработанных Комитетом по публикационной этике - Committee on Publication Ethics (COPE). В процессе издательской деятельности редколлегия журнала руководствуется международными правилами охраны авторского права, нормами действующего законодательства РФ, международными издательскими стандартами и обязательной ссылке на первоисточник.
Журнал позволяет авторам сохранять авторское право без ограничений. Журнал позволяет авторам сохранить права на публикацию без ограничений.
Издательская политика в области авторского права и архивирования определяются «зеленым цветом» в базе данных SHERPA/RoMEO.
Все статьи распространяются на условиях лицензии Creative Commons «Attribution» («Атрибуция») 4.0 Всемирная, которая позволяет другим использовать, распространять, дополнять эту работу с обязательной ссылкой на оригинальную работу и публикацию в этом журналe.