www.diagram.com.ua
www.diagram.com.ua
Русский: Русская версия English: English version
Translate it!
Поиск по сайту

+ Поиск по журналам
+ Поиск по статьям сайта
+ Поиск по схемам СССР
+ Поиск по Библиотеке

Бесплатная техническая библиотека:
Все статьи А-Я
Энциклопедия радиоэлектроники и электротехники
Новости науки и техники
Журналы, книги, сборники
Архив статей и поиск
Схемы, сервис-мануалы
Электронные справочники
Инструкции по эксплуатации
Голосования
Ваши истории из жизни
На досуге
Случайные статьи
Отзывы о сайте

Справочник:
Большая энциклопедия для детей и взрослых
Биографии великих ученых
Важнейшие научные открытия
Детская научная лаборатория
Должностные инструкции
Домашняя мастерская
Жизнь замечательных физиков
Заводские технологии на дому
Загадки, ребусы, вопросы с подвохом
Инструменты и механизмы для сельского хозяйства
Искусство аудио
Искусство видео
История техники, технологии, предметов вокруг нас
И тут появился изобретатель (ТРИЗ)
Конспекты лекций, шпаргалки
Крылатые слова, фразеологизмы
Личный транспорт: наземный, водный, воздушный
Любителям путешествовать - советы туристу
Моделирование
Нормативная документация по охране труда
Опыты по физике
Опыты по химии
Основы безопасной жизнедеятельности (ОБЖД)
Основы первой медицинской помощи (ОПМП)
Охрана труда
Радиоэлектроника и электротехника
Строителю, домашнему мастеру
Типовые инструкции по охране труда (ТОИ)
Чудеса природы
Шпионские штучки
Электрик в доме
Эффектные фокусы и их разгадки

Техническая документация:
Схемы и сервис-мануалы
Книги, журналы, сборники
Справочники
Параметры радиодеталей
Прошивки
Инструкции по эксплуатации
Энциклопедия радиоэлектроники и электротехники

Бесплатный архив статей
(150000 статей в Архиве)

Алфавитный указатель статей в книгах и журналах

Бонусы:
Ваши истории
Загадки для взрослых и детей
Знаете ли Вы, что...
Зрительные иллюзии
Веселые задачки
Каталог Вивасан
Палиндромы
Сборка кубика Рубика
Форумы
Карта сайта

ДИАГРАММА
© 2000-2019

Дизайн и поддержка:
Александр Кузнецов

Техническое обеспечение:
Михаил Булах

Программирование:
Данил Мончукин

Маркетинг:
Татьяна Анастасьева

Перевод:
Наталья Кузнецова

Контакты

При использовании материалов сайта обязательна ссылка на http://www.diagram.com.ua

сделано в Украине
сделано в Украине

Диаграмма. Бесплатная техническая библиотека

Бесплатная техническая библиотека Бесплатная техническая библиотека, Энциклопедия радиоэлектроники и электротехники

НОВОСТИ НАУКИ И ТЕХНИКИ, НОВИНКИ ЭЛЕКТРОНИКИ
Бесплатная техническая библиотека / Лента новостей

Самозалечивающееся программное обеспечение 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

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

Ракета Blue Origin 11.12.2019

Частная американская аэрокосмическая компания Blue Origin основателя Amazon Джеффа Безоса, которая является одной из основных конкуренток компании Илона Маска SpaceX запустит космический корабль New Shepard для суборбитального полета. Сегодня компания Blue Origin американского миллиардера Джеффа Безоса планирует запустить к условной границе между атмосферой и космосом - около 100 км - многоразовую ракету-носитель New Shepard. На борту, помимо коммерческих грузов, будут также тысячи детских ...>>

Рождественскую елку подключили к электрическому угрю 11.12.2019

Океанариум в Чаттануге (США) соединил рождественскую елку с аквариумом, в котором обитает электрический угорь. Яркость иллюминации украшений елки зависит от того, сколько электричества вырабатывает рыба для поиска добычи или во время стресса. В природе электрические угри (Electrophorus electricus) обитают в реках Южной Америки. Вдоль вытянутого тела рыбы, которое достигает от 1 до 3 м., расположено множество специальных органов, которые вырабатывают электричество. Оно нужно рыбам для того, чт ...>>

Блоки питания Corsair CV Series 10.12.2019

Компания Corsair анонсировала блоки питания CV Series, предназначенные для применения в офисных компьютерах или недорогих домашних системах. В семейство вошли модели CV450 и CV550 мощностью соответственно 450 Вт и 550 Вт. Они имеют сертификацию 80 PLUS Bronze. Заявленная эффективность достигает 88 %. Для охлаждения применяется 120-миллиметровый вентилятор с низким уровнем шума. Средняя заявленная наработка на отказ (показатель MTBF) достигает 100 000 часов. Габариты устройств составляют ...>>

Океаны теряют кислород 10.12.2019

Международный союз охраны природы и природных ресурсов МСОП опубликовал доклад, согласно которому уровень кислорода в мировых океанах снижается с беспрецедентной скоростью. Изменения климата опасно усугубляют ситуацию. В новом исследовании приняло участие 67 ученых из 17 стран мира. Оказалось, что с 1950 года уровень кислорода в океанах снизился на 2%, а объем воды, полностью лишенной кислородом, - увеличился в четыре раза с 1960-х годов. 60 лет назад только 45 регионов океана страдали от ...>>

Trade-in на носимые устройства Samsung 09.12.2019

Samsung Electronics объявила о запуске программы trade-in на смарт-аксессуары, в рамках которой, при сдаче бывших в употреблении носимых устройств, в том числе фитнес-браслетов и механических часов, пользователь может приобрести новые модели "умных часов" с выгодой до 19,5 тыс. руб. Оформить покупку в трейд-ин можно в фирменных магазинах Samsung. В начале программы для покупки доступны новые модели Galaxy Watch Active2 в стальном и алюминиевом корпусе размером 40 и 44 мм. С выходом новых прод ...>>

Случайная новость из Архива

Стресс одного партнера приводит к лишнему весу у другого 02.03.2017

Стрессовое состояние одного партнера может привести к набору лишнего веса другим. К такому выводу пришли научные сотрудники университета в Мичигане.

Специалисты провели исследование, по итогам которого им удалось выяснить, что в число последствий длительного стресса одного из супругов входят ожирение и возникновение болезней у другого. В ходе эксперимента ученые наблюдали за состоянием здоровья жительниц США, мужья которых вынуждены постоянно находиться в состоянии стресса.

Как оказалось, у 70 процентов женщин имеются проблемы с лишним весом. В большинстве случаев ожирение женщин из-за стрессового состояния их мужей возникает у людей, возраст которых превышает 50 лет.

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


Бесплатная техническая библиотека Бесплатная техническая документация для любителей и профессионалов