Echidna es un fuzzer basado en Haskell que prueba smart contracts de Ethereum con secuencias de llamadas para vulnerar invariantes definidas por el usuario o aserciones de Solidity.
3,2 mil+1 esta semana437HaskellAGPL-3.0Actualizado hace 21 horas
HypothesisWorks/hypothesis
Una biblioteca de testing basado en propiedades para Python que genera automáticamente entradas de prueba y reduce los fallos a ejemplos mínimos.
- Estrellas
- 9,138
- Forks
- 698
- Issues abiertos
- 53
- Último commit
- hace 3 días
¿Qué es?
Hypothesis te permite escribir pruebas que deberían cumplirse para todas las entradas de un rango que defines. En lugar de elegir ejemplos manualmente, declaras estrategias para los datos y Hypothesis selecciona entradas al azar, incluidos casos límite que quizá no se le ocurran a un desarrollador.
Cuando una prueba falla, Hypothesis reduce la entrada que provoca el fallo al ejemplo más simple que aún reproduce el error, lo que facilita la depuración del informe. La biblioteca se instala con pip y se puede ampliar con extras opcionales.
Funciones clave
- 01Genera entradas de prueba a partir de estrategias declarativas, como listas y números enteros.
- 02Reduce las entradas que provocan fallos al caso más sencillo que aún reproduce el error.
- 03Se instala con pip y ofrece extras opcionales.
Casos de uso
- Comprobar que una función de ordenación o un parser personalizado se comporta correctamente con muchas entradas generadas.
- Encontrar errores en casos límite que las pruebas unitarias escritas manualmente suelen pasar por alto.
- Depurar fallos reduciéndolos a ejemplos reproducibles mínimos.
Inicio rápido
- 1
Instala Hypothesis con pip
pip install hypothesis
En colecciones
Temas
Preguntas frecuentes
- ¿Qué es hypothesis?
- Una biblioteca de testing basado en propiedades para Python que genera automáticamente entradas de prueba y reduce los fallos a ejemplos mínimos. Hypothesis te permite escribir pruebas que deberían cumplirse para todas las entradas de un rango que defines. En lugar de elegir ejemplos manualmente, declaras estrategias para los datos y Hypothesis selecciona entradas al azar, incluidos casos límite que quizá no se le ocurran a un desarrollador.
- ¿hypothesis es gratuito? ¿Qué licencia tiene?
- hypothesis es open source bajo la licencia Other. Revisa los términos de la licencia antes de usarlo en productos comerciales.
- ¿hypothesis sigue mantenido?
- Mantenimiento activo. El último commit de hypothesis fue el 3 nov 2026.
- ¿Para qué puedo usar hypothesis?
- Comprobar que una función de ordenación o un parser personalizado se comporta correctamente con muchas entradas generadas. Encontrar errores en casos límite que las pruebas unitarias escritas manualmente suelen pasar por alto. Depurar fallos reduciéndolos a ejemplos reproducibles mínimos.
- ¿Cómo se instala hypothesis?
- Instala Hypothesis con pip: pip install hypothesis
- ¿Dónde consigo hypothesis?
- El código fuente y las instrucciones de instalación están en GitHub: https://github.com/HypothesisWorks/hypothesis
Resumen generado por IA a partir del README del proyecto. Las estadísticas de GitHub se actualizan a diario.
Proyectos relacionados
Una skill para agentes de programación que les exige demostrar la validez de su código con un flujo que empieza por el plan de pruebas, una batería de verificaciones y un informe de evidencias.
757+4 esta semana59PythonMITActualizado ayer
Servicio de fuzzing continuo de Google para proyectos de código abierto, que usa libFuzzer, AFL++ y Honggfuzz con sanitizers para detectar fallos de seguridad.
12,9 mil+98 esta semana3 milShellApache-2.0Actualizado hace 20 horas
Marketplace de skills y plugins de Trail of Bits para auditorías de seguridad, pruebas y desarrollo seguro asistidos por IA en Claude Code y Codex.
8 mil+148 esta semana682PythonCC-BY-SA-4.0Actualizado hace 20 horas
Implementación de referencia de un pipeline autónomo para detectar y corregir vulnerabilidades con Claude, con skills de seguridad interactivas para modelar amenazas, escanear, clasificar y parchear.
7,7 mil+31 esta semana638PythonOtherActualizado hace 3 meses
Selenium es un proyecto paraguas de herramientas y bibliotecas para automatizar navegadores web mediante el estándar W3C WebDriver.
34,6 mil+8 esta semana8,7 milJavaApache-2.0Bien mantenidoActualizado hace 17 horas