Property-Based Testing
Encuentra la propiedad algebraica y crea su prueba generativa
Instalación
Oficial/plugin marketplace add trailofbits/skills
Kodlayıcı, ayrıştırıcı, normalleştirici ya da sözleşme değişmezi test edilirken; elle seçilmiş örnekler yetmediğinde
- Autor
- Trail of Bits
- Licencia
- CC-BY-SA-4.0
Parte de un catálogo —ida y vuelta, inversa, oráculo, idempotencia, invariante y conmutatividad— ordenado de menor a mayor solidez, para comprobar la regla más fuerte que admita el código en vez de conformarse con «no falló». Incluye Hypothesis, fast-check, proptest, jqwik, rapid y Echidna para invariantes de contratos, además de una conclusión honesta: parte del código no tiene una propiedad comprobable y necesita pruebas con ejemplos.
Habilidades similares
Test-Driven Development
HabilidadImpone el ciclo rojo-verde-refactor antes de implementar
Incremental Implementation
HabilidadEntrega funciones por partes pequeñas que mantienen el build estable
Security Guidance
HabilidadRevisa código de agentes al editar, finalizar y confirmar
Comentarios(0)
Inicia sesión para comentar