Beschreibung:

Qualitätsmanagement und Qualitätssicherung (engl. QMQA) müssen stets gemeinsam betrachtet werden. Das Qualitätsmanagement befasst sich mit organisatorischen Aspekten; die Qualitätssicherung mit technischen Inhalten. Mangelhafte Qualität kann negative Konsequenzen haben. Die Spanne reicht dabei von wirtschaftlichen Verlusten bis zur Gefährdung von Menschenleben. Der Nachweis der Einhaltung von Qualitätsmanagement-Standards und die Nutzung geeigneter Qualitätssicherungstechniken ist daher sehr wichtig.

Die Lehrveranstaltung behandelt wichtige Aspekte des Software-Qualitätsmanagements und der Software-Qualitätssicherung:

• Es werden Techniken für das Software-Qualitätsmanagement und die Software-Qualitätssicherung vorgestellt sowie ihre Eigenschaften (Vor- und Nachteile, Grenzen) diskutiert.
• Darüber hinaus werden praktische Beispiele für Analyse- und Testmethoden vorgestellt.

Inhalt der Vorlesung

• Dynamisches Testen
• Statische Analysetechniken
• Maße
• Datenflussanomalieanalyse
• Review- und Inspektionstechniken
• Formale Beweistechniken
• Organisationsformen des Qualitätsmanagements für Software und Systeme
• Techniken für das Qualitätsmanagement, z. B. TQM, QFD, SPC
• Qualitätsmanagement-Standards
• Reifegradmodellbasierte Verfahren im Qualitätsmanagement
• Struktur eines Qualitätsmanagementsystems

Organisatorisches

Die Vorlesung wird vollständig in Präsenz gehalten und via OpenOLAT organisiert.

Dozent: 

• Prof. Dr.-Ing. habil. Peter Liggesmeyer
• Raum: 32-425
• Kontakt: Bitte wenden Sie sich an das Sekretariat

Vorlesungsbetreuung:

• Alexander Günther
• Raum: 32-424
• E-Mail: alexander.guenther@cs.uni-kl.de
• Telefon: +49 (631) 205-3269

Vorlesungen

Alle Vorlesungen werden in Präsenz gehalten.

Wann?: jeden Montag, 08:15 - 09:45 Uhr, das Datum der ersten Vorlesungen wird in OpenOLAT angekündigt.

Wo?: In Raum 46-110.

KIS-Eintrag?:KIS

Weitere Informationen über den Kurs, die Übungen und die Klausur, finden Sie in OpenOLAT.

Qualitätsmanagement und Qualitätssicherung (engl. QMQA) müssen stets gemeinsam betrachtet werden. Das Qualitätsmanagement befasst sich mit organisatorischen Aspekten; die Qualitätssicherung mit technischen Inhalten. Mangelhafte Qualität kann negative Konsequenzen haben. Die Spanne reicht dabei von wirtschaftlichen Verlusten bis zur Gefährdung von Menschenleben. Der Nachweis der Einhaltung von Qualitätsmanagement-Standards und die Nutzung geeigneter Qualitätssicherungstechniken ist daher sehr wichtig.

Die Lehrveranstaltung behandelt wichtige Aspekte des Software-Qualitätsmanagements und der Software-Qualitätssicherung:

• Es werden Techniken für das Software-Qualitätsmanagement und die Software-Qualitätssicherung vorgestellt sowie ihre Eigenschaften (Vor- und Nachteile, Grenzen) diskutiert.
• Darüber hinaus werden praktische Beispiele für Analyse- und Testmethoden vorgestellt.

Lernziele der Vorlesung

Mit erfolgreichem Abschluss des Moduls werden die Studierenden in der Lage sein,

• zentrale Techniken für das Qualitätsmanagement für Software (z.B. TQM, SPC) anzuwenden,
• Reifegradmodellbasierte Verfahren und Standards im Qualitätsmanagement zu beurteilen,
• wichtige Techniken der Software-Qualitätssicherung (insb. dynamische Testtechniken und statische Analysen) anzuwenden,
• gebräuchliche Verfahren der Software-Qualitätssicherung (Messen, Datenflussanomalieanalyse, Review- und Inspektionstechniken) zu nutzen,
• die Eignung der einzelnen Techniken im konkreten Fall zu beurteilen und die Techniken einzusetzen.

Inhalt der Vorlesung

• Dynamisches Testen
• Statische Analysetechniken
• Messen
• Datenflussanomalieanalyse
• Review- und Inspektionstechniken
• Formale Beweistechniken
• Organisationsformen des Qualitätsmanagements für Software und Systeme
• Techniken für das Qualitätsmanagement, z. B. TQM, QFD, SPC
• Qualitätsmanagement-Standards
• Reifegradmodellbasierte Verfahren im Qualitätsmanagement
• Aufbau eines Qualitätsmanagementsystems

Literatur

• Liggesmeyer P., Software-Qualität (2.Aufl.), Heidelberg: Spektrum Akademischer Verlag, 2009
• Spillner A., Linz T., Basiswissen Softwaretest (6. Aufl.), Heidelberg, dpunkt.Verlag, 2019
• Myers G.J., Badgett T., Sandler C., The Art of Software Testing (3rd Edition), Hoboken, John Wiley & Sons, 2012

Material

• Materialien für die Vorlesung (Vorlesungsfolien) und die Übungen (Übungsblätter) werden im OLAT Kurs zur Verfügung gestellt.

Organisatorisches

Dozent

 Prof. Dr. Peter Liggesmeyer
Kontakt: Bitte wenden Sie sich an das Sekretariat Caroline Frey

Vorlesungsbetreuung

Bei Fragen zur Vorlesung, zu den Übungen oder zur Organisation können sie uns gerne kontaktieren.

Anil Ranjitbhai Patel
Email: patel(at)cs.uni-kl.de
Room: 32-435

Alexander Günther
Email: alexander.guenther(at)cs.uni-kl.de
Room: 32-424
 

Veranstaltung

• Die Veranstaltung QMQA besteht aus 2 SWS Vorlesung und 1 SWS Übung.
• Vorlesung: Die erste Vorlesung findet am 24.10.2022 statt.
  • Die Veranstaltung wird in Präsenz durchgeführt.
  • Die Veranstaltung wird über die Plattform OpenOLAT organisiert. Alle Mitteilungen und Ankündigungen werden im entsprechenden OLAT Kurs veröffentlicht.
• Übung: Der Übungsbetrieb läuft im zwei Wochen Takt.
  • Jede zweite Wochen wird es ein neues Übungsblatt geben, welches in der darauffolgenden Woche entweder in einer Präsenz/Online-Übung oder einem Video besprochen wird.

• Prüfung:
  • Wir bieten eine Prüfung pro Semester an, dass genaue Datum steht noch nicht fest.
  • Die Prüfung dauert 90 Minuten. Bitte bringen sie ihren Studierendenausweis und gültigen Personalausweis mit.
  • Es sind folgende Hilfsmittel erlaubt:
    • Ein nicht programmierbarer Taschenrechner,
    • Ein zweiseitig beschriebenes oder bedrucktes DIN A4 Blatt,
    • Ein sprachliches Wörterbuch ohne Notizen.

Einträge im KIS-System

Vorlesung (link in progress)

Übung (link in progress)

Zusätzliche Informationen

• Im OLAT Kurs finden sie einen ical Kalender Link um die Übungstermine in ihrern Kalender aufunehmen.

Diese Vorlesung wird nur in englischer Sprache angeboten.

Due to COVID-19 crisis, this lecture will be only offered digitally through OLAT platform.

GOALS OF THIS LECTURE

Students possess deepened knowledge of important techniques of software quality assurance and quality management. Students can evaluate the applicability of different techniques. The are capable to choose and apply techniques in practical situations.

CONTENTS OF THE LECTURE

• Measures
• Dataflow Anomaly Analysis
• Review and Inspection Techniques
• Formal Proof Techniques
• Organization forms of the quality management for software and systems
• Techniques for the quality management, e.g. TQM, QFD, SPC
• Standards in quality management
• Maturity model based methods in quality management
• Structure of a quality management system

MATERIAL

• Materials for the lecture (lecture slides) and for the tutorial (exercise sheets) would be published regularly in Olat.
• Additional literature
  additional literature for the lecture would be coming soon.

ORGANISATIONAL

LECTURER

Prof. Dr. Peter Liggesmeyer
Room 32/425
Office hours: on appointment with Secretary Caroline Frey 

SCHEDULE

The lecture QMQA consists of 2 SWS lecture and 1 SWS tutorial.

Additional information for the first tutorial will be published soon.

• Lecture:
  2 SWS - new lecture would be available in Olat every Monday.
  First lecture on Monday, Oct. 25th.
• Tutorial:
  1 SWS - new exercise sheet would be available every second week. Explainatory video would be published one week after.
• Exam:
  We will offer one exam date only. The exact date and time of the exam will be decided later.
  
  The exam duration is 90 minutes. Bring a valid student identification. If it does not have a picture of you, bring a valid photo ID along.
  You are allowed to use:
  • A non-programmable calulator
  • A DIN A4 size sheet with notes printed or handwritten on both sides
  • A language dictionary without any notes

TUTORIAL

Rasha Abu Qasem

Office hours: on appointment

ENTRY IN KIS-SYSTEM

to come soon...

ENTRY IN OLAT-PLATFORM

to come soon...

Announcements

Please look at   news page for any announcement.