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

Інформація × Реєстраційний номер 0214U007677, 0113U003185 , Науково-дослідна робота Назва роботи Розроблення моделей, методів та засобів оцінювання та аналізу надійності програмного забезпечення Назва етапу роботи Керівник роботи Федасюк Дмитро Васильович, Дата реєстрації 25-12-2014 Організація виконавець Національний університет "Львівська політехніка" Опис етапу 1. Метод оцінювання надійності програмного забезпечення на основі марковських процесів вищих порядків та метрики покриття параметрів змінних коду програм; модель функціонування програмного забезпечення на основі множини значень змінних коду; метод генерування сценаріїв тестування ПЗ, який максимізує значення метрики покриття параметрів змінних коду . Розроблено програмну систему оцінювання надійності "СОН ПЗ" для автоматизованого формування множини тестів ПЗ із максимальним значенням метрики покриття параметрів змінних коду та оцінювання надійності програмних систем на основі архітектурного підходу. Опис продукції Програмна система оцінювання надійності "СОН ПЗ" для автоматизованого формування множини тестів ПЗ із максимальним значенням метрики покриття параметрів змінних коду та оцінювання надійності програмних систем на основі архітектурного підходу може бути використана в ІТ-компаніях, що дозволить зменшити витрати на етапах експлуатації та супроводу ПЗ. Програмна система складається з наступних модулів: модуль для побудови моделі функціонування програми; модуль генерування набору тестів на основі розробленої моделі функціонування програмної системи; модуль для оцінювання надійності програмного продукту з використанням теорії марковського процесу вищого порядку. Автори роботи Білас О.Є. Бабіш С.К. Левус Є.В. Масюкевич В.В. Нитребич О.О. Онищенко В.Б. Парфенюк Ю.І. Сенів М.М. Сердюк П.В. Федів А.В. Федасюк Д.В. Яворський Є.О. Яковина В.С. Додано в НРАТ 2020-04-02 Закрити