Motivation Systemkomponenten Evaluation Flexibles E-Assessment auf Basis einer Service-orientierten Architektur Konzepte, Implementierung und Praxiserfahrungen Mario Amelung Katrin Krieger Dietmar Rösner Otto-von-Guericke-Universität Magdeburg Wissensbasierte Systeme und Dokumentverarbeitung DeLFI 2009 Mario Amelung, Katrin Krieger, Dietmar Rösner Flexibles E-Assessment Motivation Systemkomponenten Evaluation Motivation I Schaffung zusätzlicher Übungsmöglichkeiten I Schaffung zeit- und ortsunabhängiger Lernmöglichkeiten I Förderung von Motivation und Interesse I Verbesserung der Lernerfolgskontrolle I Reduzierung des Aufwands seitens der Lehrenden I Intensivierung und effizientere Gestaltung des Übungsbetriebs Mario Amelung, Katrin Krieger, Dietmar Rösner Flexibles E-Assessment Motivation Systemkomponenten Evaluation Motivation I Schaffung zusätzlicher Übungsmöglichkeiten I Schaffung zeit- und ortsunabhängiger Lernmöglichkeiten I Förderung von Motivation und Interesse I Verbesserung der Lernerfolgskontrolle I Reduzierung des Aufwands seitens der Lehrenden I Intensivierung und effizientere Gestaltung des Übungsbetriebs Mario Amelung, Katrin Krieger, Dietmar Rösner Flexibles E-Assessment Motivation Systemkomponenten Evaluation Stand der Technik Vielzahl von Systemen, die I sich auf bestimmte Programmiersprachen und/oder Aufgabentypen beschränken I z. B. Scheme-robo, AutoGrader, Trakla2 Einige Systeme, die I prinzipiell für beliebige Programmiersprachen nutzbar sind, da die Überprüfung durch Module implementiert wird I z. B. CourseMarker, BOSS, AT(x)-Framework Mario Amelung, Katrin Krieger, Dietmar Rösner Flexibles E-Assessment Motivation Systemkomponenten Evaluation Anforderungen I I flexible Integration der Test- und Bewertungsfunktionalität in bestehende Lernumgebungen einfache Erweiterbarkeit I I I I automatische Auswertung von Programmierlösungen I I I zusätzliche Aufgabenformen Programmiersprachen Testmethoden verschiedenen Programmiersprachen unterschiedlichen Testmethoden automatische Auswertung von Aufgaben in anderen formalen Systemen Mario Amelung, Katrin Krieger, Dietmar Rösner Flexibles E-Assessment Motivation Systemkomponenten Evaluation Überblick <<component>> Frontend ISpooler <<component>> IBackend Spooler Mario Amelung, Katrin Krieger, Dietmar Rösner Flexibles E-Assessment <<component>> Backend Motivation Systemkomponenten Evaluation Realisierung <<component>> ISpooler IBackend <<component>> Frontend <<component>> Spooler Backend ECAutoAssessm entBox ECSpooler HaskellQC JUnit (from Plone::Products) (from lib) (from backends::haskellqc) (from backends::junit) ... ... ... ... ... Mario Amelung, Katrin Krieger, Dietmar Rösner Flexibles E-Assessment Motivation Systemkomponenten Evaluation Frontend ECAutoAssessmentBox Mario Amelung, Katrin Krieger, Dietmar Rösner Flexibles E-Assessment Motivation Systemkomponenten Evaluation Frontend ECAutoAssessmentBox Mario Amelung, Katrin Krieger, Dietmar Rösner Flexibles E-Assessment Motivation Systemkomponenten Evaluation Backend-Erstellung I »Was soll getestet werden?« I »Wie soll getestet werden?« I Eingabe und Ausgabe I Compiler und Interpreter I Sicherheitaspekte Mario Amelung, Katrin Krieger, Dietmar Rösner Flexibles E-Assessment Motivation Systemkomponenten Evaluation Einsatz an der OvGU Magdeburg I Backends u. a. für Haskell, Scheme, CommonLisp, Erlang, Prolog, Python und Java I Wintersemester 2008/09 I I I Sommersemester 2009 I I I »Algorithmen und Datenstrukturen« (300 Studierende) »Funktionale Programmierung« (30 Studierende) »Algorithmen und Datenstrukturen« (300 Studierende) »Programmierparadigmen« (60 Studierende) Allein in AuD 170 Aufgaben mit mehr als 24.000 automatisch überprüften studentischen Einreichungen. Mario Amelung, Katrin Krieger, Dietmar Rösner Flexibles E-Assessment Motivation Systemkomponenten Evaluation Weitere Anwender I Universität Rostock I I I I Einsatz der Backends für Haskell und Java Winter 2007: »Abstrakte Datentypen« (200 Studierende) Sommer 2007: »Algorithmen und Datenstrukturen« (140 Studierende) LMU München I I Entwicklung eines eigenes Backends für SML Sommer 2008: »Programmieren und Modellieren« (200 Studierende) Mario Amelung, Katrin Krieger, Dietmar Rösner Flexibles E-Assessment Motivation Systemkomponenten Evaluation Zusammenfassung und Ausblick I Flexibilität durch Service-orientierten Ansatz I I Anbindung an beliebige Frontends Entwicklung eigener Backends I Praktische Anwendung in der Informatiklehre I Backends für nichttextuelle Einreichungen, z. B. UML I Evaluierung anderer Frontends Mario Amelung, Katrin Krieger, Dietmar Rösner Flexibles E-Assessment Motivation Systemkomponenten Evaluation Zusammenfassung und Ausblick I Flexibilität durch Service-orientierten Ansatz I I Anbindung an beliebige Frontends Entwicklung eigener Backends I Praktische Anwendung in der Informatiklehre I Backends für nichttextuelle Einreichungen, z. B. UML I Evaluierung anderer Frontends Mario Amelung, Katrin Krieger, Dietmar Rösner Flexibles E-Assessment Weitere Information I Web-Seite: http://wdok.cs.uni-magdeburg.de/eduComponents/ I Software: http://wdok.cs.uni-magdeburg.de/software/ I Demo-Server: http://wdok.cs.uni-magdeburg.de/demo/ Mario Amelung, Katrin Krieger, Dietmar Rösner Flexibles E-Assessment