proprietà condizionale QuickCheck

Question

ho scritto una proprietà QuickCheck per una funzione che unisce due ingressi ordinate in un output ordinato:

prop_merge xs ys = 
    if (sorted xs && sorted ys) then (sorted (merge xs ys)) else True 

Cioè, quando gli ingressi sono ordinati, l'uscita viene ordinato pure. Può anche essere scritto come:

Ma non mi piace tanto nessuna delle due versioni. C'è una sintassi migliore per "proprietà condizionali" in QuickCheck?

Answer 1

È possibile utilizzare l'operatore ==> di allegare una condizione booleana alle proprietà:

prop_merge xs ys = (sorted xs && sorted ys) ==> sorted (merge xs ys) 

Questa non è solo una sintassi più bello, ma permette QuickCheck distinguere tra casi di test in cui il test ha avuto successo e casi di test che non ha soddisfatto la condizione preliminare. In quest'ultimo caso, il test non viene conteggiato e QuickCheck genera nuovi input.

Tuttavia, nei casi in cui la maggior parte degli ingressi non soddisfano la condizione, i test potrebbero essere eseguiti più lentamente oppure, se vengono scaricati abbastanza input, QuickCheck alla fine si arrenderà. Dal momento che un elenco casuale è improbabile che possa essere ordinato, questo è molto probabile che accada con l'esempio precedente:

> quickCheck (prop_merge :: [Int] -> [Int] -> Property) 
*** Gave up! Passed only 15 tests. 

(Si noti che con gli operatori booleani standard, invece di utilizzare ==>, QuickCheck amplificherà su tutte le prove di essere passati, quando la maggior parte di essi era inutile a causa di una precondizione fallita)

Per questo motivo, in genere è molto meglio generare direttamente solo i casi di test necessari. Per i casi più semplici, il modulo Test.QuickCheck.Modifiers contiene diversi newtype utili che modificano il modo in cui vengono generati gli input. Ad esempio, il modificatore OrderedList solo generare liste ordinate, in modo che possiamo scrivere la vostra proprietà semplicemente come:

prop_merge (Ordered xs) (Ordered ys) = sorted (merge xs ys)