(WS 2011/12, Seminar 0+2)
NEU im Wintersemester 2011/2012: Das SST-Seminar wird nun mit 4 anstatt 3 CP bewertet.
Anmeldungen sind ab sofort und bis zum Freitag, 21.10.2011 per E-Mail möglich! (Kontaktdaten s.u.) - Anmeldungen bitte inkl. Namen, Matrikelnummer, Studiengang, Vertiefung und Anzahl der Fachsemester.
Die Vorbesprechung findet am am Di, 25.10.2011, 15:00 Uhr in Raum S3|06/348 statt. Eine Teilnahme an diesem Termin ist obligatorisch für die Teilnahme am Seminar!
Abgabe der ersten Vorabversion der Ausarbeitung ist am 19.12.2011 um 23:59 Uhr in das Review-System. Anleitung für das Review-System ist hier zu finden.
Dieses Seminar richtet sich vornehmlich an interessierte Studierende (B.Sc., M.Sc., Dipl.) der Fachrichtungen Informatik, Wirtschaftsinformatik, Informationssystemtechnik, Elektro- und Informationstechnik(*), WI-ET sowie verwandte Studiengänge mit Bezug zur Software-Entwicklung. Teilnehmer/-innen sollten über Motivation, Interesse am Thema Software- und Softwaresystem-Entwicklung sowie Vorkenntnisse im Bereich Software-Engineering verfügen.
(*) Studenten/Studentinnen im Bachelor-Studiengang ETIT (Datentechnik) können im Rahmen dieser Veranstaltung das Proseminar ETIT absolvieren, entsprechend zur geringeren CP-Zahl mit reduziertem Aufwand.
Ziel des Seminars ist es, den teilnehmenden Personen Grundfertigkeiten für selbständiges und wissenschaftliches Arbeiten zu vermitteln. Das Seminar dient damit unmittelbar als Vorbereitung für das Anfertigen eigener, studiebegleitender Arbeiten wie Bachelor-, Studien-, Master- oder Diplomarbeit. Im Rahmen des Seminars werden von den Studenten/-innen eigenständige wissenschaftliche Ausarbeitungen anhand von Beispielen aus dem Themenbereich "Moderne Software-Qualitätssicherungsmaßnahmen" angefertigt und Vorträge über das erarbeitete Thema in Form eines Blockseminars am Ende des Semesters gehalten. Hierbei sollen u.a. Literaturrecherche, Präsentationstechniken, schriftliche Darstellung wissenschaftlicher Inhalte sowie eine vertiefte Auseinandersetzung mit anschließender Bewertung von wissenschaftlichen Arbeiten erlernt und praktiziert werden.
Genaue Beschreibung der angebotenen Themen und der entsprechenden Literatur ist in den Folien gegeben.
Wer musste nicht schon einmal seinen Rechner neustarten, weil er nicht mehr reagierte und hat sich dabei über einen Fehler in der Software aufgeregt. Programmabstürze oder Hardwarefehler sprechen hierbei für sich und führen dabei nicht nur zu Frust bei den Anwendern sondern oft auch zu erheblichen finanziellen Schaden. Durch einen Software-Fehler wurde beispielsweise der Absturz der Rakete Ariane V verursacht, wobei ein einfacher Speicherüberlauf einen Schaden in dreistelliger Millionenhöhe verursachte. Die Qualität eines Produktes ist somit im großen Maße sowohl für den Erfolg als auch die Sicherheit eines Produktes verantwortlich, weshalb sich der Einsatz konstruktiver und qualitätssichernder Maßnahmen sich in der Softwaretechnik mehr und mehr durchsetzt.
Ergänzend (aber nicht zwangsweise voraussetzend) zu der Vorlesung "Qualitätssicherung und Wartung" im vergangenen Sommersemester bieten wir das Seminar Softwaresystemtechnologien mit dem Themenschwerpunkt "Moderne Software-Qualitätssicherungsmaßnahmen" an. Dementsprechend werden aktuelle Themen aus Industrie und Forschung behandelt, die sich mit systematischem Testen (Überprüfung funktionaler Anforderungen) und der Laufzeitüberwachung (Überprüfung nicht-funktionaler Anforderungen) von unterschiedlichen Kategorien von Software (eingebettete, verteilte oder zentrale Anwendungen) befassen.
Der Themenschwerpunt moderne Software-Qualitätssicherungsmaßnahmen umfasst folgende Themenbereiche:
Im Seminar werden die im Folgenden aufgeführten Themen angeboten. Darüber hinaus sind eigene Ideen und Vorschläge möglich und durchaus willkommen. Nach Absprache können deshalb auch weitere Themen vergeben werden. Während der Einführungsveranstaltung besteht die Möglichkeit, sich für bestimmte Themen anzumelden. Die Zuordnung der Themen auf die Teilnehmer erfolgt im Anschluss an die Einführungsveranstaltung und in Abhängigkeit der allgemeinen Interessenlage.
Zurzeit sind folgende Themen (inkl. Betreuer) aus dem Themenbereich moderne Software-Qualitätssicherungsmaßnahmen angedacht:
Titel | Betreuer |
|---|---|
Grammatikbasierte Testfallgenerierung für Text-zu-Modell Transformationen | |
Testsuite-Reduktion – Preprocessing | |
Testsuite-Reduktion – Postprocessing | |
Fehlerdiagnose in verteilten Systemen | |
Bestimmen der Dienstgüte in dezentralen Systemen | |
Run-time Verification | |
Einsatz des UML 2.0 Testing Profile (U2TP) | |
Testen von Modelltransformationen | |
[PS] Testen objektorientierter Systeme | |
[PS] Modellbasiertes Testen mit Statecharts | |
[PS] TTCN3 | |
[PS] Regressionstests |
[PS] = Thema ist für ein Proseminar geeignet
Eine detailierte Beschreibung der einzelnen Themen inkl. Literaturangabe sind in den Folien zur Einführungsveranstaltung zu finden.
Deadline | Ergebnis / Ereignis |
|---|---|
21.10.2011 | Anmeldung per E-Mail (s. Kontakt) |
25.10.2011 | Vorbesprechung u. Themenauswahl |
24.11.2011 | Einarbeitung beendet, erste Gliederung |
14.12.2011 | Erste Fassung der Ausarbeitung (5-6 doppelspaltige Seiten) |
19.12.2011 | Abgeben der ersten Fassung für den Reviewprozess |
09.01.2012 | Review-Prozess abgeschlossen |
19.01.2012 | Endfassung der Ausarbeitung |
26.01.2012 | Erste Fassung der Vortragsfolien |
02.02.2012 | Endfassung der Vortragsfolien |
08.02.2012 | Abschlussvortrag (20 Min., mit anschl. Diskussion) |
Fragen zum Seminar senden Sie bitte an SST-Seminar(at)es.tu-darmstadt.de
Zum Seminar gibt es eine Mailingliste über die aktuelle Informationen verbreitet werden. Alle Teilnehmer sollten sich dort bitte anmelden.

Technische Universität Darmstadt
Institut für Datentechnik
Fachgebiet Echtzeitsysteme
Prof. Dr. rer. nat. Andy Schürr
Geb. S3|06 (3. Stock, Raum 313)
Merckstr. 25
64283 Darmstadt
+49 6151 16-6940
+49 6151 16-6942