Page 73 - 4797

помилок, однотипних з природними (метод X. Д. Мілса). У цій
роботі пропонується також інтуїтивна модель, яка не потребує
введення штучних помилок. Згідно з цією моделлю число
помилок у програмі оцінюється як:
YY
Y  1 2 , (7.3)
Y 12
де Y , Y - число помилок, які виявлені першим і другим
2
1
програмістами, відповідно, що відлагоджують незалежно один
від одного початковий текст програми;
Y - число помилок, виявлених як першим, так і другим
12
програмістами.
Початковий текст програми повинен бути розроблений
при цьому третім програмістом, щоб поставити програмістів,
які налагоджують текст програми в однакові (рівні) умови.
Щодо способів забезпечення і підвищення надійності
програм, то вони можуть бути такими:
а) удосконалення технології програмування;
б) вибір алгоритмів, не чутливих до різного роду порушень
обчислювального процесу (використання алгоритмічної
надлишковості);
в) резервування програм - дуальне і N - версійне
програмування, інші методи введення структурної
надлишковості;
г) контроль і тестування програм з наступним
коригуванням.

Завдання для практичної роботи
Визначення надійності програмного забезпечення
проведемо за допомогою моделі Джелінського-Моранди. Ця
модель базується на таких припущеннях:
- час до наступної відмови розподілений
експоненціально;

72