Abstract
To foster the process of learning to program, theory and exercises are necessary. Traditionally, manual review of the source is used to provide feed-back for the solutions. The effort is substantial and identified problems are prone to subjective interpretation. We study static analysis and testing tools as an enhancement to reviews and discuss the benefits. We analyze our findings by comparing the results from analysis by cross-checking the outcomes of the different tools with each other, with the tutors’ remarks, and with the course outcome additionally taking into account final examination results. The effort was substantial and it turned out, that the tools are no replacement for manual review. Tool support is an enhancement due to localization of problem areas, accurate check of programming rules, and an efficient way to detect plagiarism.
Originalsprache | Englisch |
---|---|
Titel | Computer Aided Systems Theory - EUROCAST 2007 - 11th International Conference on Computer Aided Systems Theory, Revised Selected Papers |
Herausgeber (Verlag) | IUCTC Las Palmas de Gran Canaria |
Seiten | 376-383 |
Seitenumfang | 8 |
ISBN (Print) | 9783540758662 |
DOIs | |
Publikationsstatus | Veröffentlicht - 2007 |
Veranstaltung | International Conference Computer Aided Systems Theory EUROCAST 2007 - Las Palmas, Spanien Dauer: 12 Feb. 2007 → 17 Feb. 2007 http://www.ulpgc.es |
Publikationsreihe
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Band | 4739 LNCS |
ISSN (Print) | 0302-9743 |
ISSN (elektronisch) | 1611-3349 |
Konferenz
Konferenz | International Conference Computer Aided Systems Theory EUROCAST 2007 |
---|---|
Land/Gebiet | Spanien |
Ort | Las Palmas |
Zeitraum | 12.02.2007 → 17.02.2007 |
Internetadresse |
Schlagwörter
- software tools
- static program analysis