Prüfung:: LectroTest:: Tutorium ist eine Perl-Baugruppe, die Unterlagen enthält über, wie man LectroTest verwendet, um Ihre Software zu prüfen.

SYNOPSE

LectroTest ist ein automatisiertes, Bedingung-gegründetes Prüfungssystem. Um es zu verwenden, Eigenschaften erklären die das erwartete Verhalten Ihrer Software spezifizieren. LectroTest dann anführen, um zu prüfen, ob jene Eigenschaften anhalten.

LectroTest tut dies durch Betrieb wiederholte gelegentliche Versuche gegen Ihre Software. Wenn LectroTest findet, dass ein Eigentum nicht anhält, ausstrahlt es das Gegenbeispiel es, dem Ihre Software „brach“. Sie können das Gegenbeispiel in Ihre Software dann einstecken, um das Problem auszuprüfen. (Sein auch eine gute Idee, das Gegenbeispiel Ihrer Liste der Rückbildung zu addieren prüft.)

An Ihr Software-Verhalten als Heuschober dieses youre denken, das nach Nadeln sucht. Jeder Fehler ist eine Nadel. Sie möchten die Nadeln finden und von ihnen entfernen. LectroTest sucht den Heuschober nach Ihnen -- sein nettes so -- aber zuerst müssen Sie es über die Form des Heuschobers mitteilen und wie man eine Nadel erkennt, wenn er ein sieht.

Der Heuschober

Die Form des Heuschobers definiert durch eine Einstellung „Generatorschwergängigkeiten,“ in, welchen Variablen zum Ausgang der Wertgeneratoren gesprungen:

x < - Int, c < - verkohlen (charset=> " A-Z ")

Das oben genannte kann, „für alle ganzen Zahlen gelesen werden x und alle Zeichen c in der Reichweite A bis Z.“ die Idee ist dass jeder einzigartige Fall der Paare (x, c) spezifiziert einen Punkt im Heuschober, den wir nach Nadeln suchen können.

Der NadelRecognizer

Der „Nadel Recognizer“ definiert durch ein Stückchen des Codes, der die verklemmten Variablen verwendet, um einen gegebenen Punkt im Heuschober zu prüfen. Er zurückbringt „abgreift herauf“ greift (zutreffend) wenn der Punkt von den Nadeln frei ist, oder „hinunter“ abgreift (falsch) wenn es eine Nadel findet:

the_thing_we_are_testing ($x, $c) >= 0;

Das oben genannte erklärt für jeden Punkt im Heuschober, dass der Ausgang der Funktion, die the_thing_we_are_testing ist, nichtnegativ sein muß.

Zusammengefügt ihnen, zum eines Eigentums zu bilden

Die Generatorschwergängigkeiten und der Nadel Recognizer kombiniert, um ein Eigentum zu bilden:

Eigentum {
## [x < - Int, c < - Putzfrau (charset=> " A-Z ")] ##
the_thing_we_are_testing ($x, $c) >= 0;
}, ist das Name => „, das (...) the_thing_we_are_testing ist, nichtnegativ“;

Youll Mitteilung, dass wir auch einen aussagefähigen Namen hinzufügten. Obgleich nicht ausschließlich erfordert, sein eine ausgezeichnete Praxis, die das Leben einfacher bildet. (Youll notiert auch, dass wir die Generatorschwergängigkeiten innerhalb des magischen Begrenzungen ## [] ## plazierten. Dieses mitteilt Perl es, dass unsere Schwergängigkeiten Schwergängigkeiten und nicht regelmäßiger Perl-Code. sind)

Wir können das oben genannte Eigentum wie so lesen: „Für alle ganzen Zahlen x und alle Zeichen c in der Reichweite A bis Z, erklären wir, dass das The_thing_we_are_testing ist nichtnegativ.“

Prüfung, ob Ihre Eigenschaften anhalten

Nachdem Sie Eigenschaften für Ihre Software definieren, sie einem kleinen Perl-Programm einfach addieren, das die Prüfung: verwendet: LectroTest Baugruppe:

# MyProperties.l.t

MyModule verwenden; # zur Verfügung stellt das The_thing_we_are_testing
Gebrauch Prüfung:: LectroTest;

Eigentum {
## [x < - Int, c < - Putzfrau (charset=> " A-Z ")] ##
the_thing_we_are_testing ($x, $c) >= 0;
}, ist das Name => „, das (...) the_thing_we_are_testing ist, nichtnegativ“;

Dann können Sie Ihre Eigenschaften einfach prüfen, indem Sie das Programm laufen lassen:

$-Perl MyProperties.l.t

Wenn Ihre Eigenschaften heraus überprüfen, sehen youll etwas Ähnliches:

1..1
O.K. 1 - (...) the_thing_we_are_testing ist nichtnegativ (1000 Versuche)

Wenn etwas falsch jedoch geht mitteilt LectroTest Ihnen lt, wo es geschah:

1..1
nicht 1 gutheißen - (...) the_thing_we_are_testing ist nichtnegativ
gefälscht in 23 Versuchen
# Gegenbeispiel:
# $x = 4
# $c = „R“

Was dieses sagt, ist das am Punkt (x=4, c= " R ") im Heuschober, gibt es eine Nadel (d.h., tut Ihr Eigentum nicht Einfluß). Mit diesen Informationen können Sie Ihren Code prüfen, um die Ursache des Fehlers festzustellen.