кому воно здатне виконувати задані функції з параметрами, встановленими вимогами технічного завдання. З переходом в непрацездатний стан пов'язаний подія відмови. p align="justify"> Причиною відмови програмного засобу є неможливість його повної перевірки в процесі тестування і випробувань. При експлуатації програмного засобу в реальних умовах може виникнути така комбінація вхідних даних, яка викличе відмову, отже, працездатність програмного засобу залежить від вхідних даних, і чим менше ця залежність, тим вище рівень надійності. p align="justify"> Для оцінки надійності використовуються три групи показників: якісні, порядкові і кількісні.
10.1 Модель Коркорен
Застосування моделі припускає знання наступних її показників:
В· модель містить непостійну ймовірність відмов для різних джерел помилок і відповідно різну ймовірність їх виправлення;
В· в моделі використовуються такі параметри, як результат тільки N випробувань, в яких спостерігається N i помилок i-го типу;
В· виявлення в ході N випробувань помилки i-го типу з'являється з імовірністю a i .
Показник рівня надійності R обчислюють за такою формулою:
В
де N 0 - число безвідмовних (або безуспішних) випробувань, виконаних у серії з N випробувань, k - відоме число типів помилок, Y i - ймовірність появи помилок, при N i > 0, Y i = a i , при N i = 0, Y i = 0.
Було проведено 7 випробувань програми. 2 з 7 випробувань пройшли безуспішно, а в інших випадках вийшли наступні дані:
Таблиця 11
Результати тестування
Тип ошібкіВероятность появи YiВероятность появи помилки. При ісп. Ni1. Помилки вичісленія0, 0902. Логічні ошібкі0, 2613. Помилки ввода/вивода0, 2214. Помилки маніпулювання даннимі0, 1805. Помилки сопряженія0, 1706. Помилки визначення данних0, 0807. Помилки БД0, 060
В
