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

Дисертація присвячена розробці методів і інструментальних засобів оцінки якості та надійності програмного забезпечення інформаційно-управляючих систем критичного застосування на основі комплексного використання метрик і ймовірнісних моделей. Науковими результатами є: 1) метод комплексної оцінки якості та надійності ПЗ, який базується на спільному використанні та комплексуванні результатів метричного і модельного оцінювання та дозволяє забезпечити необхідну повноту та достовірність результатів оцінювання; 2) метод оцінки якості ПЗ з використанням систематизованої множини метрик, що дозволяє визначити модель метричної оцінки якості ПЗ, одержати скалярну оцінку або знизити розмірність векторних оцінок, а також проаналізувати достовірність метричної оцінки ПЗ; 3) метод оцінки надійності ПЗ, що дозволяє здійснювати спрямований вибір і верифікацію ймовірнісних моделей надійності на основі формалізованого аналізу допущень про процеси і продукти розробки. Запропоновані методи й інструментальні засоби дозволяють підвищити повноту і достовірність оцінки характеристик якості та надійності, а також перевірки вимог до ПЗ з урахуванням можливих обмежень на часові та матеріальні ресурси й зменшити частку ручних операцій у процесі оцінки програмного забезпечення