Software Testing (2IW66)

Lectures:

Lecturer: Dr. Mohammad Mousavi, HG 6.79, tel 2993, m.r.mousavi@tue.nl
Time and Location: Wednesdays 10:45-12:30, AUD 4 (only on 29-02-2012 at PT 01.05) and every other week (alternating with instructions) on Fridays 10:45-12:30, AUD 5

Instruction:

On Thursdays 15:45-17:30 at AUD 09 (only on 05-04-2012 10:45-12:30 at AUD 5) and every other week (alternating with lectures) on Fridays 10:45-12:30, AUD 10.

Instructors:

Dr. Cees Hemerik, c.hemerik@tue.nl
Dr. Kees Huizing, c.huizing@tue.nl
Dr. Wieger Wesselink, j.w.wesselink@tue.nl

Practical Project:

The project is supposed to be performed in groups of two; please e-mail your group composition (before 12-02-2012) to the lecturer of the course: groups formed so far. (Last update: 15-02-2012)
The project deliverable should be handed in using the Peach system.
Project description (Last update: 15-02-2012)
Project source files (Last update: 07-02-2012)

Evaluation:

Examinations: Final exam (13-04-2012, 09:00-12:00), resit (04-07-2012, 09:00-12:00). No reading material is allowed into the examination.
The final mark is determined by the average of the final exam with the project mark. In order to pass the course the marks for both components (project and examination) should be 5 or higher. The project mark does not count for the resit examination and the future editions of the course.

Material:

Mandatory:

Chapters 5 to 10 of Paul C. Jorgensen, Software Testing: A Craftsman Approach, 3rd Ed., CRC Press, 2008.
Handouts, see below.

Recommended:

Kent Beck, Erich Gamma, JUnit Test Infected.
Bertrand Meyer, Applying Design by Contract.
T.J. McCabe, C.W. Butler, Design Complexity Measurement and Testing. (Link works within the TU/e campus network.)
M. Wiser, Program Slicing.
S. Sandberg. Homing and Synchronizing Sequences. (Link works within the TU/e campus network; note that synchronizing sequence is not part of the course material.)
M. Krichen. State Identification (Link works within the TU/e campus network; note that only adaptive distinguishing sequence is treated and will be examined.)

Agenda:

date	topics	slides	exercises (from the project description)
lecture 1 February 8, 2012	Introduction	Software Testing: Introduction	No instructions on 09-02-2012.
lecture 2 February 10, 2012	Functional Testing	Boundary value testing Equivalence class based testing Decision table based testing	16-02-2012: Exercises 1-4 17-02-2012: Exercises 5-13
lecture 3 February 15, 2012	Test Automation Path Testing	Test automation Design by contract Path testing	01-03-2012: Exercises 14-18, 19-22
lecture 4 March 2, 2012	Testability, Dataflow testing	Cyclomatic Number DU-Path Testing Slicing
lecture 5 March 7, 2012	Model-Based Testing - Part I	Structural Testing: Exercises with Solutions Model-Based Testing: Introduction FSM-Based Testing: Part I	08-03-2012: Exercises 23-25 09-03-2012: Exercises 26-31
lecture 6 March 14, 2012	Model-Based Testing - Part II	FSM-Based Testing: Part II FSM-Based Testing: Exercises with Solutions	15-03-2012: Exercises 32-44
lecture 7 March 16, 2012	(Automated) Debugging	Delta Debugging
lecture 8 March 21, 2012	Guest Lecture: Testing in Practice	Testing in Practice (Bart Knaack: Senior Test Advisor, Logica)	22-03-2012: Exercises 44-53 23-03-2012: Exercises 54-61
lecture 9 March 28, 2012	Guest Lecture: Model Based Testing		29-03-2012: Exercises 62-67
lecture 11 April 3, 2012 AUD 11, 15:00-16:30	Questions Regarding Examination	Model Examination with Solutions	05-04-2012: Exercises 68 (69) any other remaining exercises

Past Examinations:

Final Examination (2IW65), 28-06-2011. (Note that Questions 4 and 5.3 are not treated in the current edition of the course and thus, will not be examined.)
Resit Examination (2IW65), 28-01-2010. (Note that Question 3 is not treated in the current edition of the course and thus, will not be examined.)
Final Examination (2IW30), 12-06-2008. Solutions. (Note that Questions 1.1, 4 and 5.3 are not treated in the current edition of the course and thus, will not be examined.)

Back to Courses