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

Інформація × Реєстраційний номер 0406U004460, Кандидатська дисертація На здобуття к.т.н. Дата захисту 20-10-2006 Статус Запланована Назва роботи Моделі, методи та інструментальні засоби розробки багатоверсійного програмного забезпечення інформаційно-управляючих систем критичного застосування Здобувач Волковий Андрій Володимирович, Керівник Харченко Вячеслав Сергійович Опонент Фурман Ілля Олександрович Опонент Виноградська Світлана Василівна Опис Об’єкт дослідження – процеси розробки програмного забезпечення (ПЗ) та інформаційно-управляючих систем (ІУС) критичного застосування з використанням багатоверсійних технологій. Мета дослідження – зменшення ризику невиявлених дефектів і підвищення надійності ПЗ ІУС критичного застосування за рахунок надлишковості та різноманітності продуктів і процесів розробки. Проведені дослідження ґрунтуються на використання методів теорії графів і множин при розробці моделей багатоверсійних процесів та дефектів багатоверсійного ПЗ; методів метрико-імовірнісного аналізу надійності та експертного оцінювання при розробці методів оцінки багатоверсійного ПЗ та вибору технології. У дисертаційній роботі розроблені моделі, методи та інструментальні засоби створення ПЗ ІУС критичного застосування з використанням процесно-продуктної диверсності. Науковими результатами досліджень є: метод формування профілів багатоверсійного ПЗ для визначення множини вимог; модель життєвого циклу багатоверсійного ПЗ, що формалізує процеси диверсної розробки; метод оцінки надійності багатоверсійного ПЗ для розрахунку показників різноманітності та надійності на різних етапах проекту; метод розробки багатоверсійного ПЗ, що дозволяє вибирати технологію розробки з урахуванням вимог та проектних обмежень; інструментальні засоби, що є основою інформаційної технології підтримки процесів створення багатоверсійного ПЗ. Ступінь упровадження – галузева. Основні результати передбачається використовувати в організаціях та підприємствах, які займаються розробкою, впровадженням та сертифікацією спеціалізованих ІУС. Дата реєстрації 2006-10-20 Додано в НРАТ 2020-04-04 Закрити