Введение
1 Введение в теорию надежности программного обеспечения 9
1.1 Основные понятия и определения. Показатели надежности программного обеспечения 9
1.1.1 Классификация моделей оценки надежности 10
1.1.2 Этапы создания программного обеспечения 12
1.1.3 Аналитические методы определения надежности программного обеспечения 13
1.2 Модели оценки надежности программного обеспечения 25
1.2.1 Эмпирические модели оценки надежности программного обеспечения 26
1.2.2 Статистические модели оценки надежности программного обеспечения 32
1.2.3 Вероятностные модели оценки показателей надежности программного обеспечения 33
1.2.4 Моделирование промежутков времени между сбоями 34
1.2.5 Модели роста надежности программного обеспечения 38
1.2.6 Экспоненциальная модель роста надежности программного обеспечения (ЕХРМ) 48
1.2.7 Логарифмическая модель роста надежности программного обеспечения (LOGM) 41
1.2.8 Степенная модель роста надежности программного обеспечения (POWM) 42
1.2.9 Замедленная S-образная модель роста надежности программного обеспечения (DSSM) 43
1.2.10 Обратная полиноминальная модель роста надежности программного обеспечения (INPM) 44
1.3 Выводы 46
2 Тензорный метод анализа сетей. Основные принципы 47
2.1 Постулат первого обобщения тензорного метода анализа 47
2.2 Постулат второго обобщения тензорного метода анализа 54
2.3 Использование нового понятия «геометрический объект» 57
3 Тензорный метод анализа надежности программного обеспечения 61
3.1 Использование метода диакоптики для анализа надежности программного обеспечения 70
3.2 Исследование сложных алгоритмов по частям с использованием метода диакоптики 77
4 Тензорный метод анализа надежности на стадии тестирования 85
4.1 Основная концепция 85
4.2 Контурная сеть как основная структура анализа 86
5 Программные средства анализа надежности с использованием тензорного метода 96
6 Исследование тензорного метода анализа методом имитационного моделирования 104
6.1 Основные понятия GPSS 109
6.2 Основные блоки GPSS 114
6.3 Имитационная модель программного обеспечения 116
Заключение 120
Список источников 121
