Implementing exercise result verification for the Virtual Unix Lab
Hubert Feyrer · University of Regensburg Publication Server (University of Regensburg) · 2007
This paper discusses implementation of exercise result verification in the Virtual Unix Lab. In the first step, instructions and checks to verify the results are not coupled, which is changed in the second step. For each step, an overview of the underlying system design is given, followed by implementation details of the system as it was realized. For reference, exercise texts, details of the processor of the resulting domain specific language, check scripts, as well as details of the underlying database structure used in the Virtual Unix Lab are included.