Инструмент ИИ Facebook для отладки теперь доступен всем

Facebook делает свой инструмент ИИ для отладки доступным для всех

Facebook раньше быстро двигался и ломал вещи. Теперь он прилагает усилия, чтобы быстро двигаться и исправлять вещи. Для этого компания разработала инструмент с искусственным интеллектом под названием Infer, который может находить ошибки в мобильных приложениях до того, как они столкнутся с клиентами. Теперь компания хочет, чтобы все проверяли свое программное обеспечение таким образом.

Сегодня компания сделала свой открытый код Infer доступным для любого независимого разработчика или любой компании, желающей отлаживать свои приложения новыми способами.

Питер О’Хирн, соавтор Infer, сказал: “Он смотрит на программу и делает предположения или гипотезы о программе, как это мог бы сделать человек.”

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

Отладчики, многие из них, запускают программу и ищут или сканируют код построчно в поисках ошибок. Infer имеет возможность методично проверять код и искать проблемы, не завершая его, концепция, называемая “статическим анализом программ”.

На основе концепции статического анализа как коммерческие, так и открытые инструменты тестирования доступны и существуют уже десятилетия. Однако эти инструменты не могут проводить глубокий анализ кода на уровне, на котором может работать Infer, говорит О’Хирн. В отличие от других инструментов, Infer способен обрабатывать большие объемы кода, методично проверять меньшие части, а затем объединять результаты, сохраняя баланс между скоростью и глубиной.

О’Хирн говорит: “Я думаю об этом как о ИИ.” Однако он говорит, что это ближе к символической ветви искусственного интеллекта, чем к более вдохновленным мозгом нейронным сетям, которые изобретают другие исследователи в Facebook.

Infer был разработан на основе академических исследований, которые О’Хирн начал с покойным компьютерным ученым Джоном Рейнольдсом, вместе с ним разработал концепцию компьютерных наук под названием логика разделения. Следующее важное открытие произошло позже, когда О’Хирн осознал, что он может применить концепцию, называемую абдуктивным рассуждением, к статическому анализу.

О’Хирн работал с Дино Дистефано, который был его научным ассистентом, и Кристиано Кальканьо, который был одним из его аспирантов в Университете королевы Марии в Лондоне. Дистефано и Кальканьо перешли в разные институты и продолжили свои исследования. Однако в конечном итоге они поняли, что хотят произвести впечатление на мир разработки программного обеспечения вне академии. Они приняли решение и основали стартап под названием Monoidics и пригласили О’Хирна присоединиться к ним.

Первоначальный план заключался в разработке коммерческого продукта на основе их работы. Однако, когда они получили предложение от Facebook купить компанию, команда поняла, что они не смогут оказать больший эффект как маленький стартап, чем они могли бы сделать в Facebook, говорит О’Хирн. Теперь команда может предоставить всю платформу бесплатно. “На принятие этого решения потребовалось время, но это всегда была идеальная ситуация,” говорит он.

О’Хирн надеется, что, сделав Infer доступным для всех, команда сможет помочь другим компаниям, собрать от них отзывы и привлечь внимание к вкладам от академиков.

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