quickcheck, Seitenzahl 1

QuickCheck ist eine Haskell-Bibliothek zum Testen von Software. Es generiert Testfälle und validiert diese gegen vom Programmierer bereitgestellte Assertionen.

Antworten

Sammeln Sie automatisch alle QuickChecks

Als Fan von quickCheck habe ich eine Menge %Vor% während meines gesamten Programms. Um es einfach zu machen, definiere ich %Vor% Aber gibt es eine nette Möglichkeit, runchecks zu generieren? TL; DR: Ich möchte alle QuickChecks e...

26.04.2012, 18:11

Antworten

QuickCheck für Javascript

Gibt es eine Quickcheck-Version, die für Javascript funktioniert und gut gepflegt ist? Ich habe mehrere wie check.js und claire gefunden, aber keine von ihnen scheint das Schrumpfen von fehlerhaften Testfällen zu unterstützen, was mir immer als...

12.05.2014, 11:39

Antworten

quickCheckAll gibt immer "True" zurück

Ich versuche QuickCheck nach einer anderen Antwort zu verwenden. Ich teste so: %Vor% Dann lade ich es in winGHCI und rufe check und check2 auf. Ich bekomme %Vor% was ich denke, dass es vernünftig ist. Allerdings bekomme ich das v...

06.02.2015, 04:25

Antworten

Wie wird ein Grund für eine fehlgeschlagene Testeigenschaft mit Quickcheck angezeigt?

Was ist die beste Vorgehensweise, um Gründe für einen fehlgeschlagenen Eigenschaftstest anzuzeigen, wenn dieser mit QuickCheck getestet wird? Betrachten Sie zum Beispiel: %Vor% Dann könnte die a-Sitzung wie folgt aussehen: %Vor% Aber...

23.01.2011, 08:17

Antwort

Wie überschreiben Sie Haskell-Klasseninstanzen, die vom Paketcode bereitgestellt werden?

Ich habe einen alten Haskell-Code, der QuickCheck-Testfälle enthält. Neuere Versionen von QuickCheck (ich habe gerade auf 2.4.0.1 aktualisiert) enthalten Klassenklasseninstanzen für Arbitrary Word8 und andere. Diese waren in älteren 2.0.x-Ver...

13.04.2011, 01:10

Antwort

Welche Paketversion habe ich?

Man sollte denken, dass dies eine FAQ ist, aber ich konnte keine Antwort auf diese einfache Frage finden: Welche Version eines bestimmten Pakets habe ich in meiner GHC-Installation? Hintergrund Ich versuche Haskell zu lernen, und um d...

25.11.2015, 10:29

Antwort

Generisch abgeleitet Arbitrary für massive algebraische Datentypen?

Ich habe ein Protokoll, das ich so eingegeben habe: %Vor% Zusätzlich habe ich Serialisierungs- / Deserialisierungscode für jedes Paket implementiert. Natürlich möchte ich dieses Protokoll in Quickcheck testen und sicherstellen, dass das Seri...

15.06.2016, 18:29

Antworten

Eigenschaftsbasiertes Testen in PHP? [geschlossen]

In verschiedenen funktionaleren Sprachen gibt es Werkzeuge (wie Quickcheck ), die Eigenschaftstests . Wie würde ich über property-based Testing in PHP gehen? Ich möchte in der Lage sein, die Ein- und Ausgabeeigenschaften einer PHP-Methode...

17.05.2011, 08:35