 |
| Detailed information |
| Original study plan |
Master's programme Computer Science 2025W |
| Learning Outcomes |
Competences |
| 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.
|
|
| Skills |
Knowledge |
Students can
- understand the challenges and complexity of debugging (K2, K3)
- employ and develop structured processes for triggering and finding problems in (large) programs (K3, K4, K5, K6)
- understand and use modern debugging tools (K3, K4, K5)
- employ symbolic encodings for debugging (K2, K3)
|
- Failure and Defects
- Testing for Debugging
- Analytic Debugging
- Symbolic Debugging
- Delta Debugging
- Fuzzing
- Memory Leaks
- Profiling and Program Observation
- Debugging with SMT-based BMC
|
|
| Criteria for evaluation |
Written exam and practical exercises.
|
| Methods |
Slide presentations, examples on blackboard, tool demonstrations, hands-on exercises.
|
| Language |
English |
| Study material |
|
| Changing subject? |
No |
| Corresponding lecture |
INMAWVODEBG: VO Debugging (3 ECTS)
|
|
