4 posts
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.…
Se você quer que código gerado por AI sobreviva em produção, code review sozinho não basta. Você precisa de uma safety stack em camadas, de type constraints até mutation testing e runtime containment.
O aspecto mais perigoso do código gerado por AI não é ele estar sempre errado. O mais perigoso é que muitas vezes ele parece correto o suficiente para ser…
Design by contract, property-based testing, mutation testing e model checking não eram ideias ruins. Exigiam especialização demais para sustentar. A AI muda essa equação.
Software engineering está cheio de ideias que parecem obviamente corretas assim que você as lê. Claro que contracts deveriam definir o que uma função pode…