autotool Distance Learning Demonstration

Unique Features

• immediate semantic feedback (detailed answer explaining why a submission does not solve the problem)
• optional: automatic creation of problem instances according to given parameters (each student gets a different instance)
• for problems with uniform instances: highscore ranking

How to use

• solve problems: http://fsrb6.imn.htwk-leipzig.de:3001/vorlesung/1283/aufgaben/aktuell
• view highscore: http://fsrb6.imn.htwk-leipzig.de/high/score.html (re-computed every 5 minutes)

History

• developed since 2000, used at HTWK Leipzig, Uni Leipzig, Uni Halle, WH Zwickau, Uni Bonn
• papers on background and usage: Automatisierte Bewertung und Erzeugung von Übungsaufgaben zu Prinzipien von Programmiersprachen, KPS 15, Interaktive Übungen zu Prinzipien von Programmiersprachen, WEL 15, Automated Exercised for Constraint Proramming, WFLP 14, Semantische Bewertung und personalisierte Erzeugung von Übungsaufgaben zu Mathematik, Logik, Informatik, 2014 autotool und autotool-Netzwerk, 2011, The Leipzig autotool E-Learning/E-Testing System, 2008

Software Design and Implementation

• consists of semantics server (stateless) and front-end
• front-ends available:
  • “old-fashioned” stand-alone web application
  • component for open-Olat
  • “modern” stand-alone web application (currently in beta testing)

source code:

• common library
• semantics server and old front-end
• new front-end

implementation language: Haskell, new front-end using the Yesod web framework.