Property-Based Testing

/plugin marketplace add 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.