Прикладні та теоретичні проблеми надійності програмного забезпечення
Науковий керівник -
|
Під керівництвом та за участі проф. Яковини В.С. побудовано ряд моделей для оцінювання надійності програмного забезпечення: на основі неоднорідного пуассонового процесу з показником складності; на основі ланцюгів Маркова вищого порядку з дискретним та неперервним часом, а також з урахуванням недосконалої інтеграції модулів програмної системи та взаємозалежності їх виконання; розроблено метод подання марковського процесу вищого порядку у вигляді еквівалентного процесу першого порядку з віртуальними станами; розроблено ряд методів аналізу та прогнозування надійності програмного забезпечення, в тому числі з використанням нейронних мереж. Наукова група (проф. Яковина В.С., доц. Сенів М.М., аспіранти Симець І.І та Угриновський Б.В.) проводить дослідження впливу процесів інженерії програмного забезпечення на його надійність; методів підвищення надійності програмних продуктів; різних аспектів надійності програмно-апаратних систем тощо.
За цим напрямком опубліковано понад 70 публікацій, 2 монографії та навчальний посібник «Основи теорії надійності програмних систем». На даний момент під науковим керівництвом Яковини В.С. на кафедрі провадять наукові дослідження двоє аспірантів: Симець І.І. за темою «Моделі і методи прогнозування та аналізу надійності технічних систем з урахуванням процесу розробки ПЗ» та Угриновський Б.В., темою дисертаційних досліджень якого є «Методи і засоби підвищення надійності програмного забезпечення з урахуванням процесу його старіння».