Структурная модель роста надежности

Структурная модель роста надежности (модель Иыуду) [34].

Модель является развитием модели Нельсона. В ней делают следующие допущения:

- исходные данные входного набора выбираются случайно в соответствии с распределением

- все элементы программ образуют s классов, вероятность правильного исполнения элемента -го класса равна

- ошибки в элементах программ независимы. Вероятность правильного исполнения программы по i -му пути

где − количество элементов -го класса в i -м пути. Безусловная вероятность безотказной работы при однократном исполнении программы в период времени до первой обнаруженной ошибки

где п − количество путей исполнения программы.

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

где − номер интервала времени между соседними ошибками.

При вероятность не меняется, при вероятность увеличивается, а при , напротив, падает. Для -го интервала вероятность успешного исполнения программы по -му пути

При выражение (10.57) можно представить в виде

Подставляя (10.58) в (10.57), получим:

Если наиболее вероятные пути проверены, то

В формуле (10.59) параметры и можно оценить по экспериментальным данным. Для плана испытаний [NBr], в котором определяются значения − числа прогонов между -м и -м отказами, с помощью метода максимального правдоподобия найдем уравнения относительно искомых оценок:

В частности, при r = 2 имеем: