Разработка математических моделей надежности прикладного программного обеспечения при ограниченной статистической информации

• Автор: Затенко, Светлана Ивановна
• Шифр специальности: 05.13.01
• Научная степень: Кандидатская
• Год защиты: 2009
• Место защиты: Санкт-Петербург
• Количество страниц: 155 с. : ил.

Введение
Глава 1.

Состояние и проблемы анализа наджности программного обеспечения

Проблемы анализа наджности ПО

Вероятностные модели наджности ПО

Модель ДжелинскиМоранда

Модель IВикаВолвергона

Модель Вейса

Модели Коркорэна

Модель ЛиттлвудаВеррала

Возможностью модели наджности ПО

Основные понятия и определения
Нечткая модель Цая
Модель Уткина обобщение нечткой модели Цая
Вероятное гновозможностныс модели ПО
Интервальный подход к моделям ПО
Основы интервального подхода в наджности систем
Понятие интервального среднего
Теорема продолжения
Постановка задач диссертационной работы
Выводы
Глава 2.
Обобщенные интервальные модели надежности ПО
Обобщнные интервальные модели ПО непрерывного времени
Постановка задачи и исходные данные для ее решения
Унифицированное представление вероятностных и нечтких моделей
Построение интервальной модели как задачи линейного программирования
Отсутствие сведений о независимости или неизвестное
взаимодействие
Строгая независимость
Надежность ПО при отсутствии сведений о независимости
тестирова и й
Надежность ПО при независимости периодов тестирования
Вид оптимального распределения в моделях наджности ПО
Вероятностная модель как частный случай обобщнной интервальной
модели
Нечеткая модель Цая как частный случай обобщенной интервальной
модели ПО
Дискретные обобщенные интервальные модели наджности ПО
Постановка задачи и исходные данные для е решения
Унифицированное представление вероятностных и нечтких
моделей
Построение интервальной модели как задачи линейного
программирования
Надежность ГО при отсутствии сведений о независимости
тестирования
Надежность ПО при независимости периодов тестирования
Вид оптимального распределения в моделях наджности ПО
Вероятностные и нечткие модели ПО как частные случаи
обобщнной интервальной модели
2.3. Выводы
Глава 3.
Разработка новых моделей наджности НПО на основе сочетания байесовского
подхода и принципа максимума функции правдоподобия
Основные положения байесовского подхода
Обобщнная байесовская модель наджности ПО на основе
априорного гамма распределения непрерывный случай
Гамма экспоненциальное распределение
Обобщнная гаммаэкспоненциальная модель
1 остроение обобщенной байесовской модели наджности ПО
Алгоритм построения обобщнных байесовских
моделей наджности ПО
Обобщнная байесовская модель наджности ПО на основе
априорного бета распределения дискретный случай
Бета биномиальное распределение
Построение обобщнной дискретной байесовской модели наджности
Интервальные модели надежности, основанные на неоднородных
процессах уассона
Вероятностные модели надежности Г на основе неоднородных
процессов Пуассона
Интервальные модели надежности ПО
Обитая схема построения интервальной МН1Г1
Частные случаи интервальных М1ПГ
Интервальная модификация модели МусаОкомото
Интервальная модификации модели ДжоэлОкомото
Интервальная модификации модели Дуэйна
Интервальная модификации модели ЯмадаОхбаОсаки
Алгоритм построения интервальных МНПП
Выводы
Глава 4.
Практическая реализация моделей и их экспериментальный анализ
Описание методики определения достоверности полученных
моделей
Сравнение дискретной обобщнной байесовской модели наджности ПО, на основе
априорного бета распределения, с дискретным аналогом модели
ДжелинскиМораида 8
Сравнение непрерывной обобщнной байесовской модели наджности ПО, на основе
априорною гамма распределения, с моделью ДжелинскиМоранда и моделью
ЛиттлвудаВеррала 4
Сравнение модифицированных интервальных моделей, использующих неоднородные
пуассоновские процессы с их стандартными аналогами 5
Разработка моделирующего комплекса для оценки наджности
ППО
Требования, предъявляемые к моделирующему комплексу
Структура моделирующего комплекса
Основные программные модули для оценки и анализа наджности НПО
Модуль ВСеотенчс
Модуль еПп5к1Могапс1а 1
Модуль ВОаттаЕхр
Модуль 1лп1соос1Усга
Модуль .1е1т5к1Могапс1а 2
Модуль ВЬа1 Вт
Модуль НРР
Выводы
Выводы
Литература


Глава 1. Глава 2. Глава 3. Глава 4. Модуль . ПО. Актуальность темы. Современное ППО обладает рядом особенностей. ППО. Однако ни один из них нельзя считать универсальным. ППО. Объект исследования. Предметом исследования являются модели и методы анализа наджности ППО. Методы исследования. ППО. Практическая ценность и реализация результатов работы. ФГУП НИИ Вектор СЦПС Спектр в г. С.М. Кирова, что подтверждается актом об использовании. Достоверность результатов. Пуассона, и модификации известных моделей надежности ППО. Апробация работы. С.М. С.М. Кирова г. ВАК по требуемому направлению. Структура и объем работы.