WS 2020/21
WS 2020/21
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. - Lecture materials and Exercises
All the lecture materials, lecture videos and exercise materials will be made available on OLAT system.
Organisational
Lecturer
Prof. Dr.-Ing. Peter Liggesmeyer
Room 32-425
Contact: Please contact the secretary's office Caroline Frey
Exercise & Tutorial
Rasha Abu Qasem
Nishanth Laxman
Office hours: on appointment
OLAT System
The lectures and the exercises are organized via the OpenOLAT system. Please enroll yourself for the course here.
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:
Digitally over OLAT/Panopto
First lecture on Monday, Oct. 26th, 2020. - Tutorial:
1 SWS - held every two weeks, please check the announcement
Digitally over OLAT/Panopto
Entries in the KIS-System
Announcements
All announcements are announced via OLAT system.
Exam
As compared to the previous semesters, only one exam date is offered.
Exam date: 16.03.2021, from 09.00 to 10.30 hrs. (Room details will be announced later.)
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.
WS 2019
Contents of the Lecture
This lecture does not take place this semester. Exam will be held at the end of semester. Information about last year's lecture can be below
Organisational
Lecturer
Prof. Dr.-Ing. Peter Liggesmeyer
Room 32-425
Contact: Please contact the secretary's office Caroline Frey
Contact
Nishanth Laxman
Room: 32/429
Office hours: on appointment
Exam
The dates of the written examination are: 17.03.2020 in Room 46-110, Starting time 09:00 hrs or 09.04.2020 in Room 46-215, Starting time 09:00 hrs
The exam takes 90 minutes. Entrance time is 15 minutes before the beginning.
You are allowed to use:
- A non-programmable calculator
- 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.
Announcements
All announcements are also posted on the SEDA main page.
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.-Ing. Peter Liggesmeyer
Room 32-425
Contact: Please contact the secretary's office Caroline Frey
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 46-110
First lecture on Monday, Oct. 22th. - Tutorial:
1 SWS - held every two weeks, please check the announcement
Mi, 15:30pm - 17:00pm, Room 46-260
Tutorial
Nishanth Laxman
Office hours: on appointment
Entries in the KIS-System
Announcements
- 07.05.2019 - 2nd SQA Exam : Final results
The Final results of the 2nd SQA exam from 05.04.2019 after the exam review on 07.05.2019 are updated in QIS. - 02.05.2019 - SQA 2nd Exam results and review
The preliminary results of the SQA exam from 05.04.2019 are updated in QIS. The exam review will be on 07.05.2019, 08:00 - 09:00 hrs in room 32-426. - 25.03.2019 - SQA Exam : Final results
The Final results of the SQA exam from 12.03.2019 after the exam review on 21.03.2019 are updated in QIS. - 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.
All announcements are posted on the SEDA main page.
Exam
The planned dates of the written examination are: 12.03.2019 in Room 28-111, Starting time 12:30 pm or 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.
WS 2017
Contents of the Lecture
This lecture does not take place this semester. An exam will be held. Information about last year's lecture can be found below :
Organisational
Lecturer
Prof. Dr.-Ing. Peter Liggesmeyer
Room 32-425
Contact: Please contact the secretary's office Caroline Frey
Contact
Sebastian Müller
Room: 32/429
Phone: (0631) 205-3449
Office hours: on appointment
Exam
The dates of the written examination are: 13.03.2018 in Room 52-207, Starting time 09:00 or 06.04.2018 in Room 42-110, Starting time 09:00
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.
Announcements
- 10.04.2018 - SQA Exam Results and Review
The prelimenary results of the SQA exam are available in the QIS. The exam review is on April 12th 09:00 - 09:45 in 32-429. - 15.03.2018 - SQA Exam Results and Review
The prelimenary results of the SQA exam are available in the QIS. The exam review is on March 16th 13:45 - 16:00 in 32-429.
All announcements are also posted on the SEDA main page.
WS 2016
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.-Ing. Peter Liggesmeyer
Room 32-425
Contact: Please contact the secretary's office Caroline Frey
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
Mi, 15:30pm - 17:00pm, Room 46-260
Tutorial
Sebastian Müller
Office hours: on appointment
Entries in the KIS-System
Announcements
- 02.05.2017 - SQA Exam Results and Review
The prelimenary results of the SQA exam are available in the QIS. The exam review is on May 11th 09:00 - 10:00 in 32-426. - 31.03.2017 - SQA Exam Results and Review
The prelimenary results of the SQA exam are available in the QIS. The exam review is on April 4th 09:00 - 10:30 in 32-439.
All announcements are posted on the SEDA main page.
Exam
The dates of the written examination are: 14.03.2017 in Room 52-207, Starting time 09:00am or 13.04.2017 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.
WS 2015
Contents of the Lecture
This lecture does not take place this semester. An exam will be held. Information about last year's lecture can be found below.
Organisational
Lecturer
Prof. Dr.-Ing. Peter Liggesmeyer
Room 32-425
Contact: Please contact the secretary's office Caroline Frey
Contact
Sebastian Müller Room: 32/429
Phone: (0631) 205-3449
Office hours: on appointment
Exam
The dates of the written examination are: 15.03.2016 in Room 52-207, Starting time 09:00 or 14.04.2016 in Room 42-110, Starting time 10:00
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.
Announcements
- 21.04.2016 - SQA Exam Results and Review
The prelimenary results of the SQA exam are available in the QIS. The exam review is April 25th 16:00 - 17:00 in 32-426. - 18.03.2016 - SQA Exam Results and Review
The prelimenary results of the SQA exam are available in the QIS. The exam review is March 21st 14:00 - 14:30 in 32-426.
All announcements are also posted on the SEDA main page.
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
Organisational
Lecturer
Prof. Dr.-Ing. Peter Liggesmeyer
Room 32-425
Contact: Please contact the secretary's office Caroline Frey
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.