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

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

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

Атомный секрет вечного блеска золота 20.06.2026

Золото издавна считается символом вечности и благородства не только из-за своей редкости, но и благодаря удивительной химической стойкости. В отличие от большинства металлов, оно не окисляется на воздухе, не тускнеет и не покрывается ржавчиной даже спустя тысячелетия. Эта уникальная инертность позволила золотым артефактам сохранять первозданный блеск с древних времен. Однако точный механизм такой защиты долго оставался загадкой для ученых. Недавнее исследование американских химиков-вычислителей раскрыло, что дело не просто в слабом взаимодействии с кислородом, а в особой атомной структуре поверхности металла. Сотрудники Тулейнского университета Санту Бисвас и Мэтью М. Монтемор провели детальное компьютерное моделирование, чтобы понять, как молекулы кислорода взаимодействуют с поверхностью золота. Ученые сравнили два основных типа атомных структур: "реконструированные" и "нереконструированные" поверхности. Было доказано, что природная способность золота к перестройке атомов играет кл ...>>

Смарфон Realme 16T 5G 20.06.2026

В сегменте доступных смартфонов с акцентом на длительную работу без подзарядки компания Realme представила интересную новинку - модель Realme 16T 5G. Главным преимуществом устройства стала по-настоящему впечатляющая батарея емкостью 8000 мАч, которая способна обеспечить до трех дней автономной работы при умеренном использовании. При этом инженерам удалось сохранить относительно компактный корпус толщиной менее 9 мм и вес всего 224 грамма, что делает смартфон удобным для повседневного ношения несмотря на внушительный аккумулятор. Смартфон оснащен большим 6,8-дюймовым LCD-дисплеем с высокой частотой обновления 144 Гц и пиковой яркостью до 1200 нит. Такое сочетание обеспечивает плавную картинку в динамичных сценах и комфортное восприятие контента даже под прямыми солнечными лучами. За производительность отвечает энергоэффективный процессор MediaTek Dimensity 6300, дополненный оперативной памятью LPDDR4X и накопителем UFS 2.2. Для эффективного отвода тепла во время продолжительных нагру ...>>

Проблема набора веса после 40 19.06.2026

С возрастом многие люди замечают, что поддерживать привычный вес становится все сложнее, даже если рацион и уровень активности существенно не меняются. Ученые из Каролинского института в Швеции раскрыли одну из ключевых биологических причин этого явления. Они показали, что с годами в жировой ткани замедляется процесс обновления липидов, из-за чего организм постепенно накапливает жир. Это естественное возрастное изменение объясняет, почему после 40 лет тело начинает "работать" иначе, способствуя набору веса. В долгосрочном исследовании специалисты наблюдали за жировой тканью 54 мужчин и женщин на протяжении в среднем 13 лет. Независимо от того, набирали участники вес или, наоборот, худели, у всех без исключения скорость липидного обмена в жировых клетках заметно снижалась. Жир в клетках обновляется все медленнее, и этот процесс происходит автоматически с течением времени. Те, кто не компенсировал замедление уменьшением калорийности питания, в среднем набирали около 20% от исходного в ...>>

Носимый ультразвуковой пластырь UPatch для мониторинга беременности 19.06.2026

Беременность - один из самых ответственных периодов в жизни женщины, когда выявление любых отклонений может сыграть решающую роль в здоровье матери и ребенка. Современные методы мониторинга, такие как периодическое ультразвуковое исследование и кардиотокография, имеют серьезные ограничения: они дают лишь кратковременные снимки состояния и часто сопровождаются ложными тревогами. Ученые предложили инновационное решение в виде носимого ультразвукового пластыря, который способен вести непрерывное наблюдение за плодом прямо в утробе матери. Эта технология, получившая название UPatch, открывает новые возможности для раннего обнаружения осложнений и более полного понимания развития ребенка. Разработка UPatch представляет собой первый в своем роде мягкий носимый ультразвуковой датчик, способный в реальном времени фиксировать анатомические структуры плода, кровоток в сосудах и работу пуповины. Устройство компенсирует движения плода и слабые сигналы из глубоких тканей благодаря специальным ал ...>>

Планшет-бумбокс Lenovo Tab Plus Gen 2 18.06.2026

Компания Lenovo представила Tab Plus Gen 2 - обновленную версию популярной модели 2024 года. Новинка получила более крупный дисплей, усиленную аудиосистему и современное программное обеспечение, что делает ее привлекательным выбором для тех, кто любит смотреть видео, слушать музыку и работать в мобильном формате. Устройство сочетает в себе возможности планшета и портативной колонки, подчеркивая акцент на развлечениях. Одним из главных улучшений стал экран, диагональ которого выросла с 11,5 до 12,1 дюйма. Это LCD-панель с высоким разрешением 2560 х 1600 пикселей (2,5K), частотой обновления 120 Гц, поддержкой Dolby Vision и HDR10. В режиме высокой яркости дисплей способен достигать 800 нит, что обеспечивает комфортное восприятие контента даже в хорошо освещенных помещениях. Благодаря этим характеристикам изображение становится более детализированным и плавным. Особое внимание производитель уделил звуку. Аудиосистема планшета теперь включает девять динамиков JBL с поддержкой Dolby A ...>>

Случайная новость из Архива Система мягкого сбора брокколи 29.12.2025 Автоматизация сельского хохяйства помогает повысить эффективность и сократить потери урожая. Особенно важно бережное обращение с хрупкими продуктами, такими как брокколи, которые легко повреждаются при механической обработке. Студенты университета Avans нашли решение этой проблемы, создав систему мягкого сбора, интегрированную с роботизированным комбайном. Разработка студентов Руса ван Леувена и Яспера Келена представляет собой уникальный конвейерный механизм с мягкими переходами, который позволяет аккуратно транспортировать брокколи и автоматически заполнять ящики без ударов и деформации головок овоща. Такая система полностью устраняет риск повреждения продукции на этапе сбора и погрузки. Испытания новинки проводились в реальных полевых условиях на ферме Verdonk Broccoli. Система включает телескопический конвейер длиной от 5,5 до 10,5 метров, соединяющий роботизированный комбайн с прицепом для сбора урожая. Сенсоры контроля уровня заполнения контейнеров обеспечивают непрерывный процесс: как только один ящик полностью заполняется, поток брокколи автоматически перенаправляется в следующий контейнер. По словам владелицы хозяйства Сабины Вердонк, автоматизация разгрузки критически важна. Ранее базовые модели роботов стартапа Cythe не имели надежного механизма подачи овощей в прицеп, что ограничивало эффективность работы. Новая система уже установлена на четырех уборочных прицепах и может использоваться как совместно с роботизированными манипуляторами, так и при ручной срезке. Робот-комбайн работает на основе системы камер, распознающих диаметр головки брокколи. Пять роботизированных рук осторожно раздвигают листья, срезают овощ и аккуратно передают его на конвейер. Благодаря этому подходу повреждения продукта практически исключены, что особенно важно для сохранения товарного вида овощей. Внедрение студенческой разработки позволило превратить прототип в полноценный производственный комплекс. Сейчас роботизированная система способна работать со скоростью 1,1 километра в час, обеспечивая стабильный поток продукции без потерь качества.

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

www.diagram.com.ua
2000-2026