Використання марковських ланцюгів вищого порядку в задачах моделювання надійності програмного забезпечення

У моделях прогнозування надійності програмного забезпечення (ПЗ) засобами архітектурного підходу припущення про незалежність виконання компонент є спрощенням реального процесу роботи програмного забезпечення. Вдосконалено модель Гокаля з використанням Марковських ланцюгів вищого порядку, що дає змогу врахувати залежності виконання ПЗ у прогнозуванні його надійності. Assumption of independent components execution in software reliability models built using architectural approach is a simplification of real software execution. In this paper Gokhale model with higher order Markov chains has been improved to appreciate software execution dependencies in it's reliability prediction.