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žené v:
Podrobná bibliografia
Vydané v:2009 2nd IEEE International Conference on Computer Science and Information Technology s. 41 - 45
Hlavní autori: Quan, T.T., Nguyen, P.H., Bui, T.H., Huynh, L.V., Do, A.T.
Médium: Konferenčný príspevok..
Jazyk:English
Vydavateľské údaje: IEEE 01.08.2009
Predmet:
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 prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
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