WS 2014

Goals of this Lecture

Students possess deepened knowledge of important techniques of software quality assurance. In particular they learn dynamic testing techniques, static analyses and formal proving techniques. Students can evaluate the applicability of different techniques. The are capable to choose and apply techniques in practical situations.

Contents of the Lecture

Dynamic Testing
Static Analysis Techniques
Measures
Dataflow Anomaly Analysis
Review and Inspection Techniques
Formal Proof Techniques

Relevant techniques for software quality assurance are presented.

Material

Additional literature
On this page you can find additional literature for the lecture.
Additional materials
On this page you can find additional material for the lecture (lecture slides) and for the tutorial (exercise sheets).

Organisational

Lecturer

Prof. Dr. Peter Liggesmeyer
Office hours: on appointment

Schedule

The lecture SQA consists of 2 SWS lecture and 1 SWS tutorial.

Lecture:
2 SWS - held weekly:
Mo, 8:15am - 9:45am, Room 13-305
First lecture on Monday, Nov. 3rd.
Tutorial:
1 SWS - held every two weeks (actual dates are here):
Mi, 15:30pm - 17:00pm, Room 46-260

Tutorial

Max Steiner
Office hours: on appointment

Entries in the KIS-System

Announcements

28.04.2015 - SQA Exam Results and Review
The preliminary results of the SQA exam are available in the QIS. The exam review is Mai 6th 15:00 - 16:00 in 32-426.
31.03.2015 - SQA exam review
The exam review is April 7th 14:00 - 15:30 in 32-439.
23.03.2015 - SQA Exam Results
The preliminary results of the SQA exam are available in the QIS. The date for the exam review will be announced next week.
27.01.2015 - No SQA lecture
There is no SQA lecture class on 2nd February 2015.
03.11.2014 - SQA first tutorial session
The first tutorial session to the lecture SQA is on November 12th.
15.10.2014 - SQA start of lecture
The first SQA class will take place at Nov. 3rd.

All announcements are also posted on the SEDA main page.

Exam

The dates of the written examination are:
17.03.2015 in Room 52-207, Starting time 09:00am
or
16.04.2015 in Room 42-110, Starting time 10:00am

The exam takes 90 minutes. Entrance time is 15 minutes before the beginning.

You are allowed to use:

A non-programmable calulator
A double page sheet of paper size DIN A4 with notes printed or handwritten
A language dictionary without notes

Bring a valid student identification, if it has no picture of you, bring also a valid picture ID.

	Superordinated page: Software Quality Assurance / Software Qualitätssicherung