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

Registration Number

0409U005768, Candidate dissertation

Status

к.т.н.

Date

11-12-2009

popup.evolution

.

Title

The information technology of verification for the information control system software based on the descriptor model

Author

Petryk Valeriya Leonidivna,

popup.head Vartanyan Vasiliy Michailovich
popup.opponent Жолткевич Григорій Миколайович
popup.opponent Кучук Георгій Анатолійович

popup.rada

National Aerospace University named by N.E.Zhukovsky "Kharkov aviation institute"

Description

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

Registration Date

2009-12-22

popup.nrat_date

2020-04-04 / 2026-06-30