Testing, Debugging, and
Verification |
TDA567/DIT082, LP2, HT2015 |
Lecture Notes: Debugging.
|
Topics
The topics of the lecture are
- Input Minimisation
- Systematic Debugging
- Logging, Debuggers
- Tracking Cause and Effect: Program Dependencies
Handouts
Examples
Reading hints
- [Zeller] Read 5.1 - 5.5 (rest of chaper 5 i optional), 7.1 -
7.3. Optional extra reading for those interested: Chapter 3
(designing for debugging), Chapter 8 (Logging), Chapter 9 (Tracking origins).
|
|
Home
| Course
| Schedule
| Exam
| Exercises
| Labs
| Evaluation
| Tools
|
Atze van der Ploeg,
Oct 18, 2016
|