Кандидатська дисертація. Петрик Валерія Леонідівна. Інформаційна технологія верифікації програмного забезпечення інформаційно-управляючих систем на основі дескрипторної моделі

Реєстраційний номер

0409U005768, Кандидатська дисертація

На здобуття

к.т.н.

Дата захисту

11-12-2009

Статус

Захищена

Назва роботи

Інформаційна технологія верифікації програмного забезпечення інформаційно-управляючих систем на основі дескрипторної моделі

Здобувач

Петрик Валерія Леонідівна,

Керівник Вартанян Василь Михайлович
Опонент Жолткевич Григорій Миколайович
Опонент Кучук Георгій Анатолійович

Установа, організація, у вченій раді якої відбудеться/відбувся захист

Національний аерокосмічний університет ім. М.Є. Жуковського "Харківський авіаційний інститут"

Опис

Об'єкт - процеси верифікації, оцінювання якості й підвищення надійності програмного забезпечення (ПЗ) інформаційно-управляючих систем (ІУС). Мета - підвищення надійності ПЗ на основі розробки моделі, методу та інформаційної технології верифікації ПЗ в умовах ресурсних обмежень і неповноти проектної документації (НПД). Новизна - дескрипторна модель ПЗ; метод верифікації ПЗ в умовах ресурсних обмежень і НПД; удосконалено метод оцінки результату верифікації ПЗ; подальший розвиток методу статичного аналізу. Результати - розвиток технології оцінки якості та підвищення надійності ПЗ ІУС. Сфера застосування -розробники ПЗ ІУС, сертифікаційні лабораторії.

Дата реєстрації

2009-12-22

Додано/оновлено в НРАТ

2020-04-04 / 2026-06-30