Разработана технология автоматического исправления ошибок в ПО

   Ученые с Массачусетского технологического института (MIT) представила новейшую и в своем роде уникальную программную технологию - ClearView, которая автоматически исправляет ошибки в работающих программах за несколько минут. Данная технология отслеживает поведение исполняемого кода и если возникают отклонения от нормальной работа она предлагает возможнве способы борьбы с возникшей проблемой.

В ходе устранения ошибок выполняются 5 последовательных стадий:

   1. Сначала выполняется мониторинг нормального исполнения для выявления параметров,              характеризующих нормальное поведение приложения;

   2. Используются специальные детекторы ошибок, которые выявляют отличия нормального              исполнения от нештатных режимов;

   3. Определяются отклонения от выявленных параметров, происходящие в ходе нештатной                работы программ;

   4. Генерируются возможные исправления, которые принудительно приводят отдельные                    параметры к нормальным значениям путем изменения состояния или последовательности            команд, чтобы вернуть процесс в нормальное состояние;

   5. Контроль дальнейшего исполнения программ с исправлениями помогает выявить самое                успешное из предложенных исправлений.

   Технология ClearView  проводит мониторинг за нормальной работой программы и в процессе мониторинга создает наборы правил, чтобы потом выявлять определенные виды ошибок, обычно связанные с некорректными введенными данными - своего рода атаками, когда проводится попытка ввода в программу некорректные или заведомо вредоносные входные данные. Если в процессе выполнения программы что-то пойдет не так, ClearView выявляет аномалии и определяет, какой набор правил был нарушен. После этого генерируется набор возможных исправлений, который внедряется в исполняемый код, чтобы возобновить корректную работу программы. Технология  ClearView анализирует сгенерированные варианты исправлений и тестирует, в результате в рабочую систему устанавливается самый удачный вариант.

   Если после внесения исправления нарушения остались, либо установка исправления привела к поломке системы, технология ClearView отклоняет неправильный вариант исправления и пробует следующий. С помощью данного подхода, технология ClearView способна устранят ошибки в автоматическом режиме, при этом ненужно перезапускать программу.

   Для тестирования программы, разработчики установили ClearView на группу компьютеров с браузером Firefox и наняли независимую команду для атаки на данные ПК. При этом использовалось десять различных методов атаки, которые заключались во внедрении вредоносного кода в браузер. ClearView успешно справился со всеми попытками, закрывая приложение, до того, как внесённые изменения вступали в силу. Для семи из десяти случаев атаки ClearView удалось подобрать и успешно установить подходящий патч, чтобы вернуть браузер в рабочее состояние.