Dies ist ein Archiv des alten Softwaretechnik Lehrstuhls der Universität des Saarlandes. Es ist nicht länger aktuell.


Automated Testing and Verification
Advanced course - winter semester 2012

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 (6 CP) teaches advanced testing and verification techniques

Place and Time

We have two lectures every week. However, every second week we will use one of these slots for lab sessions:

  • Tuesday, 12:00 - 14:00, HS 003
  • Thursday, 12:00 - 14:00, HS 003

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

Important News & Announcements

  • 2013-03-13: The Grading for the re-exam has been published. The exam inspection will take place on 19th of March 12-13 Room 1.06 Building E1.1.
  • 2013-02-19: Exam inspection will take place at 12:00 in Room 1.06 Building E1.1.
  • 2013-02-13: The Grading for the final exam has been published.
  • 2013-02-05: The permission list to the final exams has been published.
  • Exam: The final exam will start at 12:00 (sharp). Please be there 15 Minutes early.
  • 2013-02-04: The date for the re-exam has been published.
  • 2012-12-10: Deadline of DataFlow Analysis Project pronlonged until 2012-12-21


Please note that exercises are not mandatory, but they will help you to understand the topics and be prepared for the final exam.

#ExerciseHandout DateDiscussion Date
1. Program verification with ESC/Java2 2012-10-232012-10-30
1. Category Partition 2012-11-272012-11-29


You must achieve 50% of the overall points of all projects to be permitted to the final exam and the re-exam.
Projects can be solved in groups of two students. Further information can be found in the description of each project.

#ProjectDescriptionHandout DateDeadline
1 Verification Project Download 2012-10-252012-11-22
2 DataFlow Analysis Project Download 2012-11-222012-12-21
3 Random Test Generator Download 2012-12-202013-1-31


For passing the course the following minimal amount of points is needed:
  • 50% of the points from the practical projects AND
  • 50% of the points from the final exam

Your final grade is then calculated by:

Final Grade = 10% (Points of Project 1) + 10% (Points of Project 2) + 10% (Points of Project 3 ) + 70% (Max (FinalExam,Re-Rexam))

Schedule (tentative)

Date Topic
2012-10-16 Introduction to the Course
2012-10-18 Programming with Contracts
2012-10-23 Verification Tools
2012-10-25 Lab Session (verification project)
2012-10-30 Modular Verification I
2012-11-1 HOLIDAY!
2012-11-06 Introduction to Software Testing
2012-11-08 Adequacy Criteria and Functional Testing
2012-11-13 Lab Session (verification project)
2012-11-15 Modular Verification II
Intraprocedural Dataflow Analysis I
2012-11-20 Intraprocedural Dataflow Analysis II
2012-11-22 Lab Session (analysis project)
2012-11-27 Combinatorial Testing (cont.)
2012-11-29 Structural and Dataflow Testing
2012-12-4 Interprocedural Dataflow Analysis
Dynamic Symbolic Execution
2012-12-6 Lab Session (analysis project)
2012-12-11 Typestate Inference and Checking
2012-12-13 Test Case Generation
2012-12-18 Search-based Testing
2012-12-20 Lab Session (testing project)
2012-12-25 HOLIDAY!
2012-12-27 HOLIDAY!
2013-1-1 HOLIDAY!
2013-1-3 HOLIDAY!
2013-1-8 Structural testing (cont.)
2013-1-10 Fault-based Testing
2013-1-15 Model-based Testing
2013-1-17 Lab Session (testing project)
2013-1-22 Integration, System and Regression Testing
2013-1-24 Web Testing
2013-1-29 Web Testing - Recap
2013-1-31 Lab Session (testing project)
2013-2-5 Recap
2013-2-7 Exam
2013-3-5 Re-Exam


Register in HISPOS