Determining Equivalence of Expressions: An Automated Evaluator's Perspective

As the intake of students is increasing in the institutions, fast and consistent evaluation of students' performance is becoming difficult without automated means of assessment. Programming assignments submitted by the students can be automatically assessed using an automated evaluator, which c...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:2015 IEEE Seventh International Conference on Technology for Education (T4E) s. 35 - 36
Hlavní autori: Sharma, K. K., Banerjee, Kunal, Mandal, Chittaranjan
Médium: Konferenčný príspevok..
Jazyk:English
Vydavateľské údaje: IEEE 01.12.2015
Predmet:
automated program evaluation
Benchmark testing
Computer-assisted learning
Conferences
Design automation
equivalence checking
floating point numbers
Mathematics
Programming profession
trigonometric functions
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí:As the intake of students is increasing in the institutions, fast and consistent evaluation of students' performance is becoming difficult without automated means of assessment. Programming assignments submitted by the students can be automatically assessed using an automated evaluator, which compares a program written by a student with a model program supplied by the instructor in order to evaluate the student's performance. In course of checking equivalence between the two programs, the evaluator sometimes has to determine whether some expression used in the student program assumes the same value as that of the model program or not. Thus, determining equivalence between pairs of expressions is at the core of designing automated evaluators. This paper proposes a novel technique to determine equivalence between expressions involving floating point and transcendental numbers, which have not been addressed in earlier literature to the best of the authors' knowledge.
DOI:10.1109/T4E.2015.13