Самозалечивающееся программное обеспечение

08.07.2015

Исследователи из Лаборатории вычислительной техники и искусственного интеллекта при Массачусетском технологическом институте разработали систему под названием Code Phage, автоматически исправляющую ошибки в приложениях с открытым исходным кодом. Code Phage способна исправлять ошибки, возникающие в результате выхода параметра за допустимые пределы, переполнения целочисленных значений и деления на ноль, говорится в публикации исследователей на сайте Ассоциации вычислительной техники.

Для работы системы необходимо наличие двух входных параметров, которые вводятся в целевое приложение, с условием, что один из параметров вызывает сбой в работе программы. Code Phage, используя базу данных, ищет приложение-донора, которое смогло бы обработать оба входных параметра без сбоя. Предполагается, что такое приложение содержит некое проверочное условие, которое предотвращает сбой и отсутствует в целевом приложении. Цель заключается в том, чтобы перенести эту проверку из приложения-донора в целевое приложение, которое необходимо исправить.

Чтобы найти проверочное условие в приложении-доноре и понять, как оно работает, Code Phage запускает приложение-донор сначала с "исправным", а затем - со "сбойным" параметром (то есть вызывающим сбой в оригинальной программе). При каждой "прогонке" система выстраивает цепочку логических операций, происходящих в программе, пока не найдет разветвление этих цепочек - то место, где находится проверочное условие.

Используя результаты анализа (символьные выражения), система воссоздает и интегрирует аналогичную проверку в исходное приложение на том языке, на котором оно было написано. При этом Code Phage работает с бинарными донорами, то есть ей не нужно знать исходный код приложений-доноров, так как она анализирует их логику.

В своем эксперименте исследователи смогли исправить ошибки в семи популярных приложениях с открытым исходным кодом, используя 2-4 донора для каждого из них. На исправление каждой ошибки ушло от 2 до 10 минут.

По словам исследователей, преимущество Code Phage заключается в том, что система может брать в качестве доноров программы, написанные на разных языках, лишь бы они работали аналогичным образом. В интернете находятся миллионы приложений, которые можно использовать в качестве доноров.

<< Назад: Мониторы iiyama ProLite XU2490HS-B1 и XU2590HS-B1 08.07.2015

>> Вперед: Совы и тишина пропеллеров 07.07.2015

Последние новости науки и техники, новинки электроники:

Хорошо управляемые луга могут компенсировать выбросы от скота 15.02.2026

Животноводство, особенно разведение крупного рогатого скота, часто обвиняют в значительном вкладе в глобальное потепление из-за мощного парникового газа - метана, который выделяется при пищеварении у жвачных животных. Это вызывает острые политические споры и призывы к сокращению потребления мяса. Однако ученые напоминают, что полная картина климатического воздействия отрасли не ограничивается только выбросами от животных: огромную роль играет окружающая экосистема - пастбища, почва и растительность, которые способны активно поглощать углекислый газ из атмосферы. Исследователи из Университета Небраски-Линкольна решили глубже изучить этот баланс. Группа под руководством профессора Галена Эриксона сосредоточилась на том, как правильно организованные пастбища накапливают углерод в растениях и грунте благодаря естественным процессам, стимулируемым выпасом скота. Ученые подчеркивают, что при достаточном уровне осадков и грамотном управлении такие луга превращаются в мощные природные погло ...>>

NASA тестирует инновационную технологию крыла 15.02.2026

Коммерческая авиация ежегодно расходует колоссальные объемы керосина, что сказывается не только на бюджете авиакомпаний, но и на состоянии окружающей среды. В 2024 году глобальные затраты на авиационное топливо достигли 291 миллиарда долларов, и эта сумма продолжает расти. Чтобы справиться с этими вызовами, NASA активно работает над технологиями, способными заметно повысить аэродинамическую эффективность самолетов. Одним из самых перспективных направлений стало создание специальной конструкции крыла, которая максимизирует естественный ламинарный поток воздуха и минимизирует сопротивление. В январе 2026 года специалисты NASA Armstrong Flight Research Center успешно провели важный этап наземных испытаний концепции Crossflow Attenuated Natural Laminar Flow (CATNLF). Для эксперимента под фюзеляж исследовательского самолета F-15B закрепили вертикально ориентированную масштабную модель высотой около 0,9 м (3 фута), напоминающую узкий киль. Такая компоновка позволила подвергнуть прототип р ...>>

Забота о внуках очень полезна для здоровья мозга 14.02.2026

Общение между поколениями приносит радость всей семье, но мало кто задумывается, насколько активно бабушки и дедушки, заботящиеся о внуках, поддерживают свою умственную форму. Регулярное взаимодействие с детьми стимулирует мозг пожилых людей, помогая сохранять память, скорость мышления и общую когнитивную активность. Новые научные данные подтверждают, что такая добровольная помощь не только важна для общества, но и может замедлять возрастные изменения в мозге. Исследователи из Тилбургского университета в Нидерландах провели анализ, чтобы понять, приносит ли уход за внуками реальную пользу здоровью пожилых людей. Ведущий автор работы Флавия Черечес отметила, что многие бабушки и дедушки регулярно присматривают за детьми, и оставался открытым вопрос, насколько это положительно сказывается на их собственном благополучии, особенно в плане когнитивных функций. Ученые поставили цель выяснить, способен ли регулярный уход за внуками замедлить снижение памяти и других умственных способ ...>>

Оптические системы сортировки и AI для черники и фруктов 14.02.2026

Каждый год потребители ожидают увидеть на прилавках свежие, ровные по размеру и цвету ягоды черники без признаков порчи или обезвоживания, при этом производители стремятся минимизировать потери и сохранить естественную привлекательность продукта. В эпоху растущих требований к качеству и дефицита квалифицированной рабочей силы традиционные методы сортировки фруктов уже не всегда справляются с задачей. Именно поэтому компании активно внедряют оптические сканеры в сочетании с искусственным интеллектом, способные анализировать ягоды с невероятной точностью и скоростью, сохраняя при этом их товарный вид. На выставке Fruit Logistica 2026 в Берлине компания Tomra Food презентовала свои последние достижения в области постуборочной обработки. Центральное место на стенде занимает совершенно новая оптическая сортировочная система, специально разработанная для свежей черники и предназначенная для использования непосредственно в упаковочных цехах. Эта машина охватывает весь путь ягод - от загруз ...>>

Монитор ROG Swift OLED PG32UCDM Gen 3 13.02.2026

Для многих поклонников компьютерных игр выбор монитора - это всегда поиск идеального баланса между потрясающей картинкой, молниеносной скоростью отклика и надежностью в длительных игровых сессиях. Технология QD-OLED уже несколько лет задает высокую планку качества изображения, предлагая глубокий черный цвет, яркие краски и практически мгновенную реакцию пикселей. Однако даже у самых продвинутых панелей оставались слабые места: уязвимость к царапинам, цветовые искажения под определенными углами и заметное отражение в освещенных помещениях. Компания ASUS решила серьезно улучшить ситуацию и представила третье поколение своего популярного 32-дюймового флагмана - ROG Swift OLED PG32UCDM Gen 3. В основе новинки лежит современная 32-дюймовая QD-OLED панель с разрешением 4K (3840 x 2160 пикселей), которая обеспечивает невероятную детализацию и точность цветопередачи. Частота обновления достигает 240 Гц, что делает картинку исключительно плавной даже в самых динамичных сценах шутеров или ...>>

Случайная новость из Архива Снег земной и марсианский 31.12.2024 Марс, как и Земля, обладает снежными пейзажами, но в отличие от нашей планеты, снег на Красной планете состоит не из воды, а из углекислого газа. Космические аппараты, такие как Mars Express Европейского космического агентства и Mars Reconnaissance Orbiter НАСА, сделали удивительные снимки снежных марсианских пейзажей в 2022 году. Эти фотографии, сделанные в районе Южного полюса Марса - Australe Scopuli, показали мир, где снег имеет совершенно необычный состав. Марсианские снежные пейзажи - это не просто копия земных зим, а уникальный процесс, связанный с особенностями атмосферы и климата Красной планеты. На Марсе снег формируется из замороженного углекислого газа, что радикально отличает его от привычного нам земного снега, который состоит из воды. Ледяной слой на Южном полюсе Красной планеты имеет толщину до 8 метров и сохраняется круглогодично. Даже в летнее время температура в этом регионе не поднимается выше -125 °C, что объясняет постоянное присутствие льда и снега. Снимки, сделанные с орбитальных аппаратов, также показывают темные участки на поверхности. Это пыль, которая скрыта под слоем льда, а летом, когда солнечный свет нагревает марсианский лед, происходит его сублимация - переход из твердого состояния в газ. При этом внутри льда образуются газовые карманы, которые создают небольшие "извержения" в виде выбросов пыли. Эти пылевые выбросы поднимают частицы в атмосферу, а марсианский ветер затем переносит их по поверхности планеты, создавая причудливые узоры и рисунки. Снежные частицы углекислого газа, а также иний, покрывающий края пылевых дюн, защищают их от разрушения до того, как они растаяли. Эта уникальная динамика марсианского ландшафта интересна тем, что напоминает земные зимние пейзажи, но все эти процессы происходят именно летом на Марсе. Интересно, что на Марсе не существует настоящей зимы, как на Земле. Несмотря на то, что температура остается очень низкой в любое время года, сезонные изменения не приводят к образованию привычной нам зимы с таянием снега и ледяными сугробами. Вместо этого, особенность марсианского климата заключается в том, что снег и лед из углекислого газа остаются стабильными круглый год, при этом постоянно меняя свой вид из-за солнечного воздействия и перемещений пыли.

Смотрите полный Архив новостей науки и техники, новинок электроники

www.diagram.com.ua
2000-2026