Пошук академічних текстів

Інформація × Реєстраційний номер 0409U005768, Кандидатська дисертація На здобуття к.т.н. Дата захисту 11-12-2009 Статус Запланована Назва роботи Інформаційна технологія верифікації програмного забезпечення інформаційно-управляючих систем на основі дескрипторної моделі Здобувач Петрик Валерія Леонідівна, Керівник Вартанян Василь Михайлович Опонент Жолткевич Григорій Миколайович Опонент Кучук Георгій Анатолійович Опис Об'єкт - процеси верифікації, оцінювання якості й підвищення надійності програмного забезпечення (ПЗ) інформаційно-управляючих систем (ІУС). Мета - підвищення надійності ПЗ на основі розробки моделі, методу та інформаційної технології верифікації ПЗ в умовах ресурсних обмежень і неповноти проектної документації (НПД). Новизна - дескрипторна модель ПЗ; метод верифікації ПЗ в умовах ресурсних обмежень і НПД; удосконалено метод оцінки результату верифікації ПЗ; подальший розвиток методу статичного аналізу. Результати - розвиток технології оцінки якості та підвищення надійності ПЗ ІУС. Сфера застосування -розробники ПЗ ІУС, сертифікаційні лабораторії. Дата реєстрації 2009-12-11 Додано в НРАТ 2020-04-04 Закрити