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.
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 |