Аспирантура ИСП РАН


Шаповал Павел Николаевич

Направление подготовки: 09.06.01 «Информатика и вычислительная техника».
Направленность (специальность): 05.13.11 «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей».
Дата зачисления: 01 октября 2014 года.
Приказ о зачислении: 10-у от 30.09.2014 года.
Срок окончания аспирантуры: 30 сентября 2018 года.
Форма обучения: очная.

Кандидатские экзамены

История и философия науки: хорошо, 23.06.2015.
Специальность 05.13.11: отлично, 1 июня 2016 года.
Педагогика высшей школы: отлично, июнь 2016 года.

Достижения в научно-исследовательской деятельности

Тема диссертационного исследования: Использование инкрементального статического анализа исходного кода для поиска дефектов, требующих межмодульной информации.
Утверждена на заседании Учёного совета ИСП РАН: Протокол №2014-13 от 26.12.2014 года.
Научный руководитель: Аветисян Арутюн Ишханович, д.ф.-м.н., доцент, директор.

Сведения о планируемой диссертационной работе

Объяснительная записка к выбору темы диссертационной работы:

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

Отчислен из аспирантуры по собственному желанию с 01 января 2017 года.