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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:2009 2nd IEEE International Conference on Computer Science and Information Technology S. 41 - 45
Hauptverfasser: Quan, T.T., Nguyen, P.H., Bui, T.H., Huynh, L.V., Do, A.T.
Format: Tagungsbericht
Sprache:Englisch
Veröffentlicht: IEEE 01.08.2009
Schlagworte:
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
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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