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

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

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

Канада планирует построить космодром 06.04.2026

Развитие космической инфраструктуры все чаще становится вопросом не только науки и технологий, но и национальной безопасности. Многие государства стремятся получить независимый доступ к космическим запускам, чтобы не зависеть от внешних партнеров и укреплять собственный технологический суверенитет. На этом фоне Канада объявила о запуске масштабного проекта по созданию собственного космодрома. Министр обороны Канады Дэвид Мак-Гинти сообщил, что правительство страны инвестирует 200 млн канадских долларов, что составляет около 150 млн долларов США, в строительство национального космодрома. Эти средства станут частью долгосрочной программы развития суверенных возможностей космических запусков. По словам Мак-Гинти, Министерство обороны подписало 10-летнее соглашение с компанией MLS на сумму 200 млн долларов. В рамках этого контракта планируется строительство стартовой площадки, которая будет использоваться не только военными структурами, включая Министерство обороны и Вооруженные силы ...>>

Обновленные телевизоры Xiaomi S Mini LED TV 2026 06.04.2026

Компания Xiaomi представила обновленную серию телевизоров S Mini LED TV 2026, которая заметно отличается от версии, недавно вышедшей на европейский рынок. Новое поколение ориентировано на расширенные возможности отображения и более гибкую конфигурацию экранов, что делает линейку более универсальной для разных сценариев использования. В обновленной серии Xiaomi S Mini LED TV 2026 предлагается сразу пять диагоналей, начиная от 55 дюймов и заканчивая внушительными 100 дюймами. Флагманская модель оснащена 1920 зонами локального затемнения, способна достигать пиковой яркости до 2000 нит и поддерживает частоту обновления изображения до 288 Гц, что делает ее особенно привлекательной для динамичного контента и игр. Младшая модель в линейке отличается в первую очередь количеством зон локального затемнения, которых здесь 576, однако остальные ключевые характеристики остаются на уровне старших версий. Это позволяет сохранить высокое качество изображения даже в более доступном сегменте, не ж ...>>

Беспилотный грузовой самолет с двигателем AEP100 05.04.2026

Авиационная отрасль стоит перед масштабной задачей перехода к экологически чистым технологиям, и одним из наиболее перспективных направлений считается использование водорода в качестве топлива. Этот элемент рассматривается как потенциальная альтернатива традиционным видам авиационного топлива благодаря своей энергоэффективности и отсутствию углеродных выбросов при использовании. На этом фоне Китай сообщил об успешном испытании беспилотного грузового самолета, оснащенного турбовинтовым двигателем AEP100 мегаваттного класса, работающим на водороде. Это событие стало важным этапом в развитии авиационных технологий, так как позволило протестировать двигатель в реальных условиях полета, а не только в лабораторной среде. Испытательный полет был проведен в субботу, 4 апреля, в городе Чжучжоу, расположенном в китайской провинции Хунань. Именно там впервые в реальных условиях был задействован водородный авиационный двигатель подобной мощности, что дало возможность оценить его стабильность ...>>

Кухонные губки выделяют значительное количество микропластика 05.04.2026

Кухонные губки - один из самых используемых предметов в быту - могут быть недооцененным источником микропластика. Ученые из Боннского университета изучили, сколько таких частиц выделяется во время мытья посуды и как это влияет на окружающую среду. Выяснилось, что губки действительно ежегодно выделяют измеримое количество микропластика, однако основной вред экологии связан не с этим, а с расходом воды. В работе оценивали реальное выделение микропластика и его влияние с помощью анализа жизненного цикла (LCA). Исследование объединило лабораторные эксперименты и подход "гражданской науки": добровольцы из Германии и Северной Америки использовали разные типы губок в быту и фиксировали процесс. Губки взвешивали до и после использования, а также тестировали в лаборатории с помощью устройства SpongeBot, имитирующего мытье посуды. Результаты показали, что все губки изнашиваются и выделяют микропластик - примерно от 0,68 до 4,21 г на человека в год, в зависимости от состава. При этом губки ...>>

Гуманоид-спринтер Unitree H1 04.04.2026

Развитие гуманоидной робототехники сегодня стремительно приближается к уровню, при котором машины начинают уверенно имитировать не только движения человека, но и его физические возможности. Особенно активно в этом направлении работают компании из Китая, и очередное достижение Unitree Robotics стало заметной вехой в индустрии. Компания официально сообщила, что их антропоморфный робот Unitree H1 установил мировой рекорд скорости среди полноразмерных гуманоидов. В ходе испытаний машина продемонстрировала характеристики, которые ранее считались недостижимыми для подобного класса устройств, особенно с учетом их массы и конструкции. Во время тестового забега Unitree H1 разогнался до 3,3 метра в секунду, что соответствует примерно 12 километрам в час. Для сравнения, средняя скорость ходьбы человека составляет около 5 километров в час. Хотя до уровня профессионального бега роботам еще далеко, для гуманоидной системы массой около 47 килограммов такой результат считается значительным инжен ...>>

Случайная новость из Архива LDB - серия понижающе-повышающих DC-DC светодиодных драйверов 16.05.2015 Компания Mean Well к уже имеющимся понижающим (LDD) и повышающим (LDH) сериям DC-DC светодиодных драйверов выпустила универсальную серию понижающе-повышающих драйверов - LDB. Новая серия драйверов работает в режиме стабилизации выходного тока и имеет широкий диапазон входного и выходного напряжения без жесткой связи между собой и широкий температурный диапазон. Драйверы выпускаются на значение выходного тока из ряда: 300, 350, 500, 600 мА, обладают возможностью диммирования и дистанционного включения-выключения. Источники питания серии LDB-L/LW имеют встроенный фильтр помех и соответствуют требованиям стандарта EN55015 без применения дополнительных элементов. Драйверы выпускаются в двух вариантах корпуса: для пайки на плату (DIP-24) и для объемного монтажа (вариант с проводами). Новые драйверы предназначены для питания мощных светодиодов и светодиодных модулей в световых приборах внутреннего и наружного применения. Основные технические параметры серии LDB-L/LW: Выходной ток из ряда: 300, 350, 500, 600 мА; Диапазон входного напряжения: 9-36 В (DC); Диапазон выходного напряжения: 2-40 В (DC); Эффективность до 91%; Температурный диапазон: -40...+71°C; Диммирование методом ШИМ и дистанционное Вкл-Выкл; Защита от КЗ и перегрева; Габаритные размеры (ДхШхВ) 31.8х20.3х12.2 мм.

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

www.diagram.com.ua
2000-2026