19. Дискретные модели надежности по. Модель Шумана.

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

МОДЕЛЬ ШУМАНА. В этой модели предполагается, что тестирование проводится в несколько этапов. Каждый этап представляет собой выполнение программы на наборе тестовых данных. Выявленные в течение этапа тестирования ошибки регистрируются, но не исправляются. По завершении этапа исправляются все обнаруженные на этом этапе ошибки, корректируются тестовые наборы и проводится новый этап тестирования.

Предполагается, что при корректировке новые ошибки не вносятся, и что интенсивность обнаружения ошибок пропорциональна числу оставшихся ошибок (как в модели Джелинского-Моранды).

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

Пусть - общее число обнаруженных и исправленных при тестировании ошибок;

n_i - число ошибок, исправленных к началу (i+1)-го этапа тестирования (n₀=0).

В модели Шумана ПО на i-м этапе тестирования имеет функцию надежности

где N - первоначальное количество ошибок в ПО;

N - n_i-1 - количество ошибок, оставшихся к началу i-го этапа;

С - коэффициент пропорциональности.

Неизвестные параметры модели N и C можно приближенно определить из системы уравнений

.

Вычислив значения N и C можно определить показатели:

1. число оставшихся ошибок в ПО N_т= N - n.

2) функцию надежности ПО по завершении тестирования:

.