ДИНАМІКА ПРОГРАМНИХ СИСТЕМ ТА МОДЕЛІ ЇХ НАДІЙНОСТІ

Д.А. Маєвський

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

Ключові слова: надійність систем, моделі надійності програмного забезпечення, дефекти програмного забезпечення, динамічні системи.