Fscheck ein Werkzeug zum Testen von F # -Programmen automatisch
Jetzt downloaden

Fscheck Ranking & Zusammenfassung

Fscheck Stichworte

Generator Bücherei Rahmen Programme automatisch aktualisieren Klassengenerator Bibliothek testen Testen von Framework.

Fscheck Beschreibung

FScheck wurde als Werkzeug zum Testen von F # -Programmen automatisch entwickelt. Der Programmierer bietet eine Spezifikation des Programms in Form von Eigenschaften, die Funktionen, Methoden oder Objekte erfüllen sollten, und FSCHECK testen dann, dass die Eigenschaften in einer Vielzahl von zufällig erzeugten Fällen greifen. Beim Schreiben der Eigenschaften schreiben Sie tatsächlich eine druckbare Spezifikation Ihres Programms. Die Spezifikationen werden in F # ausgedrückt, wobei Kombinatoren in der FScheck-Bibliothek definiert sind. FScheck bietet Kombinatoren zur Definition von Eigenschaften, beobachten Sie die Verteilung von Testdaten und definieren Testdatengeneratoren. Wenn eine Eigenschaft fehlschlägt, zeigt FScheck automatisch ein minimales Zähler ein. FScheck-Testfälle und -vorgaben sind derzeit am besten mit f # geschrieben. Nicht funktionale Sprachen wie C # und VB.net fehlen die Sprachfunktionen, die erforderlich sind, um FSCHECK effektiv zu verwenden. FScheck könnte für das Testen von in anderen Sprachen geschriebenen Programmen nützlich sein. Die Generator-Kombinatoren können in jedem Testrahmen verwendet werden, um eine Anzahl von Zufallswerten für viele Typen leicht zu erzeugen.

Fscheck Zugehörige Software