Реферат: Автоматизация учета исполнения бюджета Краснодарского края


где С- некоторая константа,

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-м этапе.

К-во Просмотров: 264
Бесплатно скачать Реферат: Автоматизация учета исполнения бюджета Краснодарского края