Chair of software engineering: Dependability

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.

Zum Seitenanfang