19 posts
A documentação de arquitetura apodrece no momento em que a guardas. Eis como manter os docs honestos usando diagramas gerados a partir de código, ADRs e testes de arquitetura automatizados.
Cada diagrama de arquitetura que vi numa wiki estava errado. Não dramaticamente errado. Apenas silenciosamente, incrementalmente errado. O serviço etiquetado…
Um timeout ou crash não significa que sua requisição de API foi perdida. Veja como idempotency keys tornam retries seguros, e o padrão de armazenamento que realmente previne duplicatas.
Seu serviço quebra no meio de uma requisição . O cliente vê um timeout e faz retry. Agora você tem duas cobranças. O cliente está irritado. O banco de dados…
Mutexes em memória desaparecem quando seu servidor reinicia. Veja como leases distribuídos com fencing tokens e TTLs previnem trabalho duplicado entre crashes, e onde eles ainda falham.
Seu não sobrevive a um . Não sobrevive a um OOM, a um rollout de deploy, nem a um reboot de node. No instante em que o processo termina, o lock desaparece. Se…
A maioria das bibliotecas de circuit breaker cria threads em background para fazer probe de recuperação. Você não precisa delas. Aqui está um design orientado a requests que elimina todo o overhead em background sem sacrificar a corretude.
Todo circuit breaker em produção que analisei eventualmente cria uma thread em background. Pode ser uma goroutine em Go, um em Java, ou uma task do tokio em…
Software crash-only trata toda falha como um crash e toda inicialização como uma recuperação. Para serviços web, isso significa deletar sua lógica de encerramento e projetar estado que sobreviva a um kill -9.
Seu serviço web tem um handler de encerramento. Ele faz flush de buffers, fecha conexões, escreve checkpoints. Você testou isso uma vez, talvez. Em produção,…
O mutation testing encontrou um sobrevivente e você não faz ideia do que a mutação faz. Aqui está um método passo a passo para escrever o teste certo sem primeiro entender o mutante.
Seu relatório de mutation testing está cheio de sobreviventes, e pelo menos um deles não faz sentido para você. A ferramenta diz que trocou um por um na linha…
Por que impor uma única pontuação de mutação em toda a sua base de código é um erro, e como definir limites por module que correspondam ao risco real.
Impor uma única pontuação de mutação em toda a sua base de código é uma ótima maneira de fazer sua equipe odiar testes. Execute o PIT ou o Stryker em um…
O code coverage diz que você está seguro. O mutation testing diz que seus testes são, em sua maioria, decoração. Veja como mutantes sobreviventes expõem a lacuna e como fechá-la.
Seus testes passam. Seu relatório de coverage diz 87%. Mas seu mutation score é 40%, e metade dos seus mutantes ainda está vivo. Esse 40% não significa que seu…
cargo-mutants encontra os testes que apenas fingem verificar seu código. Veja como mutation testing funciona para Rust, o que ele captura e se o custo de tempo de compilação vale a pena.
Você tem 100% de cobertura de linhas. Cada branch é executada. Cada função é chamada. Aí alguém muda um para na sua lógica de precificação, executa os testes e…
A maioria dos times não executa suites completas de mutation testing a cada commit. Veja como os times de engenharia integram mutation testing em CI sem quebrar o pipeline de build.
Se sua suite de mutation testing leva quatro horas para rodar, parabéns. Você provou o que todo mundo já suspeitava: sua test suite tem lacunas. Você não vai…
Testes mockados de banco de dados verificam sua sintaxe SQL, não se as rows sobrevivem a crashes, escritas concorrentes, ou incompatibilidades de schema. Veja como testar persistência de verdade.
Se você mocka seu banco de dados nos testes, você está testando se sua camada de repository chama os métodos certos. Você não está testando se os dados…
Fazer mock de cada action do Redux transforma seus testes em um validador de changelog. Veja como testar sua store com transições de estado reais.
Se você já escreveu um teste que verifica se foi chamado com o formato exato do payload, você escreveu um teste que quebra toda vez que alguém renomeia uma…
Os 100 exemplos padrão em testes baseados em propriedades são um compromisso social, não uma estratégia estatística. Veja como escolher uma quantidade de execuções que corresponda às suas necessidades de confiança e ao orçamento de CI.
Se você está executando testes baseados em propriedades com os 100 exemplos padrão, você está tendo o pior dos dois mundos. Seu CI está mais lento do que…
Testes baseados em exemplos cobrem apenas as entradas que você imaginou. Testes baseados em propriedades geram dados aleatórios, verificam invariantes e reduzem falhas aos contraexemplos mínimos.
Você escreveu uma função . Testou com e . Passou. Enviou para produção. Um usuário passa um slice de um único elemento. Sua função o ignora silenciosamente.…
metrics de code coverage criam uma falsa sensação de segurança. Veja por que testes unitários deixam passar os bugs que realmente custam seu sono, e o que testar em vez disso.
Você tem 90% de code coverage e ainda foi acionado às 2 da manhã. Os testes unitários passaram. O CI estava verde. O bug chegou à produção mesmo assim. O…
Rust remove debug assertions automaticamente, mas design-by-contract de verdade precisa de mais do que debug_assert!. Veja como construir contratos de runtime com custo zero que desaparecem do seu binário de release.
Rust pode impor contratos de runtime em desenvolvimento e apagá-los completamente das builds de release. A ressalva é que a linguagem não trata contracts como…
Desenvolvedores ou espalham assertions como confete ou as evitam completamente. Aqui está o framework de decisão que separa invariants úteis de gatilhos de crash em produção.
A maioria dos codebases de produção se divide em dois campos. O Campo A trata como um tempero decorativo, espalhando-o a cada outra linha até que a função…
A validação manual incha sua codebase e ainda deixa passar casos de borda. Veja como garantir runtime contracts com schemas declarativos que não atrapalham.
Toda vez que sua API recebe uma requisição, você a valida. Toda vez que uma função recebe um argumento de um sistema externo, você o verifica. Faça isso…
O modo strict captura os nulls que você escreve, não os nulls que chegam em runtime de APIs, queries no DOM e JSON.parse. É aqui que o sistema de tipos para e suas defesas começam.
Você ativou no . Corrigiu cada erro. Enviou para produção confiante de que e eram problemas resolvidos. Aí a resposta do backend mudou de forma, uma query no…