This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
start:practices [2017/05/17 15:36] mark |
start:practices [2022/12/10 09:08] (current) |
||
---|---|---|---|
Line 1: | Line 1: | ||
====== Летняя практика 2017 ====== | ====== Летняя практика 2017 ====== | ||
- | |||
- | |||
- | ====== Татьяна Берленко ====== | ||
- | |||
===== Geo2Tag ===== | ===== Geo2Tag ===== | ||
Line 16: | Line 12: | ||
Ожидаемый результат: | Ожидаемый результат: | ||
- | - Набор функций и тестов для платформы Geo2Tag. | + | - Набор функций и тестов для платформы [[http://geo2tag.org/|Geo2Tag]]. |
Навыки и знания: | Навыки и знания: | ||
Line 53: | Line 49: | ||
[[http://se.moevm.info/doku.php/start:mse:projects|Список проектов]] | [[http://se.moevm.info/doku.php/start:mse:projects|Список проектов]] | ||
- | |||
- | |||
- | ====== Марк Заславский ====== | ||
Line 74: | Line 67: | ||
Результат: набор автоматически проверяемых заданий для студентов, изучающих работу в MongoDB через Python-интерфейсы. | Результат: набор автоматически проверяемых заданий для студентов, изучающих работу в MongoDB через Python-интерфейсы. | ||
- | https://bitbucket.org/mark_zaslavskiy/nosql_inroduction/overview | + | * https://bitbucket.org/mark_zaslavskiy/nosql_inroduction/overview |
- | http://se.moevm.info/doku.php/staff:courses:no_sql_introduction | + | * http://se.moevm.info/doku.php/staff:courses:no_sql_introduction |
Line 111: | Line 104: | ||
===== Система проверки студенческих решений для онлайн-курсов "Основы программирования для Linux / Программирование в ядре Linux" ===== | ===== Система проверки студенческих решений для онлайн-курсов "Основы программирования для Linux / Программирование в ядре Linux" ===== | ||
- | Цель: доработка системы, осуществляющей виртуализированную проверку студенческих решений. | + | Цель: разработка системы, осуществляющей виртуализированную проверку студенческих решений. |
Задачи: | Задачи: | ||
Line 117: | Line 110: | ||
- Маршрутизация HTTP-запросов к системе и горизонтальное масштабирование экземпляров системы. | - Маршрутизация HTTP-запросов к системе и горизонтальное масштабирование экземпляров системы. | ||
- Архитектурное разделение проверяющей системы и сценариев проверки отдельных заданий. | - Архитектурное разделение проверяющей системы и сценариев проверки отдельных заданий. | ||
- | - Разработка заданий для изучения инструментов отладки и профилирования (gdb, valgrind, callgrind ...). | + | - Разработка заданий для изучения инструментов отладки и профилирования (gdb, valgrind, callgrind). |
Требования: | Требования: | ||
Line 146: | Line 139: | ||
===== Система автоматической проверки наиболее частых ошибок в формальных текстах ===== | ===== Система автоматической проверки наиболее частых ошибок в формальных текстах ===== | ||
- | Цель: создать веб-сервис анализа формальных текстов (научные статьи, курсовые работы, пояснительные записки, отчеты) на соответствие критериям, определяемых пользователями сервиса. Критерии представляют собой типичные алгоритмически-верифицируемые ошибки при подготовке вышеописанных документов. Примеры критериев: | + | Цель: создать веб-сервис анализа формальных текстов (научные статьи, курсовые работы, пояснительные записки, отчеты) на соответствие критериям, определяемых пользователями сервиса. Критерии представляют собой типичные алгоритмически-верифицируемые ошибки, возникающие при подготовке документов. Примеры критериев: |
- Личные предложения и личные формы глаголов. | - Личные предложения и личные формы глаголов. | ||
- Отсутствие ссылок или неверные ссылки на элементы списка литературы, изображения, таблицы. | - Отсутствие ссылок или неверные ссылки на элементы списка литературы, изображения, таблицы. | ||
Line 166: | Line 159: | ||
Результат: | Результат: | ||
- | - Приложение командной строки для анализа документов на ошибки. | + | - Приложение командной строки для анализа документов на ошибки. |
- | - Веб-сервис, реализующий интерфейс пользователя к приложению. | + | - Веб-сервис, реализующий интерфейс пользователя к приложению, функции авторизации и хранения критериев. |