Exam questions consistency checking

Author

Skopljanac-Macina, F. ; Zakarija, I. ; Blaskovic, B.

Author_Institution

Fac. of Electr. Eng. & Comput., Univ. of Zagreb, Zagreb, Croatia

fYear

2015

fDate

25-29 May 2015

Firstpage

820

Lastpage

823

Abstract

This paper deals with the problem of checking consistency of automatically generated exam questions in e-learning systems. We focus on the exam questions with the numeric solutions and the automatic evaluation of their answers. Each answer is evaluated as correct if it is within a specified range from the actual correct value. In our paper we check the consistency of exam questions evaluated with this simple method, i.e. are the answers calculated using wrong methods and based on false assumptions always evaluated as incorrect. We made a mutant testing algorithm for identifying inconsistent questions using model checking. At the end we present use cases based on the evaluation of students´ answers on our courses Fundamentals of Electrical Engineering and Formal Methods in System Design.

Keywords

computer aided instruction; formal verification; automatically generated exam questions; e-learning systems; exam questions consistency checking; formal methods in system design; fundamentals of electrical engineering; model checking; mutant testing algorithm; numeric solutions; use cases; Computer aided instruction; Electrical engineering; Electronic learning; Model checking; Resistors;

fLanguage

English

Publisher

ieee

Conference_Titel

Information and Communication Technology, Electronics and Microelectronics (MIPRO), 2015 38th International Convention on

Conference_Location

Opatija

Type

conf

DOI

10.1109/MIPRO.2015.7160384

Filename

7160384