Методология обеспечения качества автоматического анализа программ

ФИО студента: Гиматдинов Дамир Маратович

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

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

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

Оценка: 7

Год защиты: 2021

Работа посвящена методике тестирования и сравнения инструментов статического анализа программ. Предложен метод сравнения и тестирования инструментов статического анализа программ. Проведено исследование качества инструментов статического анализа программ на языке Python, при этом теоретически доказана применимость данного метода для сравнения инструментов анализа программ с исходным кодом как на языке Python, так и на других языках. Описана архитектура среды сравнения и тестирования инструментов автоматического анализа программ, теоретически обосновано качество результата оценки инструментов анализа программ. Разработана среда, которая позволяет в автоматическом режиме оценивать качество работы автоматического анализа программ на наличие ошибок и уязвимостей времени выполнения и проверки форматирования программ.

Текст работы (работа добавлена 21 мая 2021 г.)

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

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

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

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

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

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