Habilidad
Property-Based Testing
Encuentra la propiedad algebraica y crea su prueba generativa
Instalación
Oficial/plugin marketplace add trailofbits/skills
Se activa con
Kodlayıcı, ayrıştırıcı, normalleştirici ya da sözleşme değişmezi test edilirken; elle seçilmiş örnekler yetmediğinde
Necesita herramientas
ReadWriteEditBash
- Autor
- Trail of Bits
- Licencia
- CC-BY-SA-4.0
Repositoriohttps://github.com/trailofbits/skills
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.
Comentarios(0)
Inicia sesión para comentar