LGlaser: Hinweis auf Java-Version

2026-05-06T13:24:01Z

Hinweis auf Java-Version

← Nächstältere Version		Version vom 6. Mai 2026, 15:24 Uhr
Zeile 1:		Zeile 1:
	Der TracingChecker führt dynamische Tests auf Java Programmcode aus, die dem Prinzip von Unit-Tests folgen. Es müssen daher die zu prüfenden Dateien (“Source files”) sowie ein Testtreiber (“Test driver”) angegeben werden. Im Eintrag “Classes to trace” kann zudem eine kommaseparierte Liste von Klassennamen angegeben werden, für die während der Testausführung ein Trace erzeugt werden soll. Jeder ausgeführte Programmschritt in diesen Klassen wird dann in den Trace aufgenommen.		{{Hinweis\|Der Checker unterstützt aktuell Programmiercode bis Java 17 inklusive der Standardbibliothek des offiziellen Java 17-JDKs.}}Der TracingChecker führt dynamische Tests auf Java Programmcode aus, die dem Prinzip von Unit-Tests folgen. Es müssen daher die zu prüfenden Dateien (“Source files”) sowie ein Testtreiber (“Test driver”) angegeben werden. Im Eintrag “Classes to trace” kann zudem eine kommaseparierte Liste von Klassennamen angegeben werden, für die während der Testausführung ein Trace erzeugt werden soll. Jeder ausgeführte Programmschritt in diesen Klassen wird dann in den Trace aufgenommen.

	=== Beispiel einer Testklasse ===		=== Beispiel einer Testklasse ===

Swolff: Kategorie Checker entfernt

2018-12-11T11:15:41Z

Kategorie Checker entfernt

← Nächstältere Version		Version vom 11. Dezember 2018, 13:15 Uhr
Zeile 51:		Zeile 51:

	Schreibt der geprüfte Programmcode während der Testausführung Ausgaben auf die Standardausgabe, werden diese unabhängig von den einzelnen Testfällen gespeichert und als zusätzliche Information in der Web-Oberfläche von JACK mit ausgegeben. Eine automatische inhaltliche Auswertung der Ausgaben ist nicht möglich.		Schreibt der geprüfte Programmcode während der Testausführung Ausgaben auf die Standardausgabe, werden diese unabhängig von den einzelnen Testfällen gespeichert und als zusätzliche Information in der Web-Oberfläche von JACK mit ausgegeben. Eine automatische inhaltliche Auswertung der Ausgaben ist nicht möglich.

			[[category:Checker]]

Pbabucke am 6. Juni 2018 um 09:50 Uhr

2018-06-06T09:50:25Z

← Nächstältere Version		Version vom 6. Juni 2018, 11:50 Uhr
Zeile 3:		Zeile 3:
	=== Beispiel einer Testklasse ===		=== Beispiel einer Testklasse ===

	Die Test-Klasse muss dem Grundgerüst ~~vie dem folgendem Programmcode~~ folgen.		Die Test-Klasse muss dem Grundgerüst des folgenden Programmcodes folgen.

	<syntaxhighlight lang="java" line='line'>		<syntaxhighlight lang="java" line='line'>

Pbabucke: Die Seite wurde neu angelegt: „Der TracingChecker führt dynamische Tests auf Java Programmcode aus, die dem Prinzip von Unit-Tests folgen. Es müssen daher die zu prüfenden Dateien (“Sou…“

2018-06-06T09:49:56Z

Die Seite wurde neu angelegt: „Der TracingChecker führt dynamische Tests auf Java Programmcode aus, die dem Prinzip von Unit-Tests folgen. Es müssen daher die zu prüfenden Dateien (“Sou…“

Neue Seite

Der TracingChecker führt dynamische Tests auf Java Programmcode aus, die dem Prinzip von Unit-Tests folgen. Es müssen daher die zu prüfenden Dateien (“Source files”) sowie ein Testtreiber (“Test driver”) angegeben werden. Im Eintrag “Classes to trace” kann zudem eine kommaseparierte Liste von Klassennamen angegeben werden, für die während der Testausführung ein Trace erzeugt werden soll. Jeder ausgeführte Programmschritt in diesen Klassen wird dann in den Trace aufgenommen.

=== Beispiel einer Testklasse ===

Die Test-Klasse muss dem Grundgerüst vie dem folgendem Programmcode folgen.

<syntaxhighlight lang="java" line='line'>
import de.uni_due.s3.jack2.backend.checkers.tracingchecker.framework.TracingFramework;
import de.uni_due.s3.jack2.backend.checkers.tracingchecker.framework.TracingFramework.Test;

public class DemoprojektDynamisch {

private int punkte = 0;

public int getResult() {
return punkte;
}

@Test(name="Test 1")
public void test1() {

Demoprojekt p = new Demoprojekt();

float faktor1 = p.faktor("Andre", 36, 4, 10);
float result1 = p.betrag(faktor1, 50000);

if (result1 < 3207.78f || result1 > 3207.79f){
if (faktor1 < 6.41f || faktor1 > 6.42f) {
TracingFramework.printError("Falsches Ergebnis und falscher Faktor!");
} else {
TracingFramework.printError("Falsches Ergebnis, aber richtiger Faktor!");
punkte += 20;
}
} else {
punkte += 50;
}
}

@Test(name="Test 2")
public void test2() {
// ...
}
}
</syntaxhighlight>

Die Klasse importiert das Tracing-Framework von JACK, das in der Datei “''jack-tracing-framework.jar''” bereitgestellt wird (Zeile 1 und 2). Die einzige Methode, die ein Testtreiber in jedem Fall anbieten muss, ist die Methode <code>getResult()</code>, die die erreichte Punktzahl von 0 bis 100 Punkten als Ganzzahl zurück gibt (Zeile 8-10). Zusätzlich kann der Testtreiber beliebig viele weitere, beliebig komplexe Methoden enthalten, die mit der Annotation @Test(name=“<Name_des_Testfalls>”) versehen werden (Zeile 12 und 32). Ist vor dem Start des gesamte dynamischen Tests eine einmalige Initialisierung notwendig, kann eine Methode <code>init()</code> ergänzt werden. Die Deklaration von zusätzlichen Hilfsmethoden und
beliebigen Feldern ist zulässig.

Die Testmethoden werden in der Reihenfolge abgearbeitet, in der sie im Programmcode deklariert sind. Sie führen Aufrufe auf dem zu testenden Programmcode durch und vergleichen die Rückgaben mit den erwarteten Werten. Zur Erzeugung einer textuellen Rückmeldung an die Studierenden stellt das Tracing-Framework die Methode <code>TracingFramework.printError(“<Meldung>”)</code> bereit (Zeile 22 und 24). Wird eine solche Zeile erreicht, führt dies im Fehlerbericht von JACK zu einer Ausgabe der Form “Fehler in <Name_des_Testfalls>: <Meldung>”. Die Ausführung der Testmethode wird danach weiter fortgesetzt, d.h. eine Testmethode kann mehrere Meldungen erzeugen. Jede Meldung wird automatisch um einen Trace ergänzt, der die ausgeführten Programmschritte seit dem Start der Testmethode bis zur Erzeugung der Fehlermeldung erhält. Analog zur Erzeugung von Fehlermeldungen steht auch eine Methode <code>TracingFramework.printWarning(“<Meldung>”)</code> zur Verfügung. Diese erzeugt Ausgaben der Form “Warnung in <Name_des_Testfalls>: <Meldung>”. Treten während der Ausführung eines Testfalls Exceptions im geprüften Programmcode auf, führt dies automatisch zu einer Ausgabe der Form “Fehler in <Name_des_Testfalls>: <Beschreibung_der_Exception>". In diesem Fall wird die Ausführung der Testmethode abgebrochen und der dynamische Test mit dem Aufruf der nächsten Testmethode fortgesetzt. Auch bei einer Exception wird die Meldung um einen Trace ergänzt. Tritt hingegen eine Exception im Testtreiber auf, führt diese zu einem Abbruch des gesamten dynamischen Tests. Es wird keine Punktzahl vergeben, sondern die Lösung wird stattdessen mit einem “internal error” markiert. Die aufgetretene Exception wird als interne Fehlernachricht ausgegeben.Das Erzeugen der Traces zum Programmablauf führt zu einer signifikant verlängerten Laufzeit für die zu testenden Programme. Um den Server nicht zu lange mit einem einzelnen Test zu blockieren, ist die Erzeugung von Traces daher auf eine Länge von 500 Schritten begrenzt. Das Programm wird nach erreichen dieser Grenze weiter ausgeführt, aber es wird kein Trace mehr dazu aufgezeichnet. Die Traceaufzeichnung kann gezielter gesteuert werden, indem die Aufrufe <code>TracingFramework.switchOffTracing()</code> und <code>TracingFramework.switchOnTracing()</code> verwendet werden. Damit kann für Abschnitte eines Testfalls das zeitaufwändige Tracing abgeschaltet und später wieder eingeschaltet werden. Die Ein-/Ausschaltung gilt immer nur pro Testfall. Insbesondere beginnt jeder Testfall standardmäßig mit eingeschaltetem Tracing.

Schreibt der geprüfte Programmcode während der Testausführung Ausgaben auf die Standardausgabe, werden diese unabhängig von den einzelnen Testfällen gespeichert und als zusätzliche Information in der Web-Oberfläche von JACK mit ausgegeben. Eine automatische inhaltliche Auswertung der Ausgaben ist nicht möglich.

TracingChecker - Versionsgeschichte

LGlaser: Hinweis auf Java-Version

Swolff: Kategorie Checker entfernt

Pbabucke am 6. Juni 2018 um 09:50 Uhr

Pbabucke: Die Seite wurde neu angelegt: „Der TracingChecker führt dynamische Tests auf Java Programmcode aus, die dem Prinzip von Unit-Tests folgen. Es müssen daher die zu prüfenden Dateien (“Sou…“