Echidna é um fuzzer baseado em Haskell que testa smart contracts Ethereum tentando sequências de chamadas para violar invariantes definidos pelo usuário ou assertions de Solidity.
HypothesisWorks/hypothesis
Biblioteca de testes baseados em propriedades para Python que gera entradas de teste automaticamente e reduz falhas a exemplos mínimos.
- Estrelas
- 9,140
- Forks
- 698
- Issues abertas
- 53
- Último commit
- anteontem
O que é?
Com Hypothesis, você escreve testes que devem ser válidos para todas as entradas dentro de um intervalo definido. Em vez de escolher exemplos manualmente, você declara estratégias para os dados, e o Hypothesis escolhe entradas aleatoriamente, incluindo casos extremos que talvez não passassem pela cabeça de quem desenvolveu.
Quando um teste falha, o Hypothesis reduz a entrada problemática ao exemplo mais simples que ainda reproduz o bug, facilitando a depuração do relatório. A biblioteca é instalada com pip e pode ser estendida com extras opcionais.
Recursos principais
- 01Gera entradas de teste com estratégias declarativas, como listas e números inteiros.
- 02Reduz entradas que falham ao caso mais simples que ainda reproduz o bug.
- 03É instalada com pip e oferece extras opcionais.
Casos de uso
- Testar se uma implementação personalizada de ordenação ou um parser funciona corretamente com muitas entradas geradas.
- Encontrar bugs em casos extremos que testes unitários escritos manualmente costumam não detectar.
- Depurar falhas reduzindo-as a exemplos reproduzíveis mínimos.
Início rápido
- 1
Instale o Hypothesis com pip
pip install hypothesis
Em coleções
Tópicos
Perguntas frequentes
- O que é hypothesis?
- Biblioteca de testes baseados em propriedades para Python que gera entradas de teste automaticamente e reduz falhas a exemplos mínimos. Com Hypothesis, você escreve testes que devem ser válidos para todas as entradas dentro de um intervalo definido. Em vez de escolher exemplos manualmente, você declara estratégias para os dados, e o Hypothesis escolhe entradas aleatoriamente, incluindo casos extremos que talvez não passassem pela cabeça de quem desenvolveu.
- hypothesis é gratuito? Qual é a licença?
- hypothesis é open source sob a licença Other. Confira os termos da licença antes de usá-lo em produtos comerciais.
- hypothesis ainda é mantido?
- Manutenção ativa. O último commit de hypothesis foi em 6 de nov. de 2026.
- Para que posso usar hypothesis?
- Testar se uma implementação personalizada de ordenação ou um parser funciona corretamente com muitas entradas geradas. Encontrar bugs em casos extremos que testes unitários escritos manualmente costumam não detectar. Depurar falhas reduzindo-as a exemplos reproduzíveis mínimos.
- Como instalar hypothesis?
- Instale o Hypothesis com pip: pip install hypothesis
- Onde consigo hypothesis?
- O código-fonte e as instruções de instalação estão no GitHub: https://github.com/HypothesisWorks/hypothesis
Resumo gerado por IA a partir do README do projeto. As estatísticas do GitHub são atualizadas diariamente.
Projetos relacionados
Uma skill para agentes de programação que exige que a IA comprove o código com um fluxo baseado primeiro no plano de testes, uma bateria de verificações e um relatório de evidências.
Serviço de fuzzing contínuo do Google para projetos de código aberto, que usa libFuzzer, AFL++ e Honggfuzz com sanitizers para encontrar falhas de segurança.
Marketplace de skills e plugins da Trail of Bits para agentes de IA, voltado a auditorias de segurança, testes e desenvolvimento seguro no Claude Code e no Codex.
Implementação de referência de um pipeline autônomo para descobrir e corrigir vulnerabilidades com Claude, com skills interativas de segurança para modelagem de ameaças, análise, triagem e correção.
Selenium é um projeto guarda-chuva de ferramentas e bibliotecas para automatizar navegadores web por meio do padrão W3C WebDriver.