![]() Главная страница Случайная страница КАТЕГОРИИ: АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника |
Экспоненциальная модель Шумана
Экспоненциальная модель Шумана [12]-[16]. Модель основана на следующих допущениях: - общее число команд в программе на машинном языке постоянно; - в начале испытаний число ошибок равно некоторой постоянной величине и по мере исправления ошибок становится меньше; в ходе исправлений программы новые ошибки не вносятся; - интенсивность отказов программы пропорциональна числу остаточных ошибок. О структуре программного модуля сделаны дополнительные допущения; - модуль содержит только один оператор цикла, в котором есть операторы ввода информации, операторы присваивания и операторы условной передачи управления вперед; - отсутствуют вложенные циклы, но может быть При выполнении этих допущений вероятность безотказной работы находят по формуле:
где Ео − число ошибок в начале отладки; I − число машинных команд в модуле; Для оценки Ео и С используют результаты отладки. Пусть из общего числа прогонов системных тестовых программ r − число успешных прогонов, n-r − число прогонов, прерванных ошибками. Тогда общее время п прогонов, интенсивность ошибок и наработку на ошибку находят по формулам Полагая где Для вычисления оценок необходимо по результатам отладки знать Некоторое обобщение результатов (10.43)− (10.45) состоит в следующем. Пусть Отсюда Если Если в ходе отладки прогоняется где При Асимптотическое значение дисперсий оценок (для больших значений где Коэффициент корреляции оценок Асимптотические значения дисперсии и коэффициента корреляции используются для определения доверительных интервалов значений В работе [17] отмечается, что наиболее адекватной для модели Шумана является экспоненциальная модель изменения количества ошибок при изменении длительности отладки где Средняя наработка до отказа возрастает экспоненциально с увеличением длительности отладки: Экспоненциальная модель Джелинского− Моранды Экспоненциальная модель Джелинского− Моранды [18]− [20]. Данная модель является частным случаем модели Шумана. Согласно этой модели. интенсивность появления ошибок пропорциональна числу остаточных ошибок: где
Вероятность безотказной работы При Асимптотические оценки дисперсии и коэффициента корреляции (при больших Чтобы получить численные значения этих величин, надо всюду заменить
|