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.
Additional information for the first tutorial will be published soon.-
Lecture:
2 SWS - held weekly:
Mo, 8:15am - 9:45am, Room 13-305
First lecture on Monday, Oct. 24th. -
Tutorial:
1 SWS - held every two weeks, please check the announcement (actual dates are here):
Mi, 15:30pm - 17:00pm, Room 46-260
Tutorial
Sebastian Müller
Office hours: on appointment