Automated Debugging
Lecture 2002/2003

News

• Master's Thesis/Diplomarbeit with IBM/USA: Integrate automated debugging tools into Eclipse

Lab and Lecture Topics and Dates

Lecture dates: Tuesday 11-13, Building 45, HS 1
Lecture start: Tuesday, 2002-10-22.

All future dates and topics are subject to change.

Date Topic Material Tue 2002-10-22 Introduction Slides · Handout Tue 2002-10-22 What's it all about? Slides · Handout Fri 2002-10-25 Reproducing Problems Slides · Handout Tue 2002-10-29 Lab Fri 2002-11-01 no course Tue 2002-11-05 The Scientific Method Slides · Handout Fri 2002-11-08 Lab Tue 2002-11-12 Simplifying Test Cases Slides · Handout Fri 2002-11-15 no course Tue 2002-11-19 no course Fri 2002-11-22 Lab Tue 2002-11-26 Isolating Failure Circumstances I Fri 2002-11-29 Isolating Failure Circumstances II Slides · Handout Tue 2002-12-03 Lab Fri 2002-12-06 canceled Tue 2002-12-10 Understanding the Program Run Slides · Handout Fri 2002-12-13 Lab Tue 2003-12-17 canceled Fri 2002-12-20 Lab Tue 2003-01-07 Isolating Infections Slides · Handout Fri 2003-01-10 Isolating Value Origins Slides · Handout Tue 2003-01-14 Lab Fri 2003-01-17 Isolating Cause-Effect Chains I Slides · Handout Tue 2003-01-21 Isolating Cause-Effect Chains II Slides · Handout Fri 2003-01-24 Lab Tue 2003-01-28 Detecting Anomalies Slides · Handout Fri 2003-01-31 Detecting Invariants Slides · Handout Tue 2003-02-04 Lab Fri 2003-02-07 Fixing the Bug Slides · Handout Tue 2003-02-11 Wrap-Up Fri 2003-02-14 Lab: Exams Questions & Answers Tue 2003-02-18 Exams from 14:00 until 16:00 s.t.

Exercises

• First exercise: regression testing

  Additional material: simple.c
  This exercise is due Nov, 1st 2002. On Tue, Oct 29th 11:00-13:00 ct. An introductory meeting will be held in Lecture room 001.

• Second exercise: Simplifying Input
  Additional material:
  • sample.xml
  • parsexml as Linux executable
  • parsexml as Windows executable
  This exercise is due Tuesday, Nov 19th 2002.
• Third exercise: Finding a minimum
  Additional material:
  • allroots source
  • a sample input file
  • A sample java implementation of the second exercise by Khalid/Ibrahim.
  This exercise is due Friday, Nov 29th 2002.
• Fourth exercise: Isolating Errors
  Additional material:
  • Error of the Week program
  This exercise is due Tuesday, Dec 10th 2002.
• Fifth exercise: Using a debugger
  Additional material:
  • Error of the Week program (Yes, we know it crashes for empty input. This is _not_ the fault we are after.)
  • Philipps fabulous memchecker
  This exercise is due Tuesday, Dec 17th 2002.
• Sixth exercise: Assertions and slicing
  
  • shell-sort.c
  • allroots
  • triang.c
  This exercise is due Tuesday, Jan 21st 2003.
• Seventh exercise: DD and Memgraphs
  Additional material:
  • ybrtree.c
  This exercise is due Sunday, Feb 2nd 2003.
• Eighth exercise: Anomalies and Invariants
  This exercise is due Tuesday, Feb 11th 2003.

Discussion Forum

Lecture Notes

Impressum ● Datenschutzerklärung