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

Інформація × Реєстраційний номер 0404U002427, Кандидатська дисертація На здобуття к.т.н. Дата захисту 11-06-2004 Статус Запланована Назва роботи Методи та інструментальні засоби метрико-ймовірнісної оцінки якості програмного забезпечення інформаційно-управляючих систем критичного застосування Здобувач Тарасюк Ольга Михайлівна, Керівник Харченко Вячеслав Сергійович Опонент Вартанян Василь Михайлович Опонент Кучук Георгій Анатолійович Опис Дисертація присвячена розробці методів і інструментальних засобів оцінки якості та надійності програмного забезпечення інформаційно-управляючих систем критичного застосування на основі комплексного використання метрик і ймовірнісних моделей. Науковими результатами є: 1) метод комплексної оцінки якості та надійності ПЗ, який базується на спільному використанні та комплексуванні результатів метричного і модельного оцінювання та дозволяє забезпечити необхідну повноту та достовірність результатів оцінювання; 2) метод оцінки якості ПЗ з використанням систематизованої множини метрик, що дозволяє визначити модель метричної оцінки якості ПЗ, одержати скалярну оцінку або знизити розмірність векторних оцінок, а також проаналізувати достовірність метричної оцінки ПЗ; 3) метод оцінки надійності ПЗ, що дозволяє здійснювати спрямований вибір і верифікацію ймовірнісних моделей надійності на основі формалізованого аналізу допущень про процеси і продукти розробки. Запропоновані методи й інструментальні засоби дозволяють підвищити повноту і достовірність оцінки характеристик якості та надійності, а також перевірки вимог до ПЗ з урахуванням можливих обмежень на часові та матеріальні ресурси й зменшити частку ручних операцій у процесі оцінки програмного забезпечення Дата реєстрації 2004-06-11 Додано в НРАТ 2020-04-04 Закрити