Skill
Property-Based Testing
Trova la proprietà algebrica giusta e genera il test
Installazione
Ufficiale/plugin marketplace add trailofbits/skills
Si attiva con
Kodlayıcı, ayrıştırıcı, normalleştirici ya da sözleşme değişmezi test edilirken; elle seçilmiş örnekler yetmediğinde
Richiede strumenti
ReadWriteEditBash
- Autore
- Trail of Bits
- Licenza
- CC-BY-SA-4.0
Repositoryhttps://github.com/trailofbits/skills
Parte da un catalogo — roundtrip, inversa, oracolo, idempotenza, invariante e commutatività — ordinato dalla proprietà più debole alla più forte, così il test verifica la regola più solida supportata dal codice anziché limitarsi a «non si è bloccato». Copre Hypothesis, fast-check, proptest, jqwik, rapid ed Echidna per gli invarianti dei contratti, senza evitare la conclusione più onesta: alcuni codici non hanno proprietà verificabili e richiedono invece test basati su esempi.
Commenti(0)
Accedi per commentare