Property-based testing
Verificato
Aggiornato il 03/08/2026
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
Domande frequenti su Property-based testing
Cosa significa «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).
A quale glossario appartiene «Property-based testing»?
«Property-based testing» fa parte del glossario Programmazione, nella categoria Programmazione di Glossario Italiano.