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
- Dataflow Anomaly Analysis
- Review and Inspection Techniques
- Formal Proof Techniques
Relevant techniques for software quality assurance are presented.
On this page you can find additional literature for the lecture.
On this page you can find additional material for the lecture (lecture slides) and for the tutorial (exercise sheets).
Prof. Dr. Peter Liggesmeyer
Office hours: on appointment
The lecture SQA consists of 2 SWS lecture and 1 SWS tutorial.Additional information for the first tutorial will be published soon.
2 SWS - held weekly:
Mo, 8:15am - 9:45am, Room 46-110
First lecture on Monday, Oct. 22th.
1 SWS - held every two weeks, please check the announcement
Mi, 15:30pm - 17:00pm, Room 46-260
Entries in the KIS-System
18.03.2019 - SQA Exam results and review
The preliminary results of the SQA exam from 12.03.2019 are available in the QIS. The exam review is on 21.03.2019, 08:30 - 09:30 hrs in room 32-439. Students who have not registered through QIS can find their results on our department notice board.
21.01.2019 - SQA Exercise
The next and last exercise class along with Q&A session will take place on February 25th, 2019 at 13:45 hrs in room 42-110.
19.11.2018 - SQA Tutorial
The next SQA tutorial will take place on 21st November 2018.
09.10.2018 - No SQA Lecture on 29th October
There is no SQA lecture on Monday, 29th October 2018.
ExamThe planned dates of the written examination are:
12.03.2019 in Room 28-111, Starting time 12:30 pm
05.04.2019 in Room 46-215, Starting time 09: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|