Compétence
Property-Based Testing
Trouve la propriété algébrique forte et génère son test
Installation
Officielle/plugin marketplace add trailofbits/skills
Se déclenche pour
Kodlayıcı, ayrıştırıcı, normalleştirici ya da sözleşme değişmezi test edilirken; elle seçilmiş örnekler yetmediğinde
Outils requis
ReadWriteEditBash
- Auteur
- Trail of Bits
- Licence
- CC-BY-SA-4.0
Part d’un catalogue — aller-retour, inverse, oracle, idempotence, invariant, commutativité — classé de la propriété la plus faible à la plus forte, afin de tester la règle la plus exigeante que le code peut respecter au lieu de se contenter de « ça n’a pas planté ». Hypothesis, fast-check, proptest, jqwik, rapid et Echidna pour les invariants de contrats sont couverts, tout comme le constat honnête que certains codes n’ont aucune propriété pertinente et nécessitent plutôt des tests par exemples.
Commentaires(0)
Connectez-vous pour commenter