Explorando desenvolvimento AI-first, guardrails de código e a arquitetura da descartabilidade.
Large language models são parceiros de brainstorming decentes para descobrir test oracles, mas eles alucinam propriedades e perdem restrições de domínio. Veja como usá-los sem entregar testes falsos.
Você precisa testar uma função onde a saída correta é impossível de saber antecipadamente. Um otimizador de rotas. Um classificador de sentimento. Uma…
Nem todas as metamorphic relations capturam bugs. Relations fracas dão falsa confiança enquanto as fortes encontram falhas reais. Veja como distinguir a diferença e construir um conjunto de relations que realmente funcione.
Você escreveu doze metamorphic relations para seu motor de precificação. Cada teste passa. Você se sente bem com sua cobertura. Então um cliente relata que os…
O metamorphic testing permite que você verifique a correção do código sem saber a saída esperada exata. Veja como funciona, quando falha e como começar a usá-lo.
Você entrega um modelo de machine learning que rotula tickets de suporte. Sua test suite está verde. Cada teste passou. Nenhum desses testes realmente verifica…
Como usar phantom types e parâmetros `this` para transformar transições ilegais de protocol em erros de compilação em vez de bugs em runtime.
Todo cliente de API tem uma state machine escondida dentro dele. Handshake primeiro. Autenticação segundo. Envio de dados terceiro. Fechamento por último.…
As especificações OpenAPI descrevem schemas de requisição e resposta, mas não especificam sequências válidas de mensagens. Veja como extrair o que é possível e onde você ainda precisa preencher as lacunas.
As especificações OpenAPI dizem como uma requisição válida se parece e como uma resposta válida se parece. Elas não dizem se você pode chamar antes de , ou o…
Tipos de sessão codificam protocols de comunicação no sistema de tipos, transformando erros de protocol em tempo de execução em falhas em tempo de compilação. Veja por que passaram trinta anos em artigos de pesquisa antes do código de produção poder usá-los.
Tipos de sessão foram inventados em 1993. Trinta anos depois, a maioria dos serviços em rede ainda valida o estado do protocol com verificações em tempo de…
Tipos de sessão codificam protocols de comunicação no seu sistema de tipos, transformando incompatibilidades de passagem de mensagens em erros de compiler antes que seu código execute.
Deadlocks deveriam ser um problema de tempo de execução. É isso que os torna tão irritantes. Seu código compila limpo, seus testes passam, e então ele lock em…
Como executar análise estática formal no seu pipeline de CI usando Infer, com configs funcionais e trade-offs realistas.
Interpretação abstrata é o tipo de termo que faz engenheiros fechar a aba. Soa como algo que você precisa de um semestre de teoria de reticulados para…
Large language models podem ajudar a triar falsos positivos de análise estática, mas não entendem a semântica do programa como faz a interpretação abstrata. Veja como combinar ambos.
Seu analyzer estático acabou de emitir 847 avisos em uma tarde de sexta-feira. Você sabe, estatisticamente, que entre 5% e 15% deles são bugs reais. O resto…
Como o Facebook usou interpretação abstrata e insoundness intencional para encontrar race conditions em escala em milhões de linhas de código Android.
O aplicativo Android do Facebook tinha um problema de performance. A thread da interface estava afogada em trabalho, mas mover código para threads de fundo…