Search academic texts

Information × Registration Number 0404U002427, Candidate dissertation Status к.т.н. Date 11-06-2004 popup.evolution o Title Methods and tools of metric-probabilistic quality assessment of the software for information and control systems of critical application Author Tarasyuk Olga Mikhaylovna, popup.head Kharchenko Vyacheslav Sergeevich popup.opponent Вартанян Василь Михайлович popup.opponent Кучук Георгій Анатолійович Description Дисертація присвячена розробці методів і інструментальних засобів оцінки якості та надійності програмного забезпечення інформаційно-управляючих систем критичного застосування на основі комплексного використання метрик і ймовірнісних моделей. Науковими результатами є: 1) метод комплексної оцінки якості та надійності ПЗ, який базується на спільному використанні та комплексуванні результатів метричного і модельного оцінювання та дозволяє забезпечити необхідну повноту та достовірність результатів оцінювання; 2) метод оцінки якості ПЗ з використанням систематизованої множини метрик, що дозволяє визначити модель метричної оцінки якості ПЗ, одержати скалярну оцінку або знизити розмірність векторних оцінок, а також проаналізувати достовірність метричної оцінки ПЗ; 3) метод оцінки надійності ПЗ, що дозволяє здійснювати спрямований вибір і верифікацію ймовірнісних моделей надійності на основі формалізованого аналізу допущень про процеси і продукти розробки. Запропоновані методи й інструментальні засоби дозволяють підвищити повноту і достовірність оцінки характеристик якості та надійності, а також перевірки вимог до ПЗ з урахуванням можливих обмежень на часові та матеріальні ресурси й зменшити частку ручних операцій у процесі оцінки програмного забезпечення Registration Date 2004-06-11 popup.nrat_date 2020-04-04 Close