Просмотр исходного текста страницы НиД (10) - Лекция №16 - Надёжность ПО

{{Backward|l=НиД (10) - Лекция №15 - Техническое обслуживание системы}}
__TOC__
== Надёжность программного обеспечения ==

Два способа анализа надёжности ПО:
# создание моделей (прогнозирование ошибок);
# на этапе проектирования.

Интенсивность отказов ПО, по сравнению в техническим (аппаратным) обеспечением, со временем только уменьшается.

Стоимость ПО складывается из:
* сопровождение - 50%;
* тестирование - 20%;
* проектирование - 15%;
* программирование - 15%.

Чем больше тестировать ПО, тем меньше в нём останется ошибок. Нужно каким-то образом определять количество ошибок, иначе тестировать можно бесконечно.

Бывают ошибки программирования, но чаще всего некорректным является само ТЗ (техническое задание). В этом случае ПО удовлетворяет своей спецификации, но не является корректным.

=== Модель прогнозирования числа невыявленных ошибок ===

Есть две группы тестировщиков:

{{Формула|f=$E_1 = \frac{N_1}{N}$}}

{{Формула|f=$E_2 = \frac{N_2}{N}$}}

где:
: {{Формула|f=Е_i}} - эффективность группы;
: {{Формула|f=N_i}} - число ошибок, найдённое группой;
: {{Формула|f=N}} - общее число ошибок.

{{Формула|f=$E = \frac{N_{12} }{E_1\cdot E_2}$}}

{{Формула|f=$E = \frac{N_1}{N} = \frac{N_{12} }{N_2}$}}

Пусть группы обнаружили соответственно 20 и 25 ошибок. Из них общих 5.

{{Формула|f=$E_1 = 0.2$}}

{{Формула|f=$E_2 = 0.25$}}

{{Формула|f=$N = 100$}}

=== Модель Милса ===

Анализируемая программа "засоряется". После этого делается предположение, что обнаружение внесённых и собственных ошибок ПО одинаково.

Пусть в ПО внесено {{Формула|f=S}} ошибок. В результате тестирования обнаружено {{Формула|f=n}} ошибок собственных и {{Формула|f=r}} ошибок внесённых.

{{Формула|f=$N = \frac{S\cdot n}{r}$}}

[[Категория:Надёжность и достоверность (10 семестр)]]
[[Категория:Конспекты лекций и семинаров]]