Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
PGTU / 5 семестр / Надежность / Nadezhnost_4-ya_redaktsia.doc
Скачиваний:
334
Добавлен:
29.03.2015
Размер:
12.07 Mб
Скачать

3. Создание надежного программного обеспечения 130

3.1. Надежность программного обеспечения 130

3.1.1. Ошибки в ПО и их типы 131

3.1.2. Причины появления ошибок в программном обеспечении 132

3.1.3. Отношения с пользователем (заказчиком) 134

3.1.4. Принципы и методы обеспечения надежности 135

3.1.5. Последовательность выполнения процессов разработки программного обеспечения 137

3.1.6. Сравнение надежности аппаратуры и программного обеспечения 138

3.2. Основные этапы проектирования программного обеспечения 139

3.2.1. Правильность проектирования и планирование изменений 142

3.2.2. Требования к ПО 143

3.2.3. Цели программного обеспечения 144

3.2.4. Внешнее проектирование 147

3.2.5. Проектирование архитектуры программы 154

3.2.6. Методы непосредственного повышения надежности модулей 161

3.2.7. Проектирование и программирование модуля 168

3.2.8. Стиль программирования 174

3.3. Тестирование и верификация программ 183

3.3.1. Проблемы тестирования программ 184

3.3.2. Технологии тестирования программ 185

3.3.3. Принципы тестирования 188

3.4. Модели надежности ПО 191

3.4.1. Модель роста надежности 191

3.4.2. Другие вероятностные модели 194

3.4.3. Статистическая модель Миллса 195

3.4.4. Простые интуитивные модели 197

3.4.5. Объединение показателей надежности 199

Выводы 201

Вопросы и задания 202

Список литературы 203

4. Диагностика состояния сложных технических систем 205

4.1. Предмет, задачи и модели технической диагностики 205

4.1.1. Предмет технической диагностики 205

4.1.2. Основные аспекты, задачи и модели технической диагностики 207

4.1.3. Классификация диагностических процедур ­­и их краткая характеристика 219

4.2. Построение тестов 223

4.2.1. Построение тестового набора методом активизации существенного пути 224

4.2.2. Алгоритм построения тестового набора для комбинационной схемы методом активизации существенного пути 225

4.2.3. Построение тестов для схем с памятью 227

4.3. Функциональный контроль и диагностирование сложных технических систем 238

4.3.1. Полностью самопроверяемые цифровые устройства 239

4.3.2. Схемы встроенного контроля 240

4.3.3. Схемы сжатия 241

4.3.4. Микропроцессор как объект функционального контроля 244

4.3.5. Модель МП с точки зрения функционального контроля 244

4.3.6. Диагностическая модель УУ МП системы 245

4.3.7. Критерии оценки методов контроля механизмов выборки, хранения и дешифрации команд 249

4.3.8. Встроенный функциональный контроль механизмов хранения  и дешифрации команд 249

4.4. Экспертные системы диагностирования сложных технических систем 283

4.4.1. Обучение и его модели. Самообучение 283

4.4.2. Экспертные системы и принципы их построения 285

4.4.3. Проблема разделения в самообучаемых экспертных системах 286

4.4.4. Алгоритмы обучения экспертных систем 287

4.4.5. АСУ «интеллектуальным зданием» 293

4.4.6. Система, принимающая решения по максимальной вероятности 295

4.4.7. Система, принимающая решения по наименьшему расстоянию 300

4.4.8. Повышение достоверности решений экспертной системы 305

4.4.9. Прогнозирование технического состояния узлов 306

Выводы 307

Вопросы и задания 308

Список литературы 309

ПРИЛОЖЕНИЕ 310

Соседние файлы в папке Надежность