Property-Based Test - Definição do Glossário de CI/CD

Um property-based test verifica se uma propriedade se mantém para muitos inputs gerados automaticamente, em vez de fazer asserções sobre alguns exemplos escolhidos à mão, revelando casos extremos que você não pensaria em escrever.

Exemplo de propriedade

Em vez de testar reverse([1,2,3]) == [3,2,1], você afirma que, para qualquer lista, invertê-la duas vezes retorna a original. Ferramentas como QuickCheck, Hypothesis e fast-check geram centenas de casos.

Shrinking

Quando uma propriedade falha, o framework reduz o input que falhou até o menor caso que ainda quebra, tornando o bug muito mais fácil de diagnosticar.

Guias relacionados