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
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:30am
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|