R GReQL Checker (JACK3) - Versionsgeschichte

Mschypula am 23. Februar 2024 um 11:39 Uhr

2024-02-23T11:39:58Z

← Nächstältere Version		Version vom 23. Februar 2024, 13:39 Uhr
Zeile 15:		Zeile 15:
	* '''Punktemodus:''' Hier kann zwischen ''Deduction'' (abziehen) und ''Gain'' (aufaddieren) gewählt werden.		* '''Punktemodus:''' Hier kann zwischen ''Deduction'' (abziehen) und ''Gain'' (aufaddieren) gewählt werden.
	* '''Feedback (im Fehlerfall):''' Das Feedback wird dem Lernenden angezeigt, wenn dieser Test fehlschlägt.		* '''Feedback (im Fehlerfall):''' Das Feedback wird dem Lernenden angezeigt, wenn dieser Test fehlschlägt.
	[[File:R_statischerTest.JPG\|center\|thumb\|~~800px~~\|Einstellungen für den statischen Test einer R Aufgabe]]		[[File:R_statischerTest.JPG\|center\|thumb\|600px\|Einstellungen für den statischen Test einer R Aufgabe]]
	In diesem Beispiel soll der statische Checker kontrollieren, ob der Lernenden die mean-Funktion von R benutzt hat. Dafür wird zunächst die GReQL Regel beschrieben, die kontrolliert, ob in der Abgabe die Funktion enthalten ist. Wenn diese in der eingereichten Lösung ist bekommt der Lernende 40 Punkte vom statischen Checker für seine Lösung. Wenn diese nicht in der eingreichten Lösung vorkommt wird das Feedback ausgegeben.		In diesem Beispiel soll der statische Checker kontrollieren, ob der Lernenden die mean-Funktion von R benutzt hat. Dafür wird zunächst die GReQL Regel beschrieben, die kontrolliert, ob in der Abgabe die Funktion enthalten ist. Wenn diese in der eingereichten Lösung ist bekommt der Lernende 40 Punkte vom statischen Checker für seine Lösung. Wenn diese nicht in der eingreichten Lösung vorkommt wird das Feedback ausgegeben.

Mschypula am 23. Februar 2024 um 11:39 Uhr

2024-02-23T11:39:41Z

← Nächstältere Version		Version vom 23. Februar 2024, 13:39 Uhr
Zeile 15:		Zeile 15:
	* '''Punktemodus:''' Hier kann zwischen ''Deduction'' (abziehen) und ''Gain'' (aufaddieren) gewählt werden.		* '''Punktemodus:''' Hier kann zwischen ''Deduction'' (abziehen) und ''Gain'' (aufaddieren) gewählt werden.
	* '''Feedback (im Fehlerfall):''' Das Feedback wird dem Lernenden angezeigt, wenn dieser Test fehlschlägt.		* '''Feedback (im Fehlerfall):''' Das Feedback wird dem Lernenden angezeigt, wenn dieser Test fehlschlägt.
	[[~~Datei~~:R_statischerTest.JPG\|center]]		[[File:R_statischerTest.JPG\|center\|thumb\|800px\|Einstellungen für den statischen Test einer R Aufgabe]]
	In diesem Beispiel soll der statische Checker kontrollieren, ob der Lernenden die mean-Funktion von R benutzt hat. Dafür wird zunächst die GReQL Regel beschrieben, die kontrolliert, ob in der Abgabe die Funktion enthalten ist. Wenn diese in der eingereichten Lösung ist bekommt der Lernende 40 Punkte vom statischen Checker für seine Lösung. Wenn diese nicht in der eingreichten Lösung vorkommt wird das Feedback ausgegeben.		In diesem Beispiel soll der statische Checker kontrollieren, ob der Lernenden die mean-Funktion von R benutzt hat. Dafür wird zunächst die GReQL Regel beschrieben, die kontrolliert, ob in der Abgabe die Funktion enthalten ist. Wenn diese in der eingereichten Lösung ist bekommt der Lernende 40 Punkte vom statischen Checker für seine Lösung. Wenn diese nicht in der eingreichten Lösung vorkommt wird das Feedback ausgegeben.

LGlaser: LGlaser verschob die Seite R GReQL Checker nach R GReQL Checker (JACK3)

2024-01-04T14:06:06Z

LGlaser verschob die Seite R GReQL Checker nach R GReQL Checker (JACK3)

← Nächstältere Version	Version vom 4. Januar 2024, 16:06 Uhr
(kein Unterschied)

Mschypula: /* Einsetzen */

2022-08-24T06:58:53Z

Einsetzen

← Nächstältere Version		Version vom 24. August 2022, 08:58 Uhr
Zeile 10:		Zeile 10:
	Durch das Klicken auf den Button ''Statischer Testfall'' wird ein statischer Test erzeugt und ein Fenster öffnet sich. Dort lassen sich die folgenden Einstellungen vornehmen:		Durch das Klicken auf den Button ''Statischer Testfall'' wird ein statischer Test erzeugt und ein Fenster öffnet sich. Dort lassen sich die folgenden Einstellungen vornehmen:
	* '''Name:''' Name des Testfalls.		* '''Name:''' Name des Testfalls.
	* '''GReQL Regel:''' Hier können die aus Jack2 bekannten GReQL-Regeln angegeben werden. XML-Sonderzeichen dürfen nicht mehr wie in Jack2 ~~excaped~~ werden.		* '''GReQL Regel:''' Hier können die aus Jack2 bekannten GReQL-Regeln angegeben werden. XML-Sonderzeichen dürfen nicht mehr wie in Jack2 escaped werden. Über den Button '''Regel hinzufügen''' können mehrere GReQL hinzugefügt werden. Diese Regeln sind miteinander verodert, d.h. wenn eine der Regeln zutrifft wird das entsprechende Feedback ausgegeben.
	* '''Regelart:''' Hier kann man zwischen ''Absence'' und ''Presence'' wählen. Presence fordert, dass die obige GReQL-Regel erfüllt wird und Absence fordert, dass die obige GReQL-Regel nicht zutrifft.		* '''Regelart:''' Hier kann man zwischen ''Absence'' und ''Presence'' wählen. Presence fordert, dass die obige GReQL-Regel erfüllt wird und Absence fordert, dass die obige GReQL-Regel nicht zutrifft.
	* '''Punkte:''' Die Anzahl der Punkte, die entweder aufaddiert oder abgezogen werden.		* '''Punkte:''' Die Anzahl der Punkte, die entweder aufaddiert oder abgezogen werden.

Mschypula: /* Tools */

2022-05-12T10:38:29Z

Tools

← Nächstältere Version		Version vom 12. Mai 2022, 12:38 Uhr
Zeile 19:		Zeile 19:

	===Tools===		===Tools===
			[[R-GReQL-Grammatik]]

	[[Media:GReQL-Referencecard.pdf\|GReQL-Referencecard]]		[[Media:GReQL-Referencecard.pdf\|GReQL-Referencecard]]

	[[category:Benutzerhandbuch]]		[[category:Benutzerhandbuch]]

Mschypula: /* Einsetzen */

2022-05-12T10:37:35Z

Einsetzen

← Nächstältere Version		Version vom 12. Mai 2022, 12:37 Uhr
Zeile 16:		Zeile 16:
	* '''Feedback (im Fehlerfall):''' Das Feedback wird dem Lernenden angezeigt, wenn dieser Test fehlschlägt.		* '''Feedback (im Fehlerfall):''' Das Feedback wird dem Lernenden angezeigt, wenn dieser Test fehlschlägt.
	[[Datei:R_statischerTest.JPG\|center]]		[[Datei:R_statischerTest.JPG\|center]]
			In diesem Beispiel soll der statische Checker kontrollieren, ob der Lernenden die mean-Funktion von R benutzt hat. Dafür wird zunächst die GReQL Regel beschrieben, die kontrolliert, ob in der Abgabe die Funktion enthalten ist. Wenn diese in der eingereichten Lösung ist bekommt der Lernende 40 Punkte vom statischen Checker für seine Lösung. Wenn diese nicht in der eingreichten Lösung vorkommt wird das Feedback ausgegeben.

	===Tools===		===Tools===

Mschypula am 12. Mai 2022 um 10:33 Uhr

2022-05-12T10:33:46Z

@@ Zeile 1: / Zeile 1: @@
-Der statische Checker prüft den eingegebenen Programmcode auf statische Eigenschaften und verwendet dazu Abfragen auf dem Syntaxgraphen. Die Checks werden für diesen Checker regelbasiert in einer textuellen Notation konfiguriert. Für die Abfragen auf dem Syntaxbaum wird die Sprache GReQL verwendet. Durch das Klicken auf den Button ''Statischer Testfall'' wird ein statischer Test erzeugt und ein Fenster öffnet sich. Dort lassen sich die folgenden Einstellungen vornehmen:
+Der statische Checker prüft den eingegebenen Programmcode auf statische Eigenschaften und verwendet dazu Abfragen auf dem Syntaxgraphen. Die Checks werden für diesen Checker regelbasiert in einer textuellen Notation konfiguriert. Für die Abfragen auf dem Syntaxbaum wird die Sprache GReQL verwendet.
 * '''Name:''' Name des Testfalls.
 * '''GReQL Regel:''' Hier können die aus Jack2 bekannten GReQL-Regeln angegeben werden. XML-Sonderzeichen dürfen nicht mehr wie in Jack2 excaped werden.
@@ Zeile 7: / Zeile 16: @@
 * '''Feedback (im Fehlerfall):''' Das Feedback wird dem Lernenden angezeigt, wenn dieser Test fehlschlägt.
 [[Datei:R_statischerTest.JPG|center]]
 ===Tools===

Mschypula am 12. Mai 2022 um 10:32 Uhr

2022-05-12T10:32:15Z

← Nächstältere Version		Version vom 12. Mai 2022, 12:32 Uhr
Zeile 8:		Zeile 8:
	[[Datei:R_statischerTest.JPG\|center]]		[[Datei:R_statischerTest.JPG\|center]]

	~~'''~~Aufbau~~'''~~		===Aufbau===
	Die verschiedenen Konstrukte der Sprache R werden durch eine GReQL-Grammatik definiert. Diese unterscheidet sich in Knoten und Kanten. Die R-GReQL-Grammatik ist typisiert und hierarchisch aufgebaut. Beispielsweise is "AssignmentOperator" die Oberklasse von Left- bzw. RightAssignmentOperator, welche wiederum von den spezifischen Zuweisungsoperatoren die Oberklassen sind. Dadurch lassen sich allgemeinere Abfragen erstellen, in denen nach dem Vorkommen eines (beliebigen) Zuweisungsoperators statt nach mehreren spezifischen gefragt wird.		Die verschiedenen Konstrukte der Sprache R werden durch eine GReQL-Grammatik definiert. Diese unterscheidet sich in Knoten und Kanten. Die R-GReQL-Grammatik ist typisiert und hierarchisch aufgebaut. Beispielsweise is "AssignmentOperator" die Oberklasse von Left- bzw. RightAssignmentOperator, welche wiederum von den spezifischen Zuweisungsoperatoren die Oberklassen sind. Dadurch lassen sich allgemeinere Abfragen erstellen, in denen nach dem Vorkommen eines (beliebigen) Zuweisungsoperators statt nach mehreren spezifischen gefragt wird.

	~~'''~~Auswertung eines Regelsatzes~~'''~~		===Auswertung eines Regelsatzes===
	Bei der Durchführung des statischen Checks wird zunächst der abstrakte Syntaxgraph der abgegebenen Lösung erzeugt und anschließend alle Regeln angewendet. Alle erzeugten Fehlernachrichten werden als Ausgabe des statischen Tests gesammelt. Die vergebene Punktzahl ergibt sich aus den Punkten der einzelnen Regeln, wobei die Gesamtsumme der Punkte in der Regeldatei stets auf 100 normiert wird. Tritt während des Checks ein technischer Fehler auf, wird der Check abgebrochen und die Lösung entsprechend markiert.		Bei der Durchführung des statischen Checks wird zunächst der abstrakte Syntaxgraph der abgegebenen Lösung erzeugt und anschließend alle Regeln angewendet. Alle erzeugten Fehlernachrichten werden als Ausgabe des statischen Tests gesammelt. Die vergebene Punktzahl ergibt sich aus den Punkten der einzelnen Regeln, wobei die Gesamtsumme der Punkte in der Regeldatei stets auf 100 normiert wird. Tritt während des Checks ein technischer Fehler auf, wird der Check abgebrochen und die Lösung entsprechend markiert.

			===Tools===
			[[Media:GReQL-Referencecard.pdf\|GReQL-Referencecard]]

	[[category:Benutzerhandbuch]]		[[category:Benutzerhandbuch]]

Mschypula am 12. Mai 2022 um 10:22 Uhr

2022-05-12T10:22:50Z

← Nächstältere Version		Version vom 12. Mai 2022, 12:22 Uhr
Zeile 7:		Zeile 7:
	* '''Feedback (im Fehlerfall):''' Das Feedback wird dem Lernenden angezeigt, wenn dieser Test fehlschlägt.		* '''Feedback (im Fehlerfall):''' Das Feedback wird dem Lernenden angezeigt, wenn dieser Test fehlschlägt.
	[[Datei:R_statischerTest.JPG\|center]]		[[Datei:R_statischerTest.JPG\|center]]

			'''Aufbau'''
			Die verschiedenen Konstrukte der Sprache R werden durch eine GReQL-Grammatik definiert. Diese unterscheidet sich in Knoten und Kanten. Die R-GReQL-Grammatik ist typisiert und hierarchisch aufgebaut. Beispielsweise is "AssignmentOperator" die Oberklasse von Left- bzw. RightAssignmentOperator, welche wiederum von den spezifischen Zuweisungsoperatoren die Oberklassen sind. Dadurch lassen sich allgemeinere Abfragen erstellen, in denen nach dem Vorkommen eines (beliebigen) Zuweisungsoperators statt nach mehreren spezifischen gefragt wird.

			'''Auswertung eines Regelsatzes'''
			Bei der Durchführung des statischen Checks wird zunächst der abstrakte Syntaxgraph der abgegebenen Lösung erzeugt und anschließend alle Regeln angewendet. Alle erzeugten Fehlernachrichten werden als Ausgabe des statischen Tests gesammelt. Die vergebene Punktzahl ergibt sich aus den Punkten der einzelnen Regeln, wobei die Gesamtsumme der Punkte in der Regeldatei stets auf 100 normiert wird. Tritt während des Checks ein technischer Fehler auf, wird der Check abgebrochen und die Lösung entsprechend markiert.

	[[category:Benutzerhandbuch]]		[[category:Benutzerhandbuch]]

Mschypula am 12. Mai 2022 um 10:05 Uhr

2022-05-12T10:05:55Z

← Nächstältere Version		Version vom 12. Mai 2022, 12:05 Uhr
Zeile 1:		Zeile 1:
	Der statische Checker prüft den eingegebenen Programmcode auf statische Eigenschaften. Die Checks werden für diesen Checker regelbasiert in einer textuellen Notation konfiguriert. Durch das Klicken auf den Button ''Statischer Testfall'' wird ein statischer Test erzeugt und ein Fenster öffnet sich. Dort lassen sich die folgenden Einstellungen vornehmen:		Der statische Checker prüft den eingegebenen Programmcode auf statische Eigenschaften und verwendet dazu Abfragen auf dem Syntaxgraphen. Die Checks werden für diesen Checker regelbasiert in einer textuellen Notation konfiguriert. Für die Abfragen auf dem Syntaxbaum wird die Sprache GReQL verwendet. Durch das Klicken auf den Button ''Statischer Testfall'' wird ein statischer Test erzeugt und ein Fenster öffnet sich. Dort lassen sich die folgenden Einstellungen vornehmen:
	* '''Name:''' Name des Testfalls.		* '''Name:''' Name des Testfalls.
	* '''GReQL Regel:''' Hier können die aus Jack2 bekannten GReQL-Regeln angegeben werden. XML-Sonderzeichen dürfen nicht mehr wie in Jack2 excaped werden.		* '''GReQL Regel:''' Hier können die aus Jack2 bekannten GReQL-Regeln angegeben werden. XML-Sonderzeichen dürfen nicht mehr wie in Jack2 excaped werden.