Відмовостійке програмування

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук

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

Див. також[ред.ред. код]

Приклади[ред.ред. код]