Метод программирования с восстановлением блоками

Идея данного метода заключается в использовании N-версионного программирования и механизма контрольной точки и перезапуска (см. рис. 5.6). Суть метода в следующем. Запускается основная версия программы, которая выполняется и создает контрольные точки до тех пор, пока не обнаруживается ошибка. После обнаружения ошибки запускается альтернативная версия программы, которая начинает выполнение программы с последней контрольной точки, и т. д. Данный метод сочетает в себе достоинства методов N-версионного программирования и метода контрольной точки и перезапуска.

-самотестируемое программирование.

В зависимости от механизма обнаружения ошибки метод может быть двух типов — с использованием контрольных тестов и с применением сравнений.

Рассмотрим N-самотестируемое программирование с использованием контрольных тестов. В этом подходе объединены преимущества методов N-версионного программирования и восстановления блоками. Из единой спецификации независимо создаются различные версии программ и контрольных тестов. Главное отличие от метода восстановления блоками — использование для каждой версии программы своего контрольного теста. Все N версий программы запускаются последовательно или параллельно, затем каждая запущенная версия проходит контрольный тест, а затем в блоке логического выбора в качестве юз результирующего значения берется значение наивысшей из версий, прошедшей контрольный тест (рис. 5.7).

Рис. 5.7. N-самотестируемое программирование Стоит заметить, что именно многоверсионное программирование и методы устранения ошибок, описанные выше, — основной инструмент обеспечения отказоустойчивости для информационных систем реального времени (например, бортовые вычислительные системы современных транспортных средств).