Классификация моделей надежности - часть 2

          Холс–          Мотли–                без             с  под–        Муссы,           подсева

          теда             Брукса           подсчета        счетом          выбора           ошибок

                                                       ошибок        ошибок        области

                                                                                                   данных

                                   Рис.9.1.   Классификация моделей надежности

Время программирования программы им предлагается вычислять  по следующей формуле:

           T = (n1 N2   (n1 log2 n1  + n2 log2 n2  ) log2 n1 / 2 n2 S,

где S – число Страуда (Холстед принял равным 18 – число умственных операций в единицу времени).

Объем вычисляется по формуле:

          V = ( 2 + n2*) log2 (( 2 + n2 *), где  n2 * ­–  мах число различных операций.

 Измерительные модели предназначены для измерения надежности программного обеспечения, работающего с заданной внешней средой и имеющие следующие ограничения:

 – программного обеспечения не модифицируется во время периода измерений свойств надежности;

– обнаруженные ошибки не исправляются;

– измерение надежности проводится для зафиксированной  конфигурации программного обеспечения.

Типичным примером таких моделей является модель Нельсона и Рамамурти–Бастани и др.

Модель оценки надежности Нельсона основывается на выполнении  k–прогонов программы при тестировании и   позволяет определить надежность

                R (k) = exp [– å Ñtj l (t)],

где  tj – время выполнения  j–прогона, l (t) = – [ln (1– qi) Ñj] и при   qi  £ 1  она интерпретируется  как интенсивность отказов.

В процессе испытаний программы на тестовых nl

прогонах  оценка надежности вычисляется по формуле

            R (l) =  1 – nl / k, где k

– число прогонов программы.

Таким образом, данная модель рассматривает  полученные количественные данные о проведенных  прогонах.