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ženo v:
Podrobná bibliografie
Vydáno v:2015 IEEE Seventh International Conference on Technology for Education (T4E) s. 35 - 36
Hlavní autoři: Sharma, K. K., Banerjee, Kunal, Mandal, Chittaranjan
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: IEEE 01.12.2015
Témata:
automated program evaluation
Benchmark testing
Computer-assisted learning
Conferences
Design automation
equivalence checking
floating point numbers
Mathematics
Programming profession
trigonometric functions
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
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