Dozentin
Jun.-Prof. Dr.-Ing. Elke Pulvermüller
Übungsleitung
Jun.-Prof. Dr.-Ing. Elke Pulvermüller ,
Tutoren
Vorlesung
Übung
Beide Übungen haben den gleichen Inhalt.
Sprechstunden
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.
Foliensatz 1: Grundlagen (Einordnung)
Foliensatz 2: Grundlagen (Qualitätsbegriff, Zusammenspiel der Qualitätsmerkmale, Fehler, Qualitätszielbestimmung, Klassifikation und Überblick)
Foliensatz 3: Funktionsorientierter Test (Grundlagen, Funktionale Äquivalenzklassen, Zustandsbasierter Test)
Foliensatz 4: Funktionsorientierter Test (Ursache-Wirkungs-Analyse, Entscheidungstabellen, Syntaxtest, Transaktionsflussbasiertes Testen)
Foliensatz 5: Kontrollflussorientierter Test (Grundlagen, Anweisungsüberdeckung, Zweigüberdeckung, Pfadüberdeckung, Techniken zum Test von Schleifen)
Foliensatz 6: Kontrollflussorientierter Test (Bedingungsüberdeckungstest, LCSAJ-Test, McCabe-Überdeckung, Zusammenfassung)
Foliensatz 7: Datenflussorientierter Test (Grundlagen, Defs/Uses-Test)
Foliensatz 8: Datenflussorientierter Test (Required k-Tuples Test, Datenkontext-Überdeckung, Subsumationsbeziehungen, Bewertung)
Foliensatz 9: Spezielle dynamische Testtechniken (Diversifizierender Test, Bereichstest, Zufallstest, Error Guessing, Zusicherungen, Grenzen des Software-Tests)
Foliensatz 10: Statische Codeanalyse (Grundlagen, Stilanalyse, Slicing, Anomalieanalyse)
Foliensatz 11: Manuelle Prüfung (Grundlagen, Formale Inspektion, Konventionelles Review, Review in Kommentartechnik, Bewertung)
Foliensatz 12: Formale Verfahren (Grundlagen, Modellprüfung)
Abstract zum Industrievortrag: Frau Annegret Heißmann (CGI - Logica Deutschland GmbH & Co. KG, Hamburg), Qualitätssicherung im Application Live Cycle , http://www.logica.de , 09.01.13
Folien zum Industrievortrag: Frau Frau Annegret Heißmann (CGI - Logica Deutschland GmbH & Co. KG, Hamburg), Qualitätssicherung im Application Live Cycle , http://www.logica.de , 09.01.13
Abstract zum Vortrag: Herr Christian Ammann, Einführung in den Spin Model Checker , 10.01.13
Folien zum Vortrag: Herr Christian Ammann, Einführung in den Spin Model Checker , 10.01.13
Spin/Promela Code-Beispiele zum Vortrag: Herr Christian Ammann, Einführung in den Spin Model Checker , 10.01.13
Termine
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.