Checkerkonfiguration: Unterschied zwischen den Versionen
PRanz (Diskussion | Beiträge) |
PRanz (Diskussion | Beiträge) |
||
| Zeile 25: | Zeile 25: | ||
Gibt an, ob der Checker zur Überprüfung der Aufgabe genutzt wird. | Gibt an, ob der Checker zur Überprüfung der Aufgabe genutzt wird. | ||
=Checker-spezifische Konfigurationen= | |||
==Dynamic C++ Checker== | |||
===Config File=== | |||
===Source Files=== | |||
===Test Files=== | |||
==Static C++ Checker== | |||
===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. | ||
===Source Files=== | |||
==Dynamic R Checker== | |||
===Initial Code=== | |||
===XML File=== | |||
===Static R Checker=== | ===Static R Checker=== | ||
===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. | ||
==Static Java Checker (GreQL)== | |||
===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. | ||
===Source Files=== | |||
Alle Dateien (außer die Regel-Datei), die für die Bewertung der Aufgabe benötigt werden. | Alle Dateien (außer die Regel-Datei), die für die Bewertung der Aufgabe benötigt werden. | ||
==Static Java Checker (AGG)== | |||
===Rule Files=== | |||
===Script File=== | |||
===Source Files=== | |||
==UML Checker== | |||
===XMI 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. | ||
==Java Visualizer== | |||
===Source Files=== | |||
===Test Driver Class=== | |||
Die Java-Datei der Testtreiber-Klasse. | Die Java-Datei der Testtreiber-Klasse. | ||
===Visualization configuration=== | |||
==Java Metric Checker== | |||
===Source Files=== | |||
==Code Reading Checker== | |||
===Classes To Trace=== | |||
===Reference Source=== | |||
===Test Driver Class=== | |||
Die Java-Datei der Testtreiber-Klasse. | Die Java-Datei der Testtreiber-Klasse. | ||
==Tracing Java Checker== | |||
===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. | 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=== | |||
===Source Files=== | |||
===Test Driver Class=== | |||
Java-Klasse des Testtreibers. | Java-Klasse des Testtreibers. | ||
Version vom 31. März 2021, 10:13 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
Source Files
Test Files
Static C++ Checker
Rule File
XML-Datei, die Regeln enthält, die zur Bewertung der Aufgabe dienen.
Source Files
Dynamic R Checker
Initial Code
XML File
Static R Checker
Rule File
XML-Datei, die Regeln enthält, die zur Bewertung der Aufgabe dienen.
Static Java Checker (GreQL)
Rule File
XML-Datei, die Regeln enthält, die zur Bewertung der Aufgabe dienen.
Source Files
Alle Dateien (außer die Regel-Datei), die für die Bewertung der Aufgabe benötigt werden.
Static Java Checker (AGG)
Rule Files
Script File
Source Files
UML Checker
XMI File
Rule File
XML-Datei, die Regeln enthält, die zur Bewertung der Aufgabe dienen.
Java Visualizer
Source Files
Test Driver Class
Die Java-Datei der Testtreiber-Klasse.
Visualization configuration
Java Metric Checker
Source Files
Code Reading Checker
Classes To Trace
Reference Source
Test Driver Class
Die Java-Datei der Testtreiber-Klasse.
Tracing Java Checker
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
Source Files
Test Driver Class
Java-Klasse des Testtreibers.