CodeCheck

Allgemeines

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

Verwendung

• Das Plugin kann nur in Mehrfachberechnungsfragen korrekt verwendet werden
• Definition des Plugins: Im Edit-Modus einer Frage im Plugin-Dialog "SourceCode" hinzufügen

• Konfiguration des Plugins mit dem Werkzeug-Button

• Einfügen einer neuen Antwort mit Strg-Q

• Durch einen Klick auf den MODE: Auswahl des Mode Plugin

Konfiguration

Konfigurationsdialog

Server Konfiguration für Security-Prüfung

Um die Security-Prüfung am Server korrekt durchführen zu können muss am Server nach einer Standard-Installation folgende Änderung vorgenommen werden!

Glassfish Server 4.1

In der Glassfish-Admin Konsole (Port 4848) im Punkt Configurations-server-config-JVM Settings-JVM Options

• Suche nach -Djava.security.policy=${com.sun.aas.instanceRoot}/config/server.policy

• An die oben angegebene Datei (z.B.: /opt/glassfish4/glassfish/domains/domain1/config/server.policy ) hinten anfügen:

grant {
  permission java.util.PropertyPermission "java.security.policy", "write"; 
  permission java.lang.RuntimePermission "createSecurityManager";
  permission java.lang.RuntimePermission "setSecurityManager";
  permission java.security.SecurityPermission "getPolicy";
  permission java.security.SecurityPermission "setPolicy";
  permission java.lang.RuntimePermission "accessDeclaredMembers";
  permission java.lang.RuntimePermission "setIO";
  permission java.lang.reflect.ReflectPermission "suppressAccessChecks";
};

• Suche in der Datei nach:

  permission java.io.FilePermission       "<<ALL FILES>>", "read,write";

und ändere auf:

  permission java.io.FilePermission "<<ALL FILES>>","read";

Tomcat v8.5 und Eclipse

• Suche im Installationspfad vom Tomcat nach der Datei catalina.policy und füge hinten an:

grant {
  permission java.util.PropertyPermission "java.security.policy", "write";
  permission java.lang.RuntimePermission "createSecurityManager";
  permission java.lang.RuntimePermission "setSecurityManager";
  permission java.security.SecurityPermission "getPolicy";
  permission java.lang.RuntimePermission "accessDeclaredMembers";
  permission java.io.FilePermission "C:\workspace-oxygen-letto\.metadata\.plugins\org.eclipse.wst.server.core\tmp0\webapps", "read";
  permission java.lang.RuntimePermission "setIO";
  permission java.lang.reflect.ReflectPermission "suppressAccessChecks";
};

• In der Eclipse: Run-Run Configurations -> Apache Tomcat - Tomcat v8.5 Server -> Arguments - VM-Arguments: füge hinzu:

-Djava.security.policy="C:\workspace-oxygen-letto\Servers\Tomcat v8.5 Server at localhost-config\catalina.policy"

andere JavaEE-Server

Haben wir noch nicht getestet.