| Detailed information |
| Original study plan |
Master's programme Computer Science 2021S |
| Objectives |
Students are familiar with systematic methods of debugging. Based on a solid theory on failures in computer programs, they understand how to find "bugs" in computer programs, how to reproduce them, and how to fix them. They are able to use state-of-the-art debugging tools for modern programming languages and apply this knowledge for (automated) debugging of large scale computer programs.
|
| Subject |
- Failure and Defects
- Testing for Debugging
- Analytic Debugging
- Symbolic Debugging
- Delta Debugging
- Fuzzing
- Memory Leaks
- Profiling and Program Observation
|
| Criteria for evaluation |
Written exam and practical exercises in groups of up to three students. The solution of the exercises have to be orally presented.
|
| Methods |
Slide presentations, examples on blackboard, tool demonstrations, hands-on exercises.
|
| Language |
English |
| Study material |
|
| Changing subject? |
No |
| Further information |
The lecture is given in a blocked manner. Recordings of lecture videos are provided.
For further information see http://fmv.jku.at/dbg/
|
| Corresponding lecture |
(*)INMAWVODEBG: VO Debugging (3 ECTS)
|
