L'outil d'IA de Facebook pour le débogage est désormais ouvert à tous

Facebook rend son outil d’IA pour le débogage librement disponible pour tous

Facebook avait l’habitude d’agir rapidement et de briser des choses. Eh bien, maintenant, il s’efforce d’agir rapidement et de réparer des choses. Pour ce faire, l’entreprise a conçu un outil d’intelligence artificielle appelé Infer qui peut localiser des bogues dans ses applications mobiles avant qu’ils n’entrent en contact avec les clients. L’entreprise souhaite maintenant que tout le monde vérifie son logiciel de cette manière.

Aujourd’hui, l’entreprise a rendu son code open source Infer librement disponible pour tout développeur indépendant ou toute entreprise cherchant à déboguer ses applications de nouvelles manières.

Peter O’Hearn, co-créateur d’Infer, a déclaré : « Il examine le programme et fait des suppositions ou des hypothèses sur le programme, comme un humain pourrait le faire. »

Cependant, contrairement à un humain, il peut lire des milliers de lignes de code en quelques minutes pour localiser des bogues potentiels. Facebook affirme qu’il a un taux de réparation des bogues d’environ 80 %, ce qui est considérablement bon pour un tel système automatisé.

Les débogueurs, nombreux, exécutent un programme et recherchent ou parcourent le code ligne par ligne à la recherche d’erreurs. Infer a la capacité d’examiner méthodiquement le code et de rechercher des problèmes sans réellement le terminer, un concept appelé « analyse statique de programme ».

Basé sur le concept d’analyse statique, des outils de test commerciaux et open source sont disponibles et existent depuis des décennies. Cependant, ces outils ne peuvent pas effectuer d’analyse de code approfondie au niveau qu’Infer peut, dit O’Hearn. Contrairement à d’autres outils, Infer est capable de décomposer de grandes bases de code, d’examiner méthodiquement les parties plus petites, puis de rassembler les résultats, en maintenant le compromis entre vitesse et profondeur.

O’Hearn dit : « Je pense à cela comme de l’IA. » Cependant, il dit que c’est très proche de la branche de l’intelligence artificielle symbolique du domaine que des techniques de réseaux neuronaux plus inspirées du cerveau que d’autres chercheurs de Facebook inventent.

Infer a été développé à partir de recherches académiques qu’O’Hearn avait commencées avec le défunt informaticien John Reynolds, avec lui, il a développé un concept en informatique appelé logique de séparation. La prochaine découverte importante est venue plus tard, lorsque O’Hearn a pris conscience qu’il pouvait appliquer un concept appelé raisonnement abductif à l’analyse statique.

O’Hearn a travaillé avec Dino Distefano, qui était son assistant de recherche, et Cristiano Calcagno, qui était l’un de ses doctorants à l’Université Queen Mary de Londres. Distefano et Calcagno sont allés dans différents instituts et ont poursuivi leurs recherches. Cependant, à la fin, ils se sont retrouvés désireux de faire une impression sur le monde du développement logiciel en dehors du milieu académique. Ils ont pris une décision et ont fondé une startup appelée Monoidics et ont demandé à O’Hearn de les rejoindre.

Le plan initial était de développer un produit commercial basé sur leur travail. Cependant, lorsqu’ils ont reçu une offre de Facebook pour acheter l’entreprise, l’équipe a réalisé qu’elle ne serait pas en mesure d’avoir un impact plus important en tant que petite startup qu’elle ne pourrait en avoir sur Facebook, dit O’Hearn. L’équipe est maintenant en mesure de donner l’ensemble de la plateforme gratuitement. « Cela a pris un certain temps pour arriver à cette décision, mais c’était toujours la situation idéale », dit-il.

O’Hearn espère qu’en rendant Infer librement disponible pour tous, l’équipe pourra aider d’autres entreprises, recueillir leurs réactions et attirer l’attention sur les contributions des universitaires.

« L’analyse statique regorge de grandes idées mais aussi de problèmes non résolus », dit-il. « Nous espérons que cela pourra stimuler la collaboration entre l’industrie et le milieu académique, et faire circuler la recherche dans les deux sens. »