Манжос Ю. С. Семантичні моделі, методи та інформаційна технологія підвищення надійності програмного забезпечення інформаційно­-управляючих систем

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