Главная страница Случайная страница Разделы сайта АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника |
Структурная модель Нельсона
Структурная модель Нельсона [31], [32]. В качестве показателя надежности принимается вероятность Р(п) безотказного выполнения п прогонов программы. Для j-ro прогона вероятность отказа представляется в виде где − индикатор отказа на -м наборе данных; − вероятность появления -го набора в -м прогоне. Тогда Если − время выполнения j -го прогона, то интенсивность отказов Практическое использование формул (10.54) и (10.55) затруднено из-за множества входов и большого количества трудно оцениваемых параметров модели. На практике надежность программ оценивается по результатам тестовых испытаний, охватывающих относительно небольшую область пространства исходных данных. Для упрощенной оценки в [33] предлагается формула где N − число прогонов; ni − число обнаруженных при прогоне i -го теста ошибок; − индикатор отсутствия ошибок при прогоне i -го теста. Для уменьшения размерности задачи множество значений входных наборов разбивают на пересекающиеся подмножества , каждому из которых соответствует определенный путь . Если содержит ошибки, то при выполнении теста на поднаборе будет отказ. Тогда вероятность правильного выполнения одного теста При таком подходе оценка надежности по структурной модели затруднена, так как ошибка в проявляется не при любом наборе из Gj, а только при некоторых. Кроме того, отсутствует методика оценки по результатам испытаний программ.
|