CodeCheck: Unterschied zwischen den Versionen
(→andere JavaEE-Server) |
|||
| (4 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt) | |||
| Zeile 1: | Zeile 1: | ||
= Allgemeines = | = 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 = | |
* Das Plugin kann nur in [[Fragetypen#Mehrfachberechnungsfrage|Mehrfachberechnungsfragen]] korrekt verwendet werden | * 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 | * Definition des Plugins: Im Edit-Modus einer Frage im Plugin-Dialog "SourceCode" hinzufügen | ||
:[[Datei:ClipCapIt-181029-115529.PNG]] | :[[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]] | :[[Datei:ClipCapIt-181029-115614.PNG]] | ||
| Zeile 15: | Zeile 15: | ||
| − | + | = Konfiguration = | |
| − | + | [[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]] | ||
Aktuelle Version vom 19. Mai 2019, 19:53 Uhr
Inhaltsverzeichnis
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
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.
