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

English version

Дисертація на здобуття ступеня кандидата наук

Державний реєстраційний номер

0409U005768

Облікова картка дисертації

0409U005768.pdf

Здобувач

Спеціальність

  • 05.13.06 - Інформаційні технології

11-12-2009

Спеціалізована вчена рада

Д 64.062.01

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

Анотація

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

Читати повністю

Файли

aref.doc

dis.doc

Схожі дисертації

0424U000107

Ковирьова Олександра Валеріївна

Моделі і інструментальні засоби експресної діагностики для застосування в біології та медицині

0524U000111

Гончаренко Тетяна Андріївна

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

0524U000108

Лях Ігор Михайлович

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

0524U000074

Шишацький Андрій Володимирович

Інтелектуальні методи управління засобами завадозахисту систем радіозв'язку в умовах дестабілізуючих впливів

0524U000069

Гнатчук Єлизавета Геннадіївна

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