Лекция 9. Модели надёжности ПО. Оптимизация надёжности ВС (Лекции), страница 2

По любому расхождению вверсиях включается триггерМетоды обеспеченияотказоустойчивости••••••Обнаружение ошибокДиагностическое тестированиеИзоляция ошибокМаскировка ошибокКорректирование ошибокУстранение ошибокТребования ккомпонентамОрганизациярезервирования• Общие подходы– Организация глобального времени– Выделение изолированных регионов– Отказы в разделяемых компонентах• Программное резервирование– Пространственное резервирование– Временное резервирование• Функциональный сдвиг во времени• Информационный сдвиг во времени• Аппаратное резервирование– Пространственное резервирование– КодированиеМеханизмы обнаруженияошибок• Программные– Приемочные тесты– Отказоустойчивые алгоритмы– Проверки•••••ВременныеКодовыеРеверсныеСемантическиеСтруктурные• Аппаратные– Диагностическое тестированиеПриемочные тестыОтказоустойчивыеалгоритмы.

ПопарноетестированиеОтказоустойчивыеалгоритмы. ГолосованиеМеханизмы устраненияошибок• Программные– Одноверсионное программирование• Контрольная точка и перезапуск• Парные прогоны– Многоверсионное программирование• Восстановление блоками• N-версионное программирование• N-самотестируемое программирование• Аппаратные– Резервирование компонент– Переконфигурирование системыСхемы голосованияголосователь сравнивает результатыдвух и более функциональноэквивалентных компонентов ПО иопределяет корректныйрезультат• Схемы голосования:– Большинство– Консенсус– 2-из-NКонтрольная точка иперезапускПарные прогоныВосстановление блокамиN-версионноепрограммированиеN-самотестируемоепрограммированиеN-версионноепрограммирование.ПримерыКосмический шаттлЗависимость надежностиот количества версийЗаключение• Необходимо корректное покрытиеприёмочными тестами для обнаруженияошибок• Часто невозможно быстро проверитькорректность процедуры (например, дляалгоритма “сортировки” это также сложнокак сам алгоритм “сортировки”).• Проверки часто могут быть оченьресурсоёмкими.• Возможность проявленияненайденных ошибок не должно бытьопределяющимСпасибо за внимание!.