A ferramenta de IA do Facebook para depuração agora está disponível para todos

Facebook torna sua ferramenta de IA para depuração livremente disponível para todos

O Facebook costumava agir rapidamente e quebrar coisas. Bem, agora está se esforçando para agir rapidamente e consertar coisas. Para executar isso, a empresa projetou uma ferramenta de inteligência artificial chamada Infer que pode localizar bugs em seus aplicativos móveis antes que eles entrem em contato com os clientes. A empresa agora quer que todos verifiquem seu software dessa maneira.

Hoje, a empresa tornou seu código aberto Infer livremente disponível para qualquer desenvolvedor independente ou qualquer empresa que procura depurar seus aplicativos de novas maneiras.

Peter O’Hearn, co-criador do Infer, disse: “Ele analisa o programa e faz suposições ou hipóteses sobre o programa, da maneira que um humano faria.”

No entanto, ao contrário de um humano, ele pode ler milhares de linhas de código em apenas minutos para localizar bugs potenciais. O Facebook afirma que tem uma taxa de reparo de bugs de cerca de 80%, o que é consideravelmente bom para um sistema tão automatizado.

Os depuradores, muitos deles, executam um programa e pesquisam ou escaneiam o código linha por linha em busca de erros. O Infer tem a capacidade de examinar metódicamente o código e procurar problemas sem realmente terminá-lo, um conceito chamado “análise de programa estática.”

Baseado no conceito de análise estática, tanto ferramentas de teste comerciais quanto de código aberto estão disponíveis e existem há décadas. No entanto, essas ferramentas não conseguem fazer uma análise profunda do código no nível que o Infer pode, diz O’Hearn. Ao contrário de outras ferramentas, o Infer é capaz de analisar grandes bases de código, examinar metódicamente as partes menores e, em seguida, juntar os resultados, mantendo o equilíbrio entre velocidade e profundidade.

O’Hearn diz: “Eu penso nisso como IA.” No entanto, ele afirma que está muito mais próximo do ramo da inteligência artificial simbólica do campo do que das técnicas de redes neurais inspiradas no cérebro que outros pesquisadores do Facebook estão inventando.

O Infer foi desenvolvido a partir de uma pesquisa acadêmica que O’Hearn havia iniciado com o falecido cientista da computação John Reynolds, junto com ele desenvolveu um conceito de ciência da computação chamado lógica de separação. A próxima descoberta importante veio mais tarde, quando O’Hearn percebeu que poderia aplicar um conceito chamado raciocínio abdutivo à análise estática.

O’Hearn trabalhou com Dino Distefano, que era seu assistente de pesquisa, e Cristiano Calcagno, que era um de seus alunos de doutorado na Queen Mary University of London. Distefano e Calcagno foram para diferentes institutos e continuaram com sua pesquisa. No entanto, no final, eles se viram querendo causar uma impressão no mundo do desenvolvimento de software fora da academia. Eles tomaram uma decisão e fundaram uma startup chamada Monoidics e pediram a O’Hearn para se juntar a eles.

O plano original era desenvolver um produto comercial dependendo de seu trabalho. No entanto, quando receberam uma oferta do Facebook para comprar a empresa, a equipe percebeu que não seria capaz de causar um impacto maior como uma pequena startup do que seria capaz de fazer no Facebook, diz O’Hearn. A equipe agora pode oferecer toda a plataforma gratuitamente. “Levou algum tempo para chegar a essa decisão, mas essa sempre foi a situação ideal”, diz ele.

O’Hearn está esperançoso de que, ao tornar o Infer livremente disponível para todos, a equipe possa ajudar outras empresas, reunir reações delas e chamar a atenção para as contribuições de acadêmicos.

“A análise estática está cheia de grandes ideias, mas também de problemas não resolvidos”, diz ele. “Esperamos que isso possa impulsionar a colaboração entre a indústria e a academia e fazer com que a pesquisa flua em ambas as direções.”