Quickcheck per test non booleani

Question

Sto usando QuickCheck per testare il mio codice per alcuni calcoli numerici. Fondamentalmente ho una funzione esatta e diverse approssimazioni che sono molto più efficienti.

Attualmente sto attuando le proprietà che voglio provare qualcosa di simile:

prop_blah input = (abs $ (exact input)-(approx input)) < threshold 

ma sarebbe davvero bello sapere esattamente quanto esatto ciascuno degli algoritmi di approssimazione è e confrontarli tra loro. Un modo semplice per farlo sarebbe ottenere rapporti sulla deviazione media e standard della parte sinistra della disuguaglianza. È in qualche modo possibile?

Answer 1

Se è necessario solo stamparlo, è necessario controllare i callback QuickCheck che vengono eseguiti dopo un singolo test. La loro definizione si trova in Test.QuickCheck.Property

In caso contrario, è possibile utilizzare la funzione collect :: (Show a, Testable prop) => a -> prop -> Property situata in Test.QuickCheck.Property.

let a = (abs $ (exact input)-(approx input)) 
in collect a (a < threshold) 

In questo modo si Geld almeno una rappresentazione di stringa della approssimazione e anche arrivare a sapere quanti dei singoli test danno la stessa approssimazione.

Si potrebbe anche sbarazzarsi di qualità approssimazione e basta elencare i fattori facendo:

prop = collect (abs $ (exact input)-(approx input)) True