Evaluator

Beschreibung

Der Evaluator ist das Evaluierungswerkzeug, welches von JACK für Berechnungen aller Art (z.B. mathematische Berechnungen) verwendet wird. Der Evaluator wird daher sowohl für die Erzeugung von Variablen genutzt, als auch um die Prüfregeln für richtige Antworten bzw. Feedbacknachrichten in Fill In Aufgaben auszuwerten. Er beherrscht eine Reihe von Funktionen, z.B. einfache arithmetische Operationen und Funktionen auf Zeichenketten, ist jedoch auch in der Lage, mit Computer Algebra Systemen zu sprechen und dort Auswertungen vornehmen zu lassen.

Variablen erstellen

Der Evaluator kann beim Erzeugen aufgabenbezogener Variablen innerhalb der ExerciseChain genutzt werden. Innerhalb des value-Attributs des <option>-Tags lassen sich Funktionen des Evaluators nutzen, um Aufgaben mit variablen Werten zu erstellen.

<variables>
 <option name="a" value="5"/>
 <option name="b" value="2"/>
 <option name="c" value="[var=a]*[var=b]"/>
</variabls>

In diesem Beispiel werden die beiden Variablen a und b mit den Werten 5 bzw. 2 erstellt. Außerdem wird eine dritte Variable c erstellt, die das Produkt der beiden vorherigen Variablen bildet.

Neben den mathematischen Basisoperationen enthält der Evaluator diverse eigen-implementierte Funktionen, die teilweise auf externe Computer-Algebra-Systeme (Symja, Sage, R) zugreifen. Beim Benutzen einer solchen CAS-Funktion kann mittels des Attributs cas und den Werten symja, sage, R explizit angegeben werden, welches CAS verwendet werden soll.

<option name="b" value="factorial([var=a])" cas="R" />

In diesem Fall enthält die Variable b die Fakultät der Zahl, die in der Variablen a enthalten ist, berechnet mit Hilfe des CAS R.

Ergebnisauswertung

Der Evaluator wird ebenfalls bei der Auswertung von Aufgaben verwendet, konkreter bei dem result-Attribut innerhalb des <option>-Tags.

<correctanswer>
 <option result="[pos=1]==25*2"/>
 <message>Richtig! Das Ergebnis ist 50.</message>
</correctanswer>

In diesem Beispiel wird überprüft, ob in dem ersten Fill In-Feld der Aufgabe der Wert 50 steht.

Hierbei versucht der Evaluator den Wert des result-Attributs, also den in Anführungszeichen stehenden Ausdruck, zu einem Boolean auszuwerten. Für eine korrekte Funktionsweise ist es deswegen wichtig, dass der dort stehende Ausdruck auch tatsächlich zu einem booleschen Ergebnis validiert werden kann. Auf diese Weise können viele mitunter sehr unterschiedliche Lösungs-Einreichungen von Aufgaben auf ihre Richtigkeit geprüft werden, ohne jede einzelne Möglichkeit explizit angeben zu müssen. Hierbei kann man genauso wie beim Erstellen von Variablen auf diverse Funktionen des Evaluators zurückgreifen.

Funktionen

Der Evaluator beinhaltet viele verschiedene Funktionen, die alle in JACK für die Aufgabendarstellung benutzt werden können. Hier geben wir eine vollständige Liste aller angebotenen Funktionen mit ihrer Funktionalität.

allgemeine binäre Operatoren

unäre Operatoren

CAS Funktionen

Evaluator Funktionen