Uni-Logo Institut für Informatik - Arbeitsgruppe Software Engineering

Software-Qualität, WS 2012/2013
Dozentin Jun.-Prof. Dr.-Ing. Elke Pulvermüller
Übungsleitung Jun.-Prof. Dr.-Ing. Elke Pulvermüller,
Tutoren
Vorlesung
mittwochs12:00 - 14:00 Uhr, Raum 69/E18
donnerstags12:00 - 14:00 Uhr, Raum 69/E18
Übung

Pfeil zur Übungsseite

dienstags10:00 - 12:00 Uhr, Raum 69/E18
dienstags12:00 - 14:00 Uhr, Raum 69/E18
Beide Übungen haben den gleichen Inhalt.
Sprechstunden
montags14:00 - 15:00 Uhr, Raum 31/307
dienstags15:00 - 16:00 Uhr, Elke Pulvermüller, Raum 31/318
dienstags15:00 - 16:00 Uhr, Raum 31/317
mittwochs11:00 - 12:00 Uhr, Raum 31/317
freitags11:00 - 12:00 Uhr, Raum 31/317
Beginn Mittwoch, 10. Oktober 2012 (erste Übung am 16. Oktober)
Prüfungstermin (mündlich) Mittwoch, 30. Januar 2013, 08:30 - 19:00 Uhr, Raum 31/318
Donnerstag, 31. Januar 2013, 10:30 - 19:00 Uhr, Raum 31/318
Anmeldung über OPIuM und im Sekretariat (Terminwahl) erforderlich!
Wiederholungsprüfung (mündlich) Mittwoch, 20. März 2013, 09:00 - 16:00 Uhr, Raum 31/318
Anmeldung über OPIuM und im Sekretariat (Terminwahl) erforderlich!
Inhalt Eine gute Softwareentwicklerin, ein guter Systementwickler muss mehr als nur die reine Umsetzungstechnik (z.B. die Programmiersprache) beherrschen. Die Veranstaltung behandelt verschiedene Gebiete, die zur Steigerung der Produktqualität (z.B. des Programms) eingesetzt werden können. Da jede Situation besondere Qualitätsmaßnahmen erfordert, gibt es nicht das Vorgehen an sich. Vielmehr ist es wichtig, einen Überblick über die Möglichkeiten zur Qualitätssteigerung zu erhalten, um sie im Bedarfsfall einsetzen zu können. Geplante Schwerpunkte der Vorlesung: Qualitätsbegriff und Terminologie, Testen, Verifikation, Metriken.
Literatur
  • Liggesmeyer, Peter: Software-Qualität - Testen, Analysieren und Verifizieren von Software,
    Spektrum Akademischer Verlag, 1. Aufl. 2002, XVI + 523 S., ISBN: 978-3-8274-1118-1; 54,95 €
    (ältere Fassung)
    Online-Vorschau (Amazon)
Folien Die Vorlesungsfolien werden im Laufe des Semesters zusammengestellt und wöchentlich überarbeitet/ergänzt.
Termine
Woche Mittwoch Thema Donnerstag Thema
1. 10.10.2012 Grundlagen (Einordnung) 11.10.2012 Grundlagen (Der Qualitätsbegriff, Zusammenspiel der Qualitätsmerkmale)
2. 17.10.2012 - 18.10.2012 Grundlagen (Zusammenspiel der Qualitätsmerkmale, Qualitätszielbestimmung, Fehler, Klassifikation und Überblick)
3. 24.10.2012 Funktionsorientierter Test (Grundlagen, Funktionale Äquivalenzklassen, Zustandsbasierter Test) 25.10.2012 Funktionsorientierter Test (Fortsetzung Zustandsbasierter Test, Ursache-Wirkungs-Analyse)
4. 31.10.2012 Funktionsorientierter Test (Entscheidungstabellen, Syntaxtest, Transaktionsflussbasiertes Testen), Kontrollflussorientierter Test (Grundlagen, Anweisungsüberdeckung) 01.11.2012 Kontrollflussorientierter Test (Zweigüberdeckung, Pfadüberdeckung, Techniken für den Test von Schleifen)
5. 07.11.2012 Kontrollflussorientierter Test (Techniken für den Test von Schleifen, Bedingungsüberdeckungstest) 08.11.2012 Kontrollflussorientierter Test (Fortsetzung Bedingungsüberdeckungstest, LCSAJ-Test, McCabe-Überdeckung)
6. 14.11.2012 Kontrollflussorientierter Test (Fortsetzung McCabe-Überdeckung, Zusammenfassung), Datenflussorientierter Test (Defs/Uses-Test) 15.11.2012 Datenflussorientierter Test (Fortsetzung Defs/Uses-Test, Required k-Tuples Test)
7. 21.11.2012 Datenflussorientierter Test (Datenkontext-Überdeckung) 22.11.2012 Spezielle dynamische Testtechniken (Diversifizierender Test)
8. 28.11.2012 Spezielle dynamische Testtechniken (Fortsetzung Diversifizierender Test, Bereichstest, Zufallstest) 29.11.2012 Spezielle dynamische Testtechniken (Error Guessing, Zusicherungen, Grenzen des Software-Tests), Statische Codeanalyse (Grundlagen, Stilanalyse)
9. 05.12.2012 Statische Codeanalyse (Slicing, Anomalieanalyse) 06.12.2012 Statische Codeanalyse (Fortsetzung Anomalieanalyse), Manuelle Prüfung (Grundlagen, Formale Inspektion)
10. 12.12.2012 Manuelle Prüfung (Fortsetzung Formale Inspektion, Konventionelles Review, Review in Kommentartechnik, Bewertung) 13.12.2012 Exkurs: Vorträge im Rahmen des Berufungsverfahrens Geoinformatik, A*-Algorithmus (Graphalgorithmus, Bezug zum Themenblock "Programmanalyse")
11. 19.12.2012 Formale Verfahren (Grundlagen, Modellprüfung) 20.12.2012 Formale Verfahren (Modellprüfung)
Weihnachten
12. 09.01.2013 Industrievortrag: Frau Annegret Heißmann (CGI - Logica Deutschland GmbH & Co. KG, Hamburg), Qualitätssicherung im Application Live Cycle, http://www.logica.de, Folien zum Vortrag 10.01.2013 Vortrag: Herr Christian Ammann, Einführung in den Spin Model Checker, Folien zum Vortrag, Spin/Promela Code-Beispiele zum Vortrag
13. 16.01.2013 Werkzeugpräsentationen: TestNG, Cucumber, FIT 17.01.2013 Werkzeugpräsentationen: CodeCover, Cobertura, Jester
14. 23.01.2013 Werkzeugpräsentationen: UISpec4J, Watij / Webspec, Netbeans Profiler, Eclipse MAT 24.01.2013 Werkzeugpräsentationen: Bugzilla, Redmine
15. 30.01.2013 Mündliche Prüfungen, Raum 31/318 31.01.2013 Mündliche Prüfungen, Raum 31/318
Leistungsnachweis Als Leistungsnachweis wird generell ein numerisch und ECTS-benoteter Übungsschein vergeben bzw. eine entsprechende Modulprüfungsleistung bescheinigt. Voraussetzung für den Erwerb des Übungsscheins sowie Grundlage für die Note ist die erfolgreiche Teilnahme an einer Abschlussprüfung.

Um die Zulassung zu dieser Prüfung zu erhalten, ist die erfolgreiche Teilnahme am Übungsbetrieb zur Vorlesung in diesem oder einem der vorhergehenden Semester erforderlich. Als Erfolg gilt hierbei jeweils (pro Aufgabenblatt) 50% der möglichen Punkte bei n-1 der n Übungsblätter.

ECTS-Leistungen müssen nach deutschen Kriterien numerisch benotet werden, die Nummern werden dann nach dem vorgegebenen Schlüssel auf die ECTS-Buchstaben abgebildet.
© 2012, 2013 Elke Pulvermüller
Valid XHTML 1.0 Strict