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.
| Original language | English |
|---|---|
| Title of host publication | Computer Aided Systems Theory - EUROCAST 2007 - 11th International Conference on Computer Aided Systems Theory, Revised Selected Papers |
| Publisher | IUCTC Las Palmas de Gran Canaria |
| Pages | 376-383 |
| Number of pages | 8 |
| ISBN (Print) | 9783540758662 |
| DOIs | |
| Publication status | Published - 2007 |
| Event | International Conference Computer Aided Systems Theory EUROCAST 2007 - Las Palmas, Spain Duration: 12 Feb 2007 → 17 Feb 2007 http://www.ulpgc.es |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 4739 LNCS |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Conference
| Conference | International Conference Computer Aided Systems Theory EUROCAST 2007 |
|---|---|
| Country/Territory | Spain |
| City | Las Palmas |
| Period | 12.02.2007 → 17.02.2007 |
| Internet address |
Keywords
- software tools
- static program analysis