Формальная верификация ядра с открытым исходным кодом библиотеки Intel MediaSDK

ФИО студента: Рябинин Сергей Владимирович

Руководитель: Набиуллин Олег Ривхатович

Кампус/факультет: Факультет информатики, математики и компьютерных наук (Нижний Новгород)

Программа: Прикладная математика и информатика (Магистратура)

Год защиты: 2015

Магистерская выпускная квалификационная работа на тему: Формальная верификация ядра с открытым исходным кодом библиотеки Intel MediaSDK. Тема на английском языке: Formal Verification of Open Sourсe Intel Media SDK Core Component. Цель работы: исключить определенный класс программных ошибок в ядре библиотеки Intel MediaSDK с помощью формальной верификации. Задачи работы: 1. провести обзор существующих средств валидации, верификации и тестирования программного обеспечения; 2. провести формальную верификацию компонент ядра библиотеки MediaSDK; 3. представить механизм формальной верификации исходного кода на языке C++; Выпускная работа состоит содержит две части: В первой части были изучены методы верификации программного обеспечения и рассмотрены инструменты формальной верификации. Во второй части выпускной работы было представлено описание субъекта и инструмента исследования, проведена формальная верификация ядра библиотеки MediaSDK. Итогом работы является механизм формальной верификации программ, написанных на языке C++ путем трансляции этого кода в более простой язык программирования C, а также в ходе работы было установлено фактическое отсутствие серьезных дефектов в исходном коде планировщика задач библиотеки MediaSDK. Рис. 6; листингов 6; количество используемых источников 29 наимен.

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

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

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

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

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

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