SourceCode Konfiguration: Unterschied zwischen den Versionen

Aus Letto-Wiki
Zur Navigation springen Zur Suche springen
Zeile 54: Zeile 54:


= dynamische Ausgabe =
= dynamische Ausgabe =
:[[Datei:ClipCapIt-181031-140706.PNG]]


= dynamische Methoden =  
= dynamische Methoden =  


= Server Konfiguration für Security-Prüfung =
= Server Konfiguration für Security-Prüfung =

Version vom 31. Oktober 2018, 14:07 Uhr

Allgemeines

Das CodeCheck-Plugin wird verwendet um Programme von Schülern in verschiedenen Programmiersprachen (aktuell nur Java) automatische korrigieren zu können.

Der Konfigurationsdialog besteht aus den Bereichen:

  • statisch : Statische Codeprüfung für die das Programm nicht gestartet werden muss
  • dynamische Ausgabe: Hierbei wird die Programmausgabe des Schülerprogrammes mit einem Beispielprogramm verglichen
  • dynamische Methoden: Hierbei wird das Ergebnis von klar definierten Methoden zwischen Schüler und Mustercode verglichen
  • Mustercode : Der Code welcher eine richtige Lösung für die dynamische Bewertung enthält

statisch

Grundkonfiguration

  • Auswahl der verwendeten Programmiersprache (aktuell ist nur Java realisiert)

Imports

  • imports überprüfen: Ist dies angehakt sind nur die in der Liste angegebenen imports zulässig. Sind andere imports im Schülercode vorhanden, so wird die dynamische Codeprüfung verweigert, und der Schüler erhält dafür auch keine Punkte.
  • Import hinzufügen: hier kann ein Import definiert werden, der zur Liste hinzugefügt werden kann
  • Liste der Imports: Hier werden alle erlaubten imports eingetragen. Die Einträge können nur gelöscht und hinzugefügt, nicht geändert werden.

Schlüsselwörter

Hier können über einen Java-Regular-Expression Ausdrücke definiert werden, die im Schülercode vorkommen sollen oder nicht vorkommen dürfen.

Ein Eintrag in der Liste wird zuerst definiert, und dann mit "Hinzufügen" zur Liste hinzugefügt. Beim Hinzufügen wird der Regexp auch auf Gültigkeit geprüft, und nur dann hinzugefügt wenn er korrekt angegeben wurde.

  • Ausdruck : Regulärer Ausdruck nach dem gesucht wird
  • Art: Gibt an ob der Ausdruck vorkommen muss(relevant) oder nicht vorkommen darf(verboten)
  • Von:
  • Bis:
  • Punkte:
  • Abzug:
  • Teilpunkte:

Style-Check

Hier kann eine Prüfung des Code-Aufbaues definiert werden.

  • Abzug bei Syntaxfehler:
  • Dokumentation:
    • Punkte:
    • Teilpunkte:
    • max-Fehler:
    • Abzug
    • Main-Methode prüfen:
  • Name-Conventions:
    • Punkte:
    • Teilpunkte:
    • max-Fehler:
    • Abzug
    • Methodennamen:
    • Klassennamen:
    • Instanzvariablen:
    • Konstanten:
    • Packagename:

dynamische Ausgabe

dynamische Methoden

Server Konfiguration für Security-Prüfung