Testing and Debugging
Advanced course - summer semester 2010

Lehrstuhl für Softwaretechnik (Prof. Zeller)
Universität des Saarlandes – Informatik
Informatik Campus des Saarlandes
Campus E9 1 (CISPA)
66123 Saarbrücken
E-mail: zeller @ cs.uni-saarland.de
Telefon: +49 681 302-70970

Deutschsprachige Startseite Page d'acceuil en franšais English home page
  

About the Lecture

This course (9 CP) teaches advanced testing and debugging methods - from systematic testing to reveal bugs to debugging tools and methods to fix these bugs.

Certificates

The certificates (Scheine) can be fetched from our secretariat.

Exam Review

You can view your exam papers on Friday 3. September, from 14:00-14:30, in room 407 (E 1 1).

Exam Results

You can find your exam result and your overall grade in this table.
The following table and graphics give an overview over the exam and project results. Project and exam overview

Second Exam

The second exam will take place on October 11, 2010 16:00-18:00, AudiMO, Geb. E2 2.

A cheat sheet is allowed for the exam. It has to be an A4-sheet that is written by hand and only one side can be used.

Place and Time

There will be two lectures a week and there is one slot for practicals, which will mostly consist of (cool!) programming tasks:

  • Monday, 16:00 - 18:00, HS 003
  • Tuesday, 16:00 - 18:00, HS 003
  • Thursday, 16:00 - 18:00, HS 003

The lecture starts on Tuesday, April 13. Course material will be available on this very Web page.

Schedule (tentative)

Date Topic
2010-04-13 About the Course · Foundations of Testing: Functional Testing · Handouts
2010-04-15 Foundations of Testing: Structural Testing · Handouts · cgi_decode.zip
2010-04-19 Introduction to Debugging
2010-04-20 Advanced Coverage Criteria · Handouts
2010-04-22 Introduction of Project 1
2010-04-26 Tracking and Reproducing Problems
2010-04-27 Detecting Anomalies
2010-04-29 Project 1 Tutorial
2010-05-03 Mutation Testing · Handouts
2010-05-04 Search-based Testing · Handouts
2010-05-06 Introduction of Project 2 + Project 1 Tutorial
2010-05-10 The Scientific Method · Making Programs Fail
2010-05-11 Simplifying Problems
2010-05-17 Constraint-based Testing 1 · Handouts
2010-05-18 Tutorial Project 2
2010-05-25 OO Testing · Handouts
2010-05-27 Guest Lecture: How Google Tests Software (James Whittaker, Google)
2010-05-31 Guest Lecture: Model-based Testing (Alexander Pretschner, TU Kaiserslautern / Fraunhofer IESE)
2010-06-01 Deducing Errors
2010-06-07 Observing Facts · Tracking Origins
2010-06-08 Constraint-based Testing 2 · Specification-based Testing · Handouts
2010-06-10 Tutorial Project 3 1, 2.
2010-06-14 Asserting Expectations · System Assertions
2010-06-15 Guest Lecture: Testing Evolving Software (Alex Orso, Georgia Tech)
2010-06-17 Introduction of Project 4
2010-06-21 Causes and Effects · Isolating Failure Causes
2010-06-22 Isolating Cause-Effect Chains · Locating Causes
2010-06-28 Fixing the Defect · Where do Bugs Come From?
2010-06-29 Model-based Testing 2 (ioco checker)
2010-07-01 Tutorial Project 4
2010-07-05 Guest Lecture: Design by contract for software vigilance and diagnosability (Yves le Traon, University of Luxembourg)
2010-07-06 Testing Parallel Systems · Web Testing · Grammar-based Testing · etc
2010-07-08 Project 4 Q&A
2010-07-12 No lecture
2010-07-13 No lecture
2010-07-19 Exam Q&A
2010-07-20 Exam 16:15-18:15, AudiMO, Geb. E2 2

Projects

Project Start End Documentation
Code Coverage   2010-04-22     2010-05-13     Project 1, Tarantula Paper
Mutation Testing   2010-05-13     2010-05-27     Project 2
Random Testing   2010-05-27     2010-06-17     Project 3, JCrasher Paper
Search Based Testing   2010-06-17     2010-07-15     Project 4, Paper
There is a forum for questions regarding the projects and the lecture.

Lecturers

<webmaster@st.cs.uni-saarland.de> · http://www.st.cs.uni-saarland.de/edu/testingdebugging10/ · Stand: 2014-03-23 23:39