Skill
Property-Based Testing
Găsește proprietatea algebrică și scrie testul generator potrivit
Instalare
Oficial/plugin marketplace add trailofbits/skills
Se activează la
Kodlayıcı, ayrıştırıcı, normalleştirici ya da sözleşme değişmezi test edilirken; elle seçilmiş örnekler yetmediğinde
Necesită instrumente
ReadWriteEditBash
- Autor
- Trail of Bits
- Licență
- CC-BY-SA-4.0
Repositoryhttps://github.com/trailofbits/skills
Pornește de la un catalog — conversie dus-întors, inversă, oracol, idempotență, invariantă, comutativitate — ordonat de la cea mai slabă la cea mai puternică, astfel încât testul să verifice cea mai strictă regulă susținută de cod, nu doar că „nu s-a blocat”. Acoperă Hypothesis, fast-check, proptest, jqwik, rapid și Echidna pentru invariantele contractelor, dar oferă și verdictul sincer: unele fragmente de cod nu au o proprietate verificabilă și merită în schimb teste bazate pe exemple.
Comentarii(0)
Autentifică-te pentru a comenta