Färdighet
Property-Based Testing
Hittar rätt algebraisk egenskap och bygger generatortestet
Installera
Officiell/plugin marketplace add trailofbits/skills
Aktiveras av
Kodlayıcı, ayrıştırıcı, normalleştirici ya da sözleşme değişmezi test edilirken; elle seçilmiş örnekler yetmediğinde
Kräver verktyg
ReadWriteEditBash
- Utvecklare
- Trail of Bits
- Licens
- CC-BY-SA-4.0
Utgår från en katalog med tur och retur, invers, orakel, idempotens, invariant och kommutativitet, rangordnade från svagast till starkast. Testet använder den starkaste regel som koden stöder i stället för att nöja sig med att den inte kraschade. Hypothesis, fast-check, proptest, jqwik, rapid och Echidna för kontraktsinvarianter ingår, liksom slutsatsen att viss kod saknar lämpliga egenskaper och bör testas med konkreta exempel.
Kommentarer(0)
Logga in för att kommentera