Skill
Property-Based Testing
Findet die passende Eigenschaft und baut den Generatortest darum
Installation
Offiziell/plugin marketplace add trailofbits/skills
Wird ausgelöst bei
Kodlayıcı, ayrıştırıcı, normalleştirici ya da sözleşme değişmezi test edilirken; elle seçilmiş örnekler yetmediğinde
Benötigte Tools
ReadWriteEditBash
- Autor
- Trail of Bits
- Lizenz
- CC-BY-SA-4.0
Repositoryhttps://github.com/trailofbits/skills
Ausgangspunkt ist ein nach Aussagekraft geordneter Katalog mit Roundtrip, Inverse, Oracle, Idempotenz, Invariante und Kommutativität. So prüft der Test die stärkste vom Code unterstützte Regel, statt sich mit „ist nicht abgestürzt“ zufriedenzugeben. Behandelt werden Hypothesis, fast-check, proptest, jqwik, rapid und Echidna für Vertragsinvarianten – einschließlich der ehrlichen Erkenntnis, dass mancher Code keine passende Eigenschaft besitzt und besser mit Beispieltests geprüft wird.
Kommentare(0)
Zum Kommentieren anmelden