• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

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

ФИО студента: Лупуляк Ольга Сергеевна

Руководитель: Омельченко Александр Владимирович

Кампус/факультет: Санкт-Петербургская школа физико-математических и компьютерных наук

Программа: Прикладная математика и информатика (Бакалавриат)

Год защиты: 2021

Так как распределённые системы используются в наши дни повсеместно, тестирование распределённых систем является важной задаче. В этой работе представлен фреймворк, позволяющий эмулировать и тестировать распределённые системы в разных режимах. Фреймворк предоставляет пользователю возможность указывать лишь основные свойства системы, такие как виды возможных отказов, и не требует написания конкретных сценариев тестирования. Несмотря на то, что инструмент не может применяться к реальным распределённым системам, он может быть полезен для изучения распределённых алгоритмов начинающими программистами и для прототипирования промышленных распределённых систем. Ключевые слова:распределённые системы, тестирование, про-верка моделей, эмулирование распределённых систем

Выпускные квалификационные работы (ВКР) в НИУ ВШЭ выполняют все студенты в соответствии с университетским Положением и Правилами, определенными каждой образовательной программой.

Аннотации всех ВКР в обязательном порядке публикуются в свободном доступе на корпоративном портале НИУ ВШЭ.

Полный текст ВКР размещается в свободном доступе на портале НИУ ВШЭ только при наличии согласия студента – автора (правообладателя) работы либо, в случае выполнения работы коллективом студентов, при наличии согласия всех соавторов (правообладателей) работы. ВКР после размещения на портале НИУ ВШЭ приобретает статус электронной публикации.

ВКР являются объектами авторских прав, на их использование распространяются ограничения, предусмотренные законодательством Российской Федерации об интеллектуальной собственности.

В случае использования ВКР, в том числе путем цитирования, указание имени автора и источника заимствования обязательно.

Реестр дипломов НИУ ВШЭ