Моделювання надійності програмного забезпечення на основі алгебри алгоритмів і нечіткої логіки

Abstract

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