CodeCheck: Unterschied zwischen den Versionen
Admin (Diskussion | Beiträge) |
(→andere JavaEE-Server) |
||
(6 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt) | |||
Zeile 1: | Zeile 1: | ||
= Allgemeines = | = Allgemeines = | ||
− | Das [[Plugins|Plugin]] CodeCheck | + | 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 | ||
+ | * Definition des Plugins: Im Edit-Modus einer Frage im Plugin-Dialog "SourceCode" hinzufügen | ||
+ | :[[Datei:ClipCapIt-181029-115529.PNG]] | ||
− | * [[SourceCode Konfiguration|Konfigurationsdialog]] | + | * [[SourceCode_Konfiguration|Konfiguration]] des Plugins mit dem Werkzeug-Button |
+ | :[[Datei:ClipCapIt-181029-115614.PNG]] | ||
+ | |||
+ | * Einfügen einer neuen Antwort mit Strg-Q | ||
+ | |||
+ | * Durch einen Klick auf den MODE: Auswahl des Mode '''Plugin''' | ||
+ | :[[Datei:ClipCapIt-181029-120038.PNG]] | ||
+ | |||
+ | |||
+ | = 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.