1 сентября, 2016 
adminGWP Oшибки в прoгрaммнoм кoдe-этo Бич любoгo чeлoвeкa, кoтoрый учaствуeт в рaзвитии прoгрaммнoгo oбeспeчeния. Рeшeниe прoблeм-этo дoвoльнo бaнaльнaя вeщь, чтo в бoльшинствe случaeв рeдaктирoвaниe нeскoлькиx стрoк исxoднoгo кoдa прoгрaммы, oднaкo прoцeсс лoкaлизaции мeстa вoзникнoвeния oшибки является очень трудоемкой задачей, особенно при работе над крупными проектами. Тем не менее, поиск модели ошибок не надо разобраться с этим делом, он может иметь дело с программное обеспечение программа, разработанная исследователями из Массачусетского технологического института, кроме того, эта программа может устранить большинство ошибок, заимствуя куски кода из других приложений, даже написанные на других языках программирования. Такой подход не требует доступа к исходному коду правильных программах в будущем, это позволит сэкономить тысячи часов разработчиков и позволит Вам получать стабильно работающие программы.
В настоящее время разработана программа под названием CodePhage возможность исключить ошибки, связанные с неверной преобразования типов, переменных, контроль переменных, и некоторые другие виды распространенных ошибок. «Наша программа реализуется в функции динамического обратного инжиниринга сегменты кода», — говорит Стелиос Sidiroglou-Douskos (Стелиос Sidiroglou-Douskos), один из исследователей, «если обнаружена ошибка, программа выполняет т.н. процесс «горизонтального трансплантологии» код, который очень похож на те же операции, которые используются в генетике. Программа не требует доступа к исходному коду и может обратить части надо код уже с огромной «библиотеки» исполняемого файла и модулей, которые доступны в Интернете».
Представьте, что вы написали программу в которой пользователь вводит два числа, а программа вычисляет третье число при делении на первое значение, введенное Пользователем в секунду. И, как это бывает очень часто, перед выполнением деления, Вы забыли проверить, что второе введенное число не равное нулю.
CodePhage система начинает анализ программа содержит ошибки и сразу выявить два «входных» данных. Анализ этих данных показывает, что первая из них-это не критично, введенное число может принимать любое значение, и это никогда не приведет к ошибке. На следующем этапе анализа определяются опасный для ввода и система проводит более тщательный анализ данных и обработка текста. Вывод о том, что операция деления в качестве делителя может быть «допущен» ноль, система регистрирует ошибку и сделать поиск в большой базе данных исполняемых модулей в наиболее подходящих разделение функций, позволяющих выполнить эту операцию в безопасном режиме.
«У нас есть «тонны» приложений и исходных кодов, хранящихся в государственных хранилищах. В эти миллионы проектов, вы всегда сможете найти подходящее решение для устранения ошибки того или иного рода, а не решение на право выполнения тех или иных действий», — говорит г-н Sidiroglou-Douskos», и это не зависит от языка программирования, на котором были написаны программы с ошибкой, а программа фреска код, потому что большинство языков программирования использует практически ту же конструкцию, что, в свою очередь, линии их исходный код».
«Наша долгосрочная цель-создать среду для программирования, в котором программист никогда не будет писать часть кода, если же, уже раньше было написано кем-то другим», — говорит Мартин Ринард (Мартин Ринард, профессор из Массачусетского технологического института, «в будущем система сможет быть решена программистом задач, и выбрать наиболее подходящий частей из уже написанного исходного кода, которое будет оптимально и без ошибок.
С помощью этой технологии, разработчики программного обеспечения, когда они в письменной форме может быть намеренно опускаю проверки на значения данных и погоне за «ошибки программирования» других типов. Затем код, что программа передается через такую систему, как CodePhage что код будет заполнить все необходимые проверки и устранения других типов ошибок. Результатом такого подхода будет сохранено достаточно большое количество человеко-часов высококвалифицированных специалистов и уровень программ стабильность увеличится почти максимальные, которые должны быть достигнуты.
Первая версия CodePhage программа протестирована на семи общедоступных кодов программ. В почти всех случаях CodePhage программе было около 10 минут времени, чтобы «исправить» другую программу, но в будущем исследователи будут пытаться сократить это время до возможного минимума.
Опубликовано в рубрике