quickcheck

7calore

1risposta

Come utilizzare modificatori con QuickCheck (positivo nel mio caso)

ho una funzione, rev, che restituisce un valore di un tipo che è in tre typeclasses: rev :: (Integral a, Show a, Read a) => a -> a rev = read . reverse . show mi piacerebbe testare alcuni proprietà

haskell quickcheck 2012-09-17

---

7calore

2risposta

Come posso evitare che QuickCheck rilevi tutte le eccezioni?

La libreria QuickCheck sembra catturare tutte le eccezioni generate durante il test di una proprietà. In particolare, questo comportamento mi impedisce di impostare un limite di tempo sull'intero calc

testing haskell quickcheck 2012-03-03

---

9calore

2risposta

QuickCheck stato di uscita in caso di guasti e integrazione della cabina

Sto cercando di capire come integrare alcuni test di controllo rapido con cabal. Questo gist suggerisce che la funzione quickCheck restituisce lo stato diverso da zero in caso di errore, ma non sto ot

haskell cabal quickcheck 2012-01-23

---

14calore

2risposta

Come posso testare una funzione di ordine superiore usando QuickCheck?

Ho una funzione di ordine superiore che voglio testare e una delle proprietà che voglio testare è ciò che fa con le funzioni che vengono passate. A scopo illustrativo, ecco un esempio forzato: gen ::

haskell quickcheck 2012-03-13

---

6calore

1risposta

Quickcheck per test non booleani

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 l

haskell quickcheck 2012-08-13

---

16calore

3risposta

Come dire a QuickCheck di generare solo indici di lista validi per un parametro?

Dire che voglio scrivere alcuni test unitari per la funzione (!!). my_prop xs n = ... voglio limitare n ai soli indici validi e so che potrei fare qualcosa di simile my_prop xs n = (not.null) (drop

haskell quickcheck 2012-10-10

---

16calore

7risposta

Esiste un'alternativa Java a AutoFixture di Ploeh per .Net?

Sto cercando uno strumento Java che creerebbe anonymous variables (variabili di cui non mi interessa il valore) nei miei test, simile a AutoFixture in .Net. Ecco un collegamento a AutoFixture's readme

java unit-testing mocking quickcheck autofixture 2012-07-06

---

9calore

1risposta

proprietà condizionale QuickCheck

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

haskell quickcheck 2012-10-14

---

17calore

1risposta

Controllo del modo in cui i dati del test vengono generati in QuickCheck

Ho scritto un algoritmo per trovare una soluzione al problema della somma dei sottoinsiemi in Haskell. La firma è subsetSum :: (Ord a, Num a) => [a] -> a -> Maybe [a] QuickCheck sembra essere una bu

haskell quickcheck 2012-04-02

---

5calore

3risposta

Come si emula Lisp (applica) o (curry) in Rust?

Sto trasferendo QuickCheck in Rust e ho scritto tutto tranne for_all. Non sono sicuro di quale dovrebbe essere la firma del tipo, so solo che in generale, for_all accetterà una proprietà lambda e una

testing quickcheck rust 2012-02-14

---