Invariant Testing
Ferramentas de Desenvolvimento · Abismo
Uma abordagem de teste baseada em propriedades onde desenvolvedores definem invariantes (propriedades que devem sempre ser verdadeiras) e um fuzzer gera sequências aleatórias de chamadas de função tentando violá-las. Diferente de testes unitários que verificam cenários específicos, testes de invariante exploram o espaço de estados estocasticamente. Ferramentas como Foundry invariant testing, Echidna e Medusa suportam essa abordagem.