Conhecidos e Desconhecidos: Testando Código Gerado por IA

Vamos encarar, a codificação assistida por IA está se tornando rapidamente a principal forma de escrever aplicações. O poder de poder escrever uma aplicação ou recurso complicado com apenas alguns comandos é algo muito tentador para ser ignorado.Mas entre a natureza imprecisa da linguagem e a capacidade dos LLMs de "alucinar", isso cria muitas oportunidades para bugs e comportamentos indesejados serem introduzidos. Apenas dizer a um agente de codificação de IA para "escrever testes" não será suficiente para construir confiança na correção de uma aplicação também.Nesta apresentação, vamos revisar três fases distintas para testar código escrito por IA. Os conhecidos conhecidos; usando desenvolvimento orientado a especificações para definir o comportamento significativo para o negócio da sua aplicação. Conhecidos desconhecidos; usando testes baseados em propriedades para lidar com casos extremos e evitar sobreajuste e preconceitos indesejados. E finalmente, desconhecidos desconhecidos, usando análise estática e testes de mutação para evitar a introdução de bugs que você não pensou.A codificação assistida por IA é um campo em rápida evolução, mas esta apresentação deve lhe dar a estrutura e a abordagem sobre como ter confiança ao usar IA para ajudar na escrita de aplicações.Agenda: Veja a imagem anexada abaixo para o local de estacionamento e o edifício no mapa. O evento ocorrerá no DTEC 427.5:45 - 6:15: Comida & Networking6:15 - 7:15: Apresentação7:15 - 7:45: Encerramento com sorteio7:45 - ? : Bar / restaurante nas proximidades para continuar a conversa