Предыдущая страница реферата | 13  14  15  16  17  18  19  20  21  22  23 | Следующая страница реферата

Модель Lа Раdula. По этой модели выполнение последовательности тестов производится в т этапов. Каждый этап заканчивается внесением изменений
(исправлений) в ПС. Возрастающая функция надежности базируется на числе ошибок, обнаруженных в ходе каждого тестового прогона.

Надежность ПС в течение i-го этапа:

[pic], i = 1,2,3,…, (17) где А—параметр роста;

[pic] при i ( (.Т.е R(() - предельная надежность ПС.

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

[pic], (18)

[pic], (19)

где Si. — число тестов; mi, — число отказов во время i-го этапа: т — число этапов; i=1,2, ...,т.

Определяемый по этой модели показатель есть надежность ПС на i-м этапе:

[pic], i = m+1, m+2 … (20)

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

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

Функция плотности распределения времени обнаружения 1-й ошибки, отсчитываемого от момента выявления 1-1-и ошибки, имеет вид:

[pic], (21) где (i — частота отказов (интенсивность отказов), которая пропорциональна числу еще не выявленных ошибок в программе:

[pic] (22) где N — число ошибок, первоначально присутствующих в программе; С — коэффициент пропорциональности.

Наиболее вероятные значения величин [pic] и [pic](оценка максимального правдоподобия) можно определить на основе данных, полученных при тестировании. Для этого фиксируют время выполнения программы до очередного отказа (t1, t2, t3, … tk,).

Значения [pic] и [pic] предлагается получить, решив систему уравнений:

[pic], (23)

[pic], (24) где

Q=В/АК;[pic];[pic]. (25)

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

[pic], (26)

[pic], (27) где

D = KS/C2 и [pic]. (28)

Чтобы получить числовые значения (i нужно подставить вместо N и С их возможные значения [pic] и [pic]. Рассчитав К значений по формуле (22) и подставив их в формулу (21), можно определить вероятность безотказной работы на различных временных интервалах. На основе полученных расчетных данных строится график зависимости вероятности безотказной работы от времени.

Рекомендуем скачать другие рефераты по теме: реферат решение, конспект урока на тему.





Предыдущая страница реферата | 13  14  15  16  17  18  19  20  21  22  23 | Следующая страница реферата