ASys is a semi-automated assessment system for Java exercises and exams.

Advantages

As other assessment systems, ASys also performs output comparison. It automatically compares the output of the exam with the expected solution. It also uses test generation to compare the output with many different inputs. But, as a new feature, it also validates arbitrary properties of the code. Whenever human intervention is needed, the system prompts the teacher with the available information showing the problem found, and both the student’s exam and the solution.

The main components of ASys are:

• An assessment Java library with abstraction methods for the verification of properties in Java code.
• A DSL built on top of the library for the specification of exams and their corresponding assessment templates.
• A semi-automatic assessment tool for Java exams and exercises based on output comparison via tests generation and verification of properties.