Skill
Property-Based Testing
Vindt de juiste algebraïsche eigenschap en test die met generators
Installeren
Officieel/plugin marketplace add trailofbits/skills
Wordt geactiveerd bij
Kodlayıcı, ayrıştırıcı, normalleştirici ya da sözleşme değişmezi test edilirken; elle seçilmiş örnekler yetmediğinde
Vereist tools
ReadWriteEditBash
- Auteur
- Trail of Bits
- Licentie
- CC-BY-SA-4.0
Repositoryhttps://github.com/trailofbits/skills
Begint met een catalogus — roundtrip, inverse, oracle, idempotentie, invariant en commutativiteit — gerangschikt van zwak naar sterk. Zo controleert de test de sterkste regel die de code ondersteunt, in plaats van genoegen te nemen met ‘de code crashte niet’. Hypothesis, fast-check, proptest, jqwik, rapid en Echidna voor contractinvarianten komen aan bod, evenals de eerlijke conclusie dat sommige code geen geschikte eigenschap heeft en beter met voorbeeldtests wordt getest.
Reacties(0)
Log in om te reageren