Реферат: Автоматизация учета исполнения бюджета Краснодарского края
где С- некоторая константа,
t – время работы АСОД без отказа, ч.
Тогда, если время работы АСОД без отказа t отсчитывается от точки t = 0, а t1 остается фиксированным, функция надежности, или вероятность безотказной работы на интервале времени от 0 до t, равна :
Из величин, входящих в формулы (4.2) и (4.3) ,не известны начальное значение ошибок в АСОД (Et) и коэффициент пропорциональности – С. Для их определения прибегают к следующим рассуждениям. В процессе тестирования собирается информация о времени и количестве ошибок на каждом прогоне, т.е общее время тестирования t1 складывается из времени каждого прогона:
t1 = t1 + t2 + t3 + …. + tn (4.5)
Предполагая, что интенсивность появления ошибок постоянна и равна , можно вычислить её как число ошибок в единицу времени :
где Аi – количество ошибок на i-м прогоне.
Имея данные для двух различных моментов тестирования tA и tb , которые выбираются произвольно с учетом требования, чтобы Ec(tb) > Ec(tA), можно сопоставить уравнения ( 4.4 ) и ( 4.6 ) при tA и tb :
Вычисляя отношения (4.7) и ( 4.8 ), получим
Подставив полученную оценку параметров E
t в выражение (4.7), получим оценку для второго неизвестного параметра:
Получив неизвестные Еt и С, можно рассчитать надежность программы по формуле (4.3)
Достоинство этой модели заключается в том, что можно исправлять ошибки, внося изменения в текст программы в ходе тестирования, не разбивая процесс на этапы, чтобы удовлетворить требованию постоянства числа машинных инструкции.
4.1.2 Модель La Padula.
По этой модели выполнение последовательности тестов производиться в m этапов. Каждый этап заканчивается внесением изменений ( исправлений ) в АСОД. Возрастающая функция надёжности базируется на числе ошибок, обнаруженных в ходе каждого тестового прогона.
Надёжность АСОД в течений i –го этапа :
где i = 1,2, … n,
А – параметр роста ;
Предельная надежность АСОД .
Эти неизвестные величины можно найти, решив следующие уравнения:
где Si – число тестов;
mi – число отказов во время i-го этапа;
m – число этапов;
i = 1,2 … m.
Определяемый по этой модели показатель есть надежность АСОД на i-м этапе.