Rindercheck Rushcheck - Leichtes und automatisches Spezifikations-basiertes zufälliges Testwerkzeug für Rubin-Programme
Jetzt downloaden

Rindercheck Ranking & Zusammenfassung

Rindercheck Stichworte

überprüfen Prüfung Rubin Ruby-Tester Ruby Checker. Testprogramm

Rindercheck Beschreibung

Rushcheck - Leichtes und automatisches Spezifikations-basiertes zufälliges Testwerkzeug für Rubin-Programme Rushcheck ist ein leichte und automatisches Spezifikations-basiertes zufälliges Testwerkzeug für Rubin-Programme. Es ist eine der Implementierungen von QuickCheck in Haskell. Der Programmierer bietet eine Spezifikation oder Behauptung des Programms in Form von Eigenschaften, die Funktionen oder Methoden erfüllen sollten. Dann testet Rushcheck die Eigenschaften in einer Vielzahl von zufällig erzeugten Testcasen. Die Spezifikationen werden in einem Rubinblock geschrieben, wobei die in der RushCheck-Bibliothek definierten Funktionen verwendet werden. Rushcheck hat einige Kombinatoren, um Eigenschaften zu definieren, einige Möglichkeiten, die Verteilung von Testdaten zu beobachten, die zufällig erzeugt werden, Wachen für die Vorbedingung der Eigenschaft, und die Testdatengeneratoren. Ruhcheck können auch mit einem anderen Testrahmen verwendet werden: oder rspec.note: Rushcheck ist lizenziert und verteilt unter den Bedingungen der MIT / X-Konsortium-Lizenz.

Rindercheck Zugehörige Software