Starten des Testbeispiels in Jtorx
1) Die Dateien „coffee.java“, „coffee1.java“ und „spec.aut“ aus dem TWiki laden.
2) Die Java Dateien kompilieren 3) JTorx starten
4) Die Einstellungen wie folgt anpassen:
a. Modell („spec.aut“) laden (Unter View kann man das Modell betrachten)
b. Implementation: “real programm, communication labels on stdin/stdout”
c. Program + args: „java –classpath “pfad zu .class datei” dateiname“
d. Timeout: Wert eurer Wahl einstellen e. Interpretation:
i. für das Testbeispiel: “action names below”
Input actions: “50Cent T C”
Output actions: “Coffee Tea”
ii. für die Übung genügt auch: „?in!out“
5) Im Reiter Test den Test starten
6) Mit Stimulate und Observe Schritt für Schritt oder mit Auto automatisch testen.
7) „coffee1.class“ laden, und den Fehler finden
