Facebooks KI-Tool zur Fehlersuche ist jetzt für alle verfügbar

Facebook stellt sein KI-Tool zur Fehlersuche allen kostenlos zur Verfügung

Facebook bewegte sich früher schnell und zerbrach Dinge. Nun bemüht sich das Unternehmen, schnell zu handeln und Dinge zu reparieren. Um dies zu erreichen, hat das Unternehmen ein künstlich intelligentes Tool namens Infer entwickelt, das Fehler in seinen mobilen Apps finden kann, bevor diese mit den Kunden in Kontakt kommen. Das Unternehmen möchte nun, dass jeder seine Software auf diese Weise überprüft.

Heute hat das Unternehmen seinen Open-Source-Code Infer allen unabhängigen Entwicklern oder Unternehmen, die ihre Apps auf neue Weise debuggen möchten, kostenlos zur Verfügung gestellt.

Peter O’Hearn, Mitbegründer von Infer, sagte: „Es betrachtet das Programm und macht Vermutungen oder Hypothesen über das Programm, so wie es ein Mensch tun könnte.“

Im Gegensatz zu einem Menschen kann es jedoch Tausende von Codezeilen in nur wenigen Minuten lesen, um potenzielle Fehler zu finden. Facebook behauptet, eine Reparaturquote von etwa 80 Prozent zu haben, was für ein solches automatisiertes System erheblich gut ist.

Die Debugger, viele von ihnen, führen ein Programm aus und durchsuchen oder scannen den Code Zeile für Zeile und suchen nach Fehlern. Infer hat die Fähigkeit, den Code systematisch zu untersuchen und nach Problemen zu suchen, ohne ihn tatsächlich zu beenden, ein Konzept, das als „statische Programmanalyse“ bezeichnet wird.

Basierend auf dem Konzept der statischen Analyse sind sowohl kommerzielle als auch Open-Source-Testtools verfügbar und gibt es seit Jahrzehnten. Diese Tools können jedoch keine tiefgehende Codeanalyse auf dem Niveau durchführen, das Infer kann, sagt O’Hearn. Im Gegensatz zu anderen Tools ist Infer in der Lage, große Codebasen zu durchdringen, die kleineren Teile systematisch zu untersuchen und dann die Ergebnisse zusammenzuführen, wobei der Kompromiss zwischen Geschwindigkeit und Tiefe gewahrt bleibt.

O’Hearn sagt: „Ich betrachte es als KI.“ Er sagt jedoch, dass es der symbolischen künstlichen Intelligenz näher ist als den mehr gehirninspirierten neuronalen Netzwerktechniken, die andere Forscher bei Facebook entwickeln.

Infer wurde aus akademischer Forschung entwickelt, die O’Hearn mit dem verstorbenen Informatiker John Reynolds begonnen hatte, mit dem er ein Informatikkonzept namens Trennungslogik entwickelte. Die nächste wichtige Entdeckung kam später, als O’Hearn erkannte, dass er ein Konzept namens abduktives Schließen auf die statische Analyse anwenden konnte.

O’Hearn arbeitete mit Dino Distefano, der sein Forschungsassistent war, und Cristiano Calcagno, der einer seiner Doktoranden an der Queen Mary University of London war. Distefano und Calcagno gingen an verschiedene Institute und setzten ihre Forschung fort. Am Ende fanden sie sich jedoch in dem Wunsch wieder, einen Eindruck in der Welt der Softwareentwicklung außerhalb der Akademie zu hinterlassen. Sie trafen eine Entscheidung und gründeten ein Startup namens Monoidics und baten O’Hearn, sich ihnen anzuschließen.

Der ursprüngliche Plan war, ein kommerzielles Produkt basierend auf ihrer Arbeit zu entwickeln. Als sie jedoch ein Angebot von Facebook erhielten, das Unternehmen zu kaufen, erkannte das Team, dass sie als kleines Startup nicht mehr Einfluss ausüben könnten, als sie es bei Facebook könnten, sagt O’Hearn. Das Team kann nun die gesamte Plattform kostenlos zur Verfügung stellen. „Es hat einige Zeit gedauert, zu dieser Entscheidung zu kommen, aber das war immer die ideale Situation“, sagt er.

O’Hearn ist zuversichtlich, dass das Team, indem es Infer allen kostenlos zur Verfügung stellt, anderen Unternehmen helfen, Reaktionen von ihnen sammeln und die Aufmerksamkeit auf Beiträge von Akademikern lenken kann.

„Statische Analyse ist voller großartiger Ideen, aber auch ungelöster Probleme“, sagt er. „Wir hoffen, dass dies die Zusammenarbeit zwischen Industrie und Akademie fördern und die Forschung in beide Richtungen in Gang bringen kann.“