TU München - Fakultät für Informatik
Software- and Systems Engineering Research Group

  Home  |  Forschung/Kompetenz  |  Lehre  |  Personen  |  Publikationen  |  Abschlussarbeiten  |  Sonstiges  |  Kontakt  | 

Seminar im Sommersemester 2017
Software Qualität

Inhalt

Jeder will Software mit hoher Qualität. Was Software Qualität allerdings konkret ausmacht, und vor allem wie man sie ermittelt und erreicht, ist jedoch den meisten alles andere als klar. Das möchten wir mit diesem Seminar ändern. Dabei wollen wir dieses Jahr besonderen Wert darauf legen, nicht nur die Qualität von Quellcode zu betrachten. Auch Anforderungen und Tests sind Teil der Software und ihre Qualität enorm wichtig. In dem Seminar schauen wir uns daher Techniken zur Bewertung und Verbesserung der Qualität von Anforderungen, Tests und Quellcode an. Wir wollen die Techniken nicht nur in der Theorie kennenlernen sondern auch anhand von praktischen Beispielen erproben.

Aktuelles

• Bitte in das Doodle zur Terminfindung für die Blockphase eintragen.
• Slides der Auftaktveranstaltung sind online.
• Wir haben zwei Extra-Themen im Seminar: "Checking Safety Requirements" und "Advanced Software Verification"
• Die Folien der Infoveranstaltung sind online.
• Die Infoveranstaltung findet am 02.02.2017 von 9:00 - 10:00 im Raum Alonzo Church (01.09.014) statt.
• Interessenten an dem Seminar schicken bitte bis 08.02.2017 eine Bewerbung (Stand im Studium, Interesse an Software Qualität, Motivation, Welches Thema gewünscht?) an junkerm@in.tum.de.

Termine

• Mai/Juni (Termine werden noch bekanntgegeben): Seminar als Blockveranstaltung (ca. 2 Tage)

Seminarthemen

Voraussichtliche Themen des Seminars (in Klammern der Betreuer):
Qualität von Anforderungen

• Walkthrougs, Inspektionen, Prototypen - Techniken für manuelle Requirements Reviews(S: Lauchner, B: Henning)
• Wie gut sind meine Anforderungen? Defekte in Anforderungen automatisch detektieren. (S: Todorovska, B: Henning)
• Model-based Requirements Engineering - Bessere Anforderungsqualität durch Modellierung? (S: Konwitschny, B: Maximilian)

• Bug Patterns: Automatisches Auffinden von Bugs in Quellcode. (S: Lill, B: Sebastian)
• Do not touch this! Bewertung der Wartbarkeit von Quellcode (S: Spaans, B: Sebastian)
• Checking Safety Requirements on Software Models (S: Paulsen, B: Mario)
• Advanced Software Verification: Abstract Interpretation or Assertion Checking (S: Kienzle, B: Mario)

• Natural Language Test Smells: Qualitätsdefekte in manuellen Tests (S: Wehrle, B: Benedikt)
• Warum zerbrechen meine automatisierten GUI-Tests? Statische Analyse von automatisierten Tests. (S: Gruber, B: Benedikt)
• Anforderungsbasiertes Testen - Wie stimme ich meine Tests auf die Anforderungen ab? (S: Block, B: Maximilian)

• Besserer Prozess durch bessere Anforderungen? Wie hängen die Qualität von Artefakten und die Qualität des Prozesses zusammen? (S: Palm, B: Daniel)
• Prozessverbesserung im Requirements Engineering: Prinzipien und Ansätze (S: Renner, B: Daniel)

Themen der Einführungsveranstaltung:

• Überblick über Software Qualität
• Effektiv präsentieren
• Literaturrecherche

Templates

• Folien
• Seminararbeit

Lernziele

Kriterien

Voraussetzungen

Anmeldung