A framework for automatic verification of programing exercises

Programming skill is crucial for all Computer Science students which can only be mastered through intensive exercise practice. Apart from traditional face-to-face manner of teaching programming, with the recent advancement of Internet and advanced program verification techniques, Web-based tutoring...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:2009 2nd IEEE International Conference on Computer Science and Information Technology s. 41 - 45
Hlavní autoři: Quan, T.T., Nguyen, P.H., Bui, T.H., Huynh, L.V., Do, A.T.
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: IEEE 01.08.2009
Témata:
Animation
automatic program verification
Automatic testing
axiomatic theorem proving
Computer science
Computer science education
Educational programs
Inspection
Internet
model checking
programming exercises
Programming profession
Solids
Visual effects
ISBN:1424445191, 9781424445196
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í:Programming skill is crucial for all Computer Science students which can only be mastered through intensive exercise practice. Apart from traditional face-to-face manner of teaching programming, with the recent advancement of Internet and advanced program verification techniques, Web-based tutoring systems that can play the role of teacher are increasingly considered. In this paper, we suggest a framework for automatic verification of program exercises without risking the execution of actual code. In our framework, we first employ theorem proving to verify programming exercises and model checking to generate counter-examples to the learners. Our framework is being implemented and employed in a real education university environment with some initial promising results.
ISBN:1424445191
9781424445196
DOI:10.1109/ICCSIT.2009.5234465