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

Исследование методов комплексного фаззинг-тестирования операционной системы реального времени

ФИО студента: Чепцов Виталий Юрьевич

Руководитель: Петренко Александр Константинович

Кампус/факультет: Факультет компьютерных наук

Программа: Системное программирование (Магистратура)

Оценка: 10

Год защиты: 2019

В работе рассматриваются проблемы тестирования бортовых операционных систем реального времени. Для поиска ошибок на различных этапах жизненного цикла ПО данного класса предлагается применить методы фаззинг-тестирования. Для осуществления данной задачи исследованы современные подходы применения фаззинга и рассмотрены особенности жизненного цикла бортовых систем гражданской авиации. В работе описываются как детали реализации отдельных низкоуровневых шагов, таких как процессы генерации тестовых данных, получения обратной связи и фиксации возникающих аномалий, так и подходы высокого уровня, такие как применение методов тестирования защищённости, построение модели угроз, поиск и приоритизация точек взаимодействия с окружающей средой, определение приоритетов риска для целевой системы. Для практической реализации концепции использован прототип ARINC~653 совместимой бортовой ОСРВ JetOS, для которой приводятся потенциальные точки взаимодействия и способы для их фаззинг-тестирования. Представлен пример реализации системы фаззинг-тестирования для стадии интеграции компонентов, рассматривающий вопрос доверия к стороннему оборудованию и поставляемым производителем драйверам.

Текст работы (работа добавлена 2 июня 2019 г.)

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

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

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

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

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

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