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

Структурная модель Нельсона [31], [32].

В качестве показателя надежности принимается вероятность Р(п) безотказного выполнения п прогонов программы. Для j-ro прогона вероятность отказа представляется в виде

где − индикатор отказа на -м наборе данных; − вероятность появления -го набора в -м прогоне. Тогда

Если − время выполнения j -го прогона, то интенсивность отказов

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

Для упрощенной оценки в [33] предлагается формула

где N − число прогонов; n_i − число обнаруженных при прогоне i -го теста ошибок; − индикатор отсутствия ошибок при прогоне i -го теста.

Для уменьшения размерности задачи множество значений входных наборов разбивают на пересекающиеся подмножества , каждому из которых соответствует определенный путь . Если содержит ошибки, то при выполнении теста на поднаборе будет отказ. Тогда вероятность правильного выполнения одного теста

При таком подходе оценка надежности по структурной модели затруднена, так как ошибка в проявляется не при любом наборе из Gj, а только при некоторых. Кроме того, отсутствует методика оценки по результатам испытаний программ.