Property-based testing
Verificato
Significato di «Property-based testing»
Approccio in cui, invece di casi con valori fissi, si dichiarano proprietà o invarianti che devono valere sempre; il framework genera automaticamente molti input casuali e cerca controesempi che le violino, riducendo il caso fallito al minimo (shrinking).
Fonti: Approccio diffuso da QuickCheck/Hypothesis. Fonti: Hypothesis docs (What you can generate); QuickCheck (Claessen & Hughes, ICFP 2000); NumberAnalytics (property/fuzz testing). Verifica web 2026-08-03. · Verificato il 2026-08-03