Property-Based Testing
Trouve la propriété algébrique forte et génère son test
Installation
Officielle/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
- 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.
Compétences similaires
Test-Driven Development
CompétenceImpose le cycle rouge-vert-refactorisation avant le code
Incremental Implementation
CompétenceLivre chaque fonctionnalité par fines tranches toujours validées
Security Guidance
CompétenceAnalyse le code des agents à l’édition, à l’arrêt et au commit
Commentaires(0)
Connectez-vous pour commenter