Лабораторна робота. Моделі оцінки надійності програмних систем

Мета: застосувати на практиці знання з оцінки надійності програмних систем на прикладі прогнозної метричної моделі помилок Холстеда.
Короткі теоретичні відомості:
Надійність складних ПС істотно відрізняється від надійності апаратури. Носії даних (файли, сервер і т.п.) мають високу надійність, записи на них можуть зберігатися тривалий час без руйнування, оскільки фізичному руйнуванню вони практично не підлягають.
З погляду прикладної науки надійність – це здатність ПС зберігати свої властивості (безвідмовність, стійкість та ін.), перетворювати вихідні дані на результати протягом певного проміжку часу за певних умов експлуатації. Зниження надійності ПС відбувається через помилки у вимогах, проектуванні й виконанні.
Відмови й помилки залежать від способу виробництва продукту й з'являються в програмах при їхньому виконанні на деякому проміжку часу.
Для багатьох систем (реального часу, радарні системи, системи безпеки, медичне устаткування з вбудованими програмами та ін.) надійність – головна цільова функція їх реалізації. Для таких типів систем висувають високі вимоги до надійності, такі, як відсутність помилок, вірогідність, безпека та ін.
Таким чином, оцінка надійності ПС залежить від числа помилок, що залишилися не усунутими у програмах. У процесі експлуатації ПС помилки виявляють й усувають. Якщо при виправленні помилок не вносяться нові або, принаймні, нових помилок вноситься менше, ніж усувається, то в процесі експлуатації надійність ПС безперервно зростає. Чим інтенсивніше здійснюється експлуатація, тим інтенсивніше виявляються помилки й швидше зростає надійність системи й відповідно її якість.
Складність програми запропоновано розглядати як сукупність інтелектуальних зусиль (рішення елементарних завдань людиною до виникнення помилки) при кодуванні тексту на певній мові програмування:
де
- теоретична довжина програми,
- кількість унікальних операторів та операндів мови програмування,

Висновок: застосував на практиці знання з оцінки надійності програмних систем на прикладі прогнозної метричної моделі помилок Холстеда.

Отчет полный!!!