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

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

Abstract

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

Author Biographies

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

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

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

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

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

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

References

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).
Published
2016-11-25
How to Cite
СИМУНИ, Михаил Лазаревич; СОЛОВЬЕВ, Алексей Юрьевич; ШАЙТАН, Василий Ильич. АВТОМАТИЗИРОВАННАЯ ПРОВЕРКА ЗАДАЧ В КУРСЕ «ФУНКЦИОНАЛЬНОЕ ПРОГРАММИРОВАНИЕ». Modern Information Technologies and IT-Education, [S.l.], v. 12, n. 3-1, p. 90-96, nov. 2016. ISSN 2411-1473. Available at: <http://sitito.cs.msu.ru/index.php/SITITO/article/view/50>. Date accessed: 11 oct. 2025.
Citation Formats
Issue
Vol 12 No 3-1 (2016): Современные информационные технологии и ИТ-образование
Section
E-learning and IT in Education
Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

Publication policy of the journal is based on traditional ethical principles of the Russian scientific periodicals and is built in terms of ethical norms of editors and publishers work stated in Code of Conduct and Best Practice Guidelines for Journal Editors and Code of Conduct for Journal Publishers, developed by the Committee on Publication Ethics (COPE). In the course of publishing editorial board of the journal is led by international rules for copyright protection, statutory regulations of the Russian Federation as well as international standards of publishing. 
Authors publishing articles in this journal agree to the following: They retain copyright and grant the journal right of first publication of the work, which is automatically licensed under the Creative Commons Attribution License (CC BY license). Users can use, reuse and build upon the material published in this journal provided that such uses are fully attributed.