Зведений каталог бібліотек Києва

 

З973
Н695Нитребич, Оксана
    Моделі та методи оцінювання надійності програмного забезпечення з урахуванням його архітектури [Текст] : автореферат дисертації на здобуття наукового ступеня кандидата технічних наук : 01.05.03 / МОН України, Національний університет "Львівська політехніка". — Львів, 2015. — 20 с.


- Ключові слова:

машина електронна обчислювальна, ЕОМ, машина электронная вычислительная, ЭВМ, electronic computer ; забезпечення програмне, обеспечение программное, software ; автореферат (текст) ; надійність інформаційна, надежность информационная ; цикл життєвий, цикл жизненный ; Техніка, с.г., медицина

- Анотація:

Дисертація присвячена оцінюванню надійності програмної системи з урахуванням її архітектури, зокрема вдосконаленню наявних моделей оцінювання надійності програмного забезпечення (ПЗ) та розробленню нових методів автоматизованого формування набору тестів програмних систем для підвищення ефективності їхнього тестування.

У роботі вдосконалено модель оцінювання надійності ПЗ з використанням марковських ланцюгів вищих порядків, що забезпечує врахування взаємозалежності виконання компонент. Для визначення порядку марковського процесу проаналізовано інформаційні критерії. Розроблено новий шаблон проектування ПЗ, що сприяє компактному зборові даних для моделі оцінювання надійності програм. Крім того, на основі вдосконаленої моделі розроблено метод аналізу надійності ПЗ з використанням марковських ланцюгів вищих порядків та описано всі його підзадачі з можливими випадками розв'язання, що дає змогу підвищити точність показників надійності програмних систем до 6%.

- Теми документа

  • ББК науковий // Программирование для обработки данных. Математическое (программное) обеспечение АСУ и системы передачи данн



Наявність
Установа Кількість Документ на сайті установи
Науково-технічна бібліотека Національного авіаційного університету 1 Перейти на сайт