Teste Baseado em Propriedades - Definição do Glossário de CI/CD

O teste baseado em propriedades verifica invariantes em muitas entradas geradas, em vez de exemplos fixos.

O teste baseado em propriedades verifica se uma propriedade se mantém para muitas entradas geradas automaticamente, em vez de para alguns poucos exemplos escolhidos a mão. O framework gera casos e reduz as falhas a um exemplo mínimo.

Pioneiro com o QuickCheck, essa abordagem encontra casos extremos que as pessoas desenvolvedoras não pensariam em escrever. Em caso de falha, ela reduz a entrada ao menor caso que ainda falha.

Exemplo de propriedade

Para uma função de ordenação, uma propriedade é que a saída esteja ordenada e seja uma permutação da entrada; o framework a testa contra milhares de listas aleatórias.

Guias relacionados