Testing, Debugging and Verification

Testing, Debugging, and Verification	TDA566/DIT082, LP2, HT2011
Lecture Notes, November 9.
Topics The topics of the lecture are Logging Using Debuggers Tracking Cause and Effect: Program Dependencies, Slicing Reversible Debugging Handouts Debugging2.pdf Debugging2-handout.pdf Reading hints [Zeller] Chapters 7, 8, 9 Short introduction to log4j (alternatively) Overview of java.util.logging Examples Debugging2_Examples.zip

Home \| Course \| Schedule \| Exam \| Exercises \| Labs \| Evaluation \| Tools \| Links	W. Ahrendt, V. Klebanov, Nov 9, 2011