Aktuelle Version vom 19. Mai 2019, 18:53 Uhr

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.

@@ Zeile 1: / Zeile 1: @@
 = Allgemeines =
-Das [[Plugins|Plugin]] CodeCheck wird verwendet um Programme von Schülern in verschiedenen Programmiersprachen (aktuell nur Java) automatische korrigieren zu können.
+Das [[Plugins|Plugin]] CodeCheck(SourceCode) wird verwendet um Programme von Schülern in verschiedenen Programmiersprachen (aktuell nur Java) automatische korrigieren zu können.
-== Verwendung ==
+= Verwendung =
 * Das Plugin kann nur in [[Fragetypen#Mehrfachberechnungsfrage|Mehrfachberechnungsfragen]] korrekt verwendet werden
 * Definition des Plugins: Im Edit-Modus einer Frage im Plugin-Dialog "SourceCode" hinzufügen
 :[[Datei:ClipCapIt-181029-115529.PNG]]
-* Konfiguration des Plugins mit dem Werkzeug-Button
+* [[SourceCode_Konfiguration|Konfiguration]] des Plugins mit dem Werkzeug-Button
 :[[Datei:ClipCapIt-181029-115614.PNG]]
@@ Zeile 15: / Zeile 15: @@
-== Konfiguration ==
+= Konfiguration =
-* [[SourceCode Konfiguration|Konfigurationsdialog]]
+[[SourceCode 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
+:[[Datei:ClipCapIt-181105-084000.PNG]]
+* An die oben angegebene Datei (z.B.: /opt/glassfish4/glassfish/domains/domain1/config/server.policy ) hinten anfügen:
+<pre>
+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";
+};
+</pre>
+* Suche in der Datei nach:
+<pre>
+  permission java.io.FilePermission       "<<ALL FILES>>", "read,write";
+</pre>
+und ändere auf:
+<pre>
+  permission java.io.FilePermission "<<ALL FILES>>","read";
+</pre>
+=== Tomcat v8.5 und Eclipse ===
+* Suche im Installationspfad vom Tomcat nach der Datei ''catalina.policy'' und füge hinten an:
+<pre>
+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";
+};
+</pre>
+* In der Eclipse: Run-Run Configurations -> Apache Tomcat - Tomcat v8.5 Server -> Arguments - VM-Arguments: füge hinzu:
+<pre>
+-Djava.security.policy="C:\workspace-oxygen-letto\Servers\Tomcat v8.5 Server at localhost-config\catalina.policy"
+</pre>
+=== andere JavaEE-Server ===
+Haben wir noch nicht getestet.
+[[Category:Plugins]]

CodeCheck: Unterschied zwischen den Versionen