Checkerkonfiguration: Unterschied zwischen den Versionen
PRanz (Diskussion | Beiträge) |
|||
| (5 dazwischenliegende Versionen von einem anderen Benutzer werden nicht angezeigt) | |||
| Zeile 5: | Zeile 5: | ||
Diese Konfigurationen gibt es bei allen Checkern. | Diese Konfigurationen gibt es bei allen Checkern. | ||
[[File:CheckerAllgKonf.PNG|right]] | [[File:CheckerAllgKonf.PNG|thumb|right]] | ||
===Variablenname=== | ===Variablenname=== | ||
| Zeile 24: | Zeile 24: | ||
=== Checker ist aktiviert=== | === Checker ist aktiviert=== | ||
Gibt an, ob der Checker zur Überprüfung der Aufgabe genutzt wird. | Gibt an, ob der Checker zur Überprüfung der Aufgabe genutzt wird. | ||
<br clear=all> | |||
=Checker-spezifische Konfigurationen= | =Checker-spezifische Konfigurationen= | ||
| Zeile 62: | Zeile 63: | ||
==Static Java Checker (GreQL)== | ==Static Java Checker (GreQL)== | ||
[[Datei:StaticJava.PNG|thumb|right]] | [[Datei:StaticJava.PNG|thumb|right]] | ||
===Library Files=== | |||
Hier können jar-Dateien eintragen werden, wenn diese an die Aufgabe anhängt und notwendig sind, damit die Tests laufen. Es dürfen keine normalen Source-Dateien markiert sein, sonst kommt es zu Backend-Fehlern. | |||
===Rule File=== | ===Rule File=== | ||
XML-Datei, die Regeln enthält, die zur Bewertung der Aufgabe dienen. | XML-Datei, die Regeln enthält, die zur Bewertung der Aufgabe dienen. | ||
| Zeile 70: | Zeile 73: | ||
==UML Checker== | ==UML Checker== | ||
[[Datei:UML.PNG|thumb|right]] | [[Datei:UML.PNG|thumb|right]] | ||
===Rule File=== | |||
XML-Datei, die Regeln enthält, die zur Bewertung der Aufgabe dienen. | |||
===XMI File=== | ===XMI File=== | ||
Datei, die von den Studenten eingereicht werden musste. Auf dieser wird die Überprüfung durchgeführt. | Datei, die von den Studenten eingereicht werden musste. Auf dieser wird die Überprüfung durchgeführt. | ||
<br clear=all> | <br clear=all> | ||
| Zeile 84: | Zeile 88: | ||
===Visualization configuration=== | ===Visualization configuration=== | ||
XML-Datei mit Anweisungen für die Erzeugung der Visualisierung. Siehe [[KovidaChecker|Beispiel einer Konfiguration]]. | XML-Datei mit Anweisungen für die Erzeugung der Visualisierung. Siehe [[KovidaChecker (Jack2)|Beispiel einer Konfiguration]]. | ||
<br clear=all> | <br clear=all> | ||
| Zeile 92: | Zeile 96: | ||
==Code Reading Checker== | ==Code Reading Checker== | ||
[[Datei:CodeReading.PNG|thumb|right]] | |||
===Classes To Trace=== | ===Classes To Trace=== | ||
Klassenname, der Klasse die in Reference Source angegeben ist. | Klassenname, der Klasse die in Reference Source angegeben ist. | ||
| Zeile 98: | Zeile 103: | ||
===Test Driver Class=== | ===Test Driver Class=== | ||
Die Java-Datei der Testtreiber-Klasse. Dient zur automatischen Auswertung. Sie muss genau eine Methode enthalten, die mit einer @Test("Name")-Annotation versehen ist, und die einen Methodenaufruf auf den betrachteten Code, wie in der Aufgabenstellung vorgegeben, durchführt. | Die Java-Datei der Testtreiber-Klasse. Dient zur automatischen Auswertung. Sie muss genau eine Methode enthalten, die mit einer @Test("Name")-Annotation versehen ist, und die einen Methodenaufruf auf den betrachteten Code, wie in der Aufgabenstellung vorgegeben, durchführt. | ||
<br clear=all> | |||
==Tracing Java Checker== | ==Tracing Java Checker== | ||
[[Datei:TracingJava.PNG|thumb|right]] | |||
===Classes To Trace=== | ===Classes To Trace=== | ||
Kommaseparierte Liste von Klassennamen, 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. | Kommaseparierte Liste von Klassennamen, 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. | ||
| Zeile 108: | Zeile 115: | ||
===Source Files=== | ===Source Files=== | ||
Die zu prüfende Datei. | Die zu prüfende Datei. | ||
===Test Driver Class=== | ===Test Driver Class=== | ||
Java-Klasse des Testtreibers. 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. Zusätzlich kann der Testtreiber beliebig viele weitere, beliebig komplexe Methoden enthalten, die mit der Annotation <code>@Test(name=“<Name_des_Testfalls>”)</code> versehen werden. | Java-Klasse des Testtreibers. 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. Zusätzlich kann der Testtreiber beliebig viele weitere, beliebig komplexe Methoden enthalten, die mit der Annotation <code>@Test(name=“<Name_des_Testfalls>”)</code> versehen werden. | ||
<br clear=all> | |||
Aktuelle Version vom 7. Juni 2023, 13:23 Uhr
Im Folgenden werden die verschiedenen Konfigurationsmöglichkeiten der JACK2-Checker beschrieben.
Allgemeine Konfigurationen
Diese Konfigurationen gibt es bei allen Checkern.
Variablenname
Eindeutige Id des Checkers. Diese kann in der Evaluierungsregel genutzt werden.
Checker-Name
Name des Checkers. Wird in den Lösungsdetails angezeigt.
Ergebnis-Label
Mit diesem Label werden Ergebnisse des Checkers in den Lösungsdetails benannt.
Zeige Ergebnis in der Übersicht
Das Ergebnis des Checkers wird in den Lösungsdetails angezeigt.
Zeige Ergebnisdetails
In den Lösungsdetails werden die Details des Checker-Ergebnisses angezeigt.
Checker ist aktiviert
Gibt an, ob der Checker zur Überprüfung der Aufgabe genutzt wird.
Checker-spezifische Konfigurationen
Dynamic C++ Checker
Config File
Eine Plain-Text-Datei. enthält eine Beschreibung der verschiedenen Testmethoden.
Source Files
Alle Dateien, die von den Studierenden eingereicht werden mussten.
Test Files
C++-Dateien, die mit Hilfe von CppUnit Tests definieren. Diese dienen dazu die Einreichung zu überprüfen.
Static C++ Checker
Rule File
XML-Datei, die Regeln enthält, die zur Bewertung der Aufgabe dienen.
Source Files
Alle Dateien, die von den Studierenden eingereicht werden mussten.
Dynamic R Checker
Initial Code
Eine R-Datei, die den anzuzeigenden Inhalt der Aufgabe enthält.
XML File
Hier muss eine XML-Datei übergeben werden, die die Überprüfung der Aufgabe enthält (Regeln, Feedback).
Static R Checker
Rule File
XML-Datei, die Regeln enthält, die zur Bewertung der Aufgabe dienen.
Static Java Checker (GreQL)
Library Files
Hier können jar-Dateien eintragen werden, wenn diese an die Aufgabe anhängt und notwendig sind, damit die Tests laufen. Es dürfen keine normalen Source-Dateien markiert sein, sonst kommt es zu Backend-Fehlern.
Rule File
XML-Datei, die Regeln enthält, die zur Bewertung der Aufgabe dienen.
Source Files
Alle Dateien, die von den Studierenden eingereicht werden mussten.
UML Checker
Rule File
XML-Datei, die Regeln enthält, die zur Bewertung der Aufgabe dienen.
XMI File
Datei, die von den Studenten eingereicht werden musste. Auf dieser wird die Überprüfung durchgeführt.
Java Visualizer
Source Files
Die zu prüfende Java-Datei.
Test Driver Class
Die Java-Datei der Testtreiber-Klasse. Dient zur Erzeugung des Programmlaufes.
Visualization configuration
XML-Datei mit Anweisungen für die Erzeugung der Visualisierung. Siehe Beispiel einer Konfiguration.
Java Metric Checker
Source Files
Alle Dateien, die von den Studierenden eingereicht werden mussten.
Code Reading Checker
Classes To Trace
Klassenname, der Klasse die in Reference Source angegeben ist.
Reference Source
Eine Java-Datei, die die obige Klasse enthält. Die Klasse muss eine Methode enthalten, die vom Test Driver aufgerufen wird. Bei der Klasse muss es sich um den zu betrachtenden Code handeln.
Test Driver Class
Die Java-Datei der Testtreiber-Klasse. Dient zur automatischen Auswertung. Sie muss genau eine Methode enthalten, die mit einer @Test("Name")-Annotation versehen ist, und die einen Methodenaufruf auf den betrachteten Code, wie in der Aufgabenstellung vorgegeben, durchführt.
Tracing Java Checker
Classes To Trace
Kommaseparierte Liste von Klassennamen, 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.
Library Files
Hier können jar-Dateien eintragen werden, wenn diese an die Aufgabe anhängt und notwendig sind, damit die Tests laufen. Es dürfen keine normalen Source-Dateien markiert sein, sonst kommt es zu Backend-Fehlern.
Sample Traces
Hier muss meist nichts ausgewählt werden. Es handelt sich um ein experimentelles Feature, welches nur nach Schulung/Rücksprache verwendet werden kann.
Source Files
Die zu prüfende Datei.
Test Driver Class
Java-Klasse des Testtreibers. Die einzige Methode, die ein Testtreiber in jedem Fall anbieten muss, ist die Methode getResult(), die die erreichte Punktzahl von 0 bis 100 Punkten als Ganzzahl zurück gibt. Zusätzlich kann der Testtreiber beliebig viele weitere, beliebig komplexe Methoden enthalten, die mit der Annotation @Test(name=“<Name_des_Testfalls>”) versehen werden.