Ali Kassem
Ylies Falcone
Pascal Lafourcade
Monitoring Electronic Exams (2015)
Monitoring Electronic Exams (2015)
TR-2015-4.pdf
Keywords: Exams QEA Monitoring MARQ
Abstract: Universities and other educational organizations are adopting computer-based assessment tools (herein called e-exams) to reach larger and ubiquitous audiences. While this makes examination tests more accessible, it exposes them to unprecedented threats not only from candidates but also from authorities, which organize exams and deliver marks. Thus, e-exams must be checked to detect potential irregularities. In this paper, we propose nine monitors, expressed as Quantified Event Automata (QEA), to monitor the main properties of e-exams. Moreover, for each monitor we propose an alternative one which additionally collects some relevant data and report them in case of failure. Then, we implement the monitors using MARQ, a recent Java tool designed to support QEAs. Finally, we validate our monitors by verifying real e-exams conducted by Universite Joseph Fourier at pharmacy faculty, as a part of Epreuves Classantes Nationales informatisees, a pioneering project which aims to realize all french medicine exams electronically by 2016. Our monitors found two discrepancies between the specification and the actual software implementation.
