Лента новостей

22:59
Украинцы возмутились переводом речи Порошенко в ООН на русский: Это вообще президент Украины?
22:55
«Курва должна сидеть на цепи»
22:53
Путин в «Яндексе»: президент впервые посетил офис главной российской IT-компании
22:51
Перспективная схватка США и России
22:50
Очередная дурь киевских властей
22:16
Сын Хрущева рассказал о единственном способе для Украины отобрать Крым у России
22:15
Угроза «белого экстремизма»: в Германии мигранты изнасиловали ещё одну девушку
22:14
Дадут ли США ещё один шанс Порошенко?
22:11
Наш сосед Намбия
22:09
Истерикой Трампа удовлетворён
22:07
Двойное дно американской щедрости: как Роскомнадзор разоблачил махинации Google в России
22:05
Посольство США решило поиздеваться над гражданами РФ
22:05
Под перекрестным огнем Дейр-эз-Зора: американцы провели «красную черту» России
22:03
Хроники маразма: Украина обяжет российских артистов получать разрешение СБУ на гастроли в Крыму
22:01
Турецкие СМИ в восторге от способности российских С-400 сбивать «высокотехнологичные» самолеты США
22:00
Место встречи: Порошенко: моя борьба, 21.09.17
21:58
Вспомнил В-2 – прослезился: генерал армии США с «осторожным оптимизмом» оценил секретный проект B-21
17:24
В России возрождаются аэропланы
17:22
Украина выплатила России 1,16 млн. фунтов стерлингов судебных издержек по делу о госдолге
17:21
Прибалты опять просят о помощи: NATO тут как тут…
17:20
Песков заявил о неприемлемости термина «страна-агрессор» в адрес России
17:19
Мегазрада: Украинская вышка на Чонгаре стала вещать российское радио
17:16
Государство отказалось делиться с россиянами нефтегазовыми доходами
17:15
National Interest: Американская армия оказалась бессильной против русского оружия
17:15
Поучительная история создания одного из предков «Томагавка»
17:14
Почему сбить ракету КНДР почти невозможно
15:11
Успеют ли военные городки подготовиться к холодам?
13:48
Бывший канцлер Германии: Ни один российский президент не выведет Крым из состава страны
13:47
Редкая экспозиция: в Крыму обнаружили более ста золотых скифских украшений
13:47
Глобалисты готовят победу Меркель на выборах
13:46
Российские «младогубернаторы»: новый губернаторский корпус рассказал Путину о своих планах
13:42
Витязь в козлиной шкуре
13:40
Главный секрет русских хакеров
13:37
Я уже давно ничему не удивляюсь. 80-е, 90-е и нулевые в России глазами иностранца
13:25
Трамп победил Уолл-Стрит: провозглашен курс на изъятие долларов
13:24
Рекс Тиллерсон в тисках гегемонов: Госдеп США придерживается фундаментальной политики
13:24
Неизведанная Африка: или как Трамп страны выдумывал
13:13
В Сирии произошли некоторые странные вещи
10:24
Стыдно!
10:20
Кто «минирует» Россию
10:19
Эксперименты продолжаются: Путчисты «декоммунизировали» стандарты качества
10:18
Операция «Возмездие»: ВКС РФ жестоко отомстили за атаку на российских военных, уничтожив ряд главарей «Аль-Каиды» в Идлибе и Хаме
10:17
NI: Как американский флот планирует сокрушить Китай и Россию на море
10:14
Почему США оставят Порошенко без обеда и «Джавелинов»
10:13
Миллионы украинских туристов едут в Россию
Все новости

Архив публикаций

«    Сентябрь 2017    »
ПнВтСрЧтПтСбВс
 123
45678910
11121314151617
18192021222324
252627282930 


» » Создана программа, способная исправить ошибки в другой программе, не имея доступа к ее исходному коду

Создана программа, способная исправить ошибки в другой программе, не имея доступа к ее исходному коду

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

В настоящее время разработанная программа, имеющая название CodePhage, способна устранять ошибки, связанные с некорректными преобразованиями типов переменных, отсутствием проверок значений переменных и некоторых других типов наиболее распространенных ошибок. "Наша программа реализует функцию динамического обратного инжиниринга участков кода" - рассказывает Стелайос Сидироглоу-Дускос (Stelios Sidiroglou-Douskos), один из исследователей, - "При обнаружении ошибки программа осуществляет так называемый процесс "горизонтальной пересадки кода", который весьма подобен аналогичной операции, используемой в генетике. При этом программа не нуждается в доступе к исходному коду и может черпать участки требующегося ей уже кода из огромной "библиотеки" исполняемых файлов и модулей, доступных на просторах Интернета".

Представьте себе, что вы написали программу, в которую пользователь вводит два числа, а программа рассчитывает третье число, деля первое введенное пользователем значение на второе. И, как это бывает очень часто, перед выполнением деления вы забыли проверить, что второе введенное число не равно нолю. 

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

"Мы имеем в наличии "тонны" исполняемых модулей и исходного кода, хранящихся в общедоступных хранилищах. В этих миллионах проектов всегда можно найти подходящее решение для устранения ошибки того или иного типа, точнее, решение для наиболее правильного выполнения тех или иных действий" - рассказывает Сидироглоу-Дускос, - "И это не зависит от языка программирования, на котором была написана программа с ошибкой и программа-донор кода, ведь большинство языков программирования используют практически одинаковые конструкции, в которые превращаются строчки их исходного кода".

"Нашей долгосрочной перспективой является создание такой среды программирования, в которой программисту никогда не придется писать часть кода, если точно такую же уже до него написал кто-то другой" - рассказывает Мартин Ринард (Martin Rinard), профессор из Массачусетского технологического института, - "Будущая система сможет самостоятельно определять решаемую программистом задачу и подбирать наиболее подходящие участки уже написанного исходного кода, который будет наиболее оптимальным и свободным от ошибок".

Используя подобную технологию, разработчики программ при их написании могут преднамеренно опускать проверки значений данных и совершать "программистские ляпы" других типов. Затем код полученной программы пропускается через систему типа CodePhage, которая наполнит код всеми необходимыми проверками и устранит другие виды ошибок. В результате применения такого подхода будет сэкономлено достаточно большое количество человеко-часов работы высококвалифицированных специалистов, а уровень стабильности работы программ будет поднят практически до максимально достижимого.

Первый вариант программы CodePhage был протестирован на коде семи общедоступных программ. Практически во всех случаях программе CodePhage потребовалось около 10 минут времени на "ремонт" другой программы, но в будущем исследователи постараются сократить это время до минимально возможного. 

Первоисточник





Опубликовано: legioner     Источник

Похожие публикации


Добавьте комментарий

Новости партнеров


Loading...

Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.
Наверх