Software Testing 7.5p

Spring 2012

Daniel Sundmark, Paul Pettersson, and Björn Lisper

MRTC, IDT, Mälardalen University, Sweden.

Registered Participants:

Yue Lu

Eduard Eniou

Abhilash Thekkilakattil

Raluca Marinescu

Kristian Wiklund

Adnan Causevic
Kivanc Doganay

Mathias Ekman

(Göran Bertheau)

Course description

Software testing is widely considered a heavyweight but still under-prioritized activity in software development. The goal of this course is to provide participants with an understanding of the fundamental problems, as well as practical methods and tools for a systematic approach to software testing.

The course will be given as a set of lectures and lab sessions.

Lecturers and Assistants

Daniel Sundmark
Paul Pettersson
Björn Lisper

Lectures

The course will be given as a set of lectures and labs. The preliminary schedule is as follows

Lecture 1: Introduction (slides, lab) and Functional Testing (slides, lab) (Daniel)
Lecture 2: Structural Testing (lab, slides) (Daniel)
Lecture 3: (Feb 16th, 09:15-12:00, U2-040) Model-based Verification and Testing (Paul)
Lecture 4: (Feb 16th, 13:15-15:00, U2-040 Robustness Testing and Testing Research (Daniel)
Lecture 5: (Feb 24th, 9:15-12.15 U1-124 (Smalltalk),13.15-16:15 U2-040): Static and Dynamic Analysis (Björn)

Examination

For 4,5 credits: Fulfillment of all assignments given in lectures 1 and 2.
For 3 additional credits: Completion of a self-selected project according to the list below.

Examination Status

OK: Passed

DISC: Needs some discussion. Come by my office.

	Homework 1	Homework 2	Project
Yue Lu	OK	OK
Eduard Eniou	OK	OK
Abhilash Thekkilakattil	OK	OK
Raluca Marinescu	OK	OK
Kristian Wiklund	OK	OK
Adnan Causevic	OK	OK	OK
Kivanc Doganay	OK	OK
Mathias Ekman	OK	OK
Göran Bertheau

Project Proposals

System Modeling in UppAal (Paul)
Tool evaluation (Daniel)
Own proposal (Paul, Björn or Daniel).
More proposals to be added.

Note that Daniel leaves for parental leave on 1st of April and is not back until September 1st. Hence, any project with him as examiner might not be possible to finalize before fall.

Prerequisites

Participants are expected to be PhD students within computer science.

This is http://www.idt.mdh.se/phd/courses/softwaretesting.htm. Maintained by Daniel.Sundmark(at)mdh.se.