quickcheck

7Hitze

1Antwort

So verwenden Modifikatoren mit Quickcheck (Positive in meinem Fall)

Ich habe eine Funktion, rev, die einen Wert für einen Typ zurückgibt, die in drei typeclasses ist: rev :: (Integral a, Show a, Read a) => a -> a rev = read . reverse . show Ich möchte einige testen

haskell quickcheck 2012-09-17

---

7Hitze

1Antwort

Testen von Parsec-Parsern durch Generieren von Eingaben mit QuickCheck

Ich möchte Tests für eine Suite von Parsec-Parsern schreiben. Hier ist ein einfaches Beispiel eines Parsers ich mit Quick Check testen will: identifier = do c <- letter cs <- many (alphaNum

testing haskell parsec quickcheck 2012-06-12

---

8Hitze

2Antwort

sammeln automatisch alle Quickchecks

ein Fan von Quick Check sein, ich habe eine Menge prop_something_something = ... in meinem Programm. Der Einfachheit halber auf einfache Weise alle von ihnen laufen, definiere ich runchecks = do

haskell quickcheck 2012-04-26

---

6Hitze

1Antwort

Quickcheck für nicht boolesche Tests

Ich verwende QuickCheck, um meinen Code für einige numerische Berechnungen zu testen. Im Grunde habe ich eine genaue Funktion und mehrere Annäherungen davon, die viel effizienter sind. Ich führe derze

haskell quickcheck 2012-08-13

---

9Hitze

2Antwort

Gibt es eine monadische Version von Arbitrary für die Verwendung mit QuickCheck?

Wenn ich reinen Code mit QuickCheck testen möchte, muss ich oft eine Arbitrary Instanz schreiben. Um monadischen Code zu testen, kann ich Test.QuickCheck.Monadic wie in diesem article beschrieben verw

testing haskell functional-programming monads quickcheck 2012-03-25

---

16Hitze

3Antwort

Wie kann QuickCheck angewiesen werden, nur gültige Listenindizes für einen Parameter zu generieren?

Angenommen, ich möchte einige Komponententests für die (!!)-Funktion schreiben. my_prop xs n = ... Ich will n nur gültigen Indizes beschränken, und ich weiß, dass ich so etwas wie my_prop xs n = (no

haskell quickcheck 2012-10-10

---

16Hitze

7Antwort

Gibt es eine Java-Alternative zu Ploehs AutoFixture für .Net?

Ich bin auf der Suche nach einem Java-Tool, das anonymous variables (Variablen, deren Wert ich interessiere nicht) in meinen Tests, ähnlich wie AutoFixture in .Net erstellen würde. Hier ist ein Link z

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

---

17Hitze

1Antwort

Steuern, wie Testdaten in QuickCheck generiert werden

Ich schrieb einen Algorithmus, um eine Lösung für das Subset-Summenproblem in Haskell zu finden. Die Signatur lautet subsetSum :: (Ord a, Num a) => [a] -> a -> Maybe [a] QuickCheck scheint eine gute

haskell quickcheck 2012-04-02

---

16Hitze

2Antwort

"Kochbuch" für die Konvertierung von QuickCheck1 zu QuickCheck2?

Gibt es ein Kochbuch für die Konvertierung von QuickCheck1 zu QuickCheck2? Als einige Beispiele wurden defaultConfig (replaced by Args) und trivial entfernt und CoArbitrary eingeführt. Ich habe die wh

haskell quickcheck 2012-05-23

---

10Hitze

5Antwort

verboseCheck in QuickCheck 2?

Die Funktion verboseCheck von QuickCheck 1 scheint in QuickCheck 2 nicht vorhanden zu sein (oder zumindest finde ich sie nicht). Gibt es eine andere Möglichkeit zu zeigen, welche Werte beim Testen ver

haskell quickcheck 2010-03-25

---