Page 15 - 4797

ПРАКТИЧНА РОБОТА № 2
НАДІЙНІСТЬ ПРОГРАМНИХ ПРОДУКТІВ

Мета: набути навичок розрахунку надійності програмних
розрахунків.

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

14