Quality Management and Quality Assurence of Software (QMQA) - WS 2023/24

Description:

Quality Management and Quality Assurance (QMQA) should always be considered together. Quality management deals with organisational aspects; quality assurance with technical content. Insufficient quality can have negative consequences. Such consequences range from economic losses to human lives being endangered. Demonstrating compliance with quality management standards and the use of appropriate quality assurance techniques is therefore very important.

The course covers important aspects of software quality management and software quality assurance:

  • Techniques for software quality management and software quality assurance are introduced and their characteristics (advantages, disadvantages, limitations) are discussed.
  • Furthermore, practical examples of analysis and testing methods are covered.

Contents of the lecture

  • Dynamic Testing
  • Static Analysis Techniques
  • 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

Organization

The lecture will be fully conducted in-person, and organized via an OpenOLAT course.

Lecturer: 

Lecture Supervision:

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

Lecture Classes

All lectures are going to be in-person.

When?: every Monday, 08:15 - 09:45 o'clock, first date will be announced via notifications in the OpenOLAT course.

Where?: In the lecture hall 46-110.

KIS-Entry?:KIS

 

For more information about the course, the excercises and the exam, please check the OpenOLAT course.

Quality Management and Quality Assurance (QMQA) should always be considered together. Quality management deals with organisational aspects; quality assurance with technical content. Insufficient quality can have negative consequences. Such consequences range from economic losses to human lives being endangered. Demonstrating compliance with quality management standards and the use of appropriate quality assurance techniques is therefore very important.

The course covers important aspects of software quality management and software quality assurance:

  • Techniques for software quality management and software quality assurance are introduced and their characteristics (advantages, disadvantages, limitations) are discussed.
  • Furthermore, practical examples of analysis and testing methods are covered.

Goals of the Lecture

Upon successful completion of the module, students will be able to,

  • apply central techniques of quality management for software (e.g. TQM, SPC),
  • evaluate maturity model-based procedures and standards in quality management,
  • apply key software quality assurance techniques (esp. dynamic testing techniques and static analysis),
  • use common software quality assurance techniques (measurement, data flow anomaly analysis, review and inspection techniques),
  • assess the appropriateness of the individual techniques in a specific case and apply these techniques.

Contents of the Lecture

  • Dynamic Testing
  • Static Analysis Techniques
  • 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

Literature

  • 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

  • Materials for the lecture (lecture slides) and for the tutorial (exercise sheets) will be published regularly inthe corresponding OLAT course.

Organizational

Lecturer

 Prof. Dr. Peter Liggesmeyer
Office hours: on appointment with Secretary Caroline Frey 

Lecture Supervisors

For any doubts or queries regarding the lecture, exercises or other organisational issues, please feel free to contact us.

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
 

Course Information

  • The lecture QMQA consists of 2 SWS lecture and 1 SWS tutorial.
  • Lecture: First lecture will be on 24.10.2022.
    • The QMQA lecture in WS22/23 is in the presence-mode.
    • The lecture and exercises are organized via the OpenOLAT system. All course related announcements will also be made in the corresponding OLAT course.
    • Additional material like lecture notes and exercises can be downloaded from OpenOLAT system.
  • Tutorial:
    • New exercise sheets will be available every second week. Explainatory videos or a presence tutorial follow 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.

Entry in KIS-System

Lectures

Exercises

Additional Information

  • To add the online lecture and exercise schedule to your calendar, you can use the ical calendar link on the OLAT page of the course.

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.