Testing, Debugging and Verification

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 Debugging Examples Code from the lecture DDMin implementation Debugging_Examples.zip 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