Zur Webseite der Informatik

Hauptseminar

Advanced Software Engineering: Non-Functional Aspects in Software Engineering

Stand SoSe 2014

Neuigkeiten

  • 31.01.2014: The Kick-off meeting for the seminar will take place on Tuesday, 04.02.2014, 9:45 - 11:15, room V38.02.
  • 14.01.2014: Die Seminarthemen stehen jetzt zur Verfügung. Bitte schauen Sie sich vor der Anmeldung die Liste der Themen an, um sicherzugehen, dass das Seminar für Sie interessant ist. Gerne können Sie sich vorab mit den Betreuern bzgl. der Themen in Verbindung setzen.

Beschreibung

Nichtfunktionalen Eigenschaften, z.B. in Bezug auf  Performance und Zuverlässigkeit, sind ein essentieller Bestandteil von Softwarequalität. Die Analyse nichtfunktionaler Eigenschaften erfolgt typischerweise basierend auf zwei Fragestellungen:

  1. Erfüllt das Software-Produkt neben den funktionalen Anforderungen auch seine nichtfunktionalen Anforderungen?
  2. Wie kann sichergestellt werden, dass die nichtfunktionalen Eigenschaften während der gesamten Lebenszeit der Software erfüllt werden? Hierzu ist zu beachten, dass heutige Softwaresysteme häufigen Änderungen, z.B. durch sich ändernde Anforderungen, unterworfen sind.

Hierzu müssen die nichtfunktionalen Anforderungen formalisiert und die entsprechenden Systemeigenschaften analysiert werden. Analysen können mittels qualitativer und quantitativer Methoden erfolgen.

Die Analyse nichtfunktionaler Eigenschaften ist eine große Herausforderungen, da beispielsweise folgende Bestandteile neben der eigentlichen Software einen wesentlichen Einfluss haben:

  1. Das Benutzungsprofil, d.h. die Art und Weise wie die Softwaredienste genutzt werden
  2. Die Infrastruktur, auf der die Software verteilt wird, z.B. Middleware, Betriebssystem, Hardware

Beispielaspekte, die in diesem Seminar betrachtet werden, sind die Modellierung und Analyse nichtfunktionaler Eigenschaften, sowie die Betrachtung nichtfunktionaler Eigenschaften während der Softwareevolution. Ziel des Seminars ist es, einen Überblick über das Thema nichtfunktionale Eigenschaften zu bekommen, sowie ausgewählte Forschungsansätze im Detail zu betrachten.

Masterstudenten, die dieses Seminar belegen, sollten ein Interesse an Softwarequalität und nichtfunktionalen Eigenschaften von Software haben.

Wichtige Termine

Erstes Treffen
08.04.2014, 09:45-11:15, Raum 0.457
Struktur und Literaturliste* 02.05.2014
Voreinreichung der Ausarbeitung* 06.06.2014
Finale Einreichung der Ausarbeitung* 20.06.2014
Einreichung des Peer-Reviews* 04.07.2014
Einreichung der überarbeiteten Ausarbeitung* 18.07.2014
Präsentation

Detaillierter Zeitplan s.u.

*= Die Ausarbeitung (im PDF-format) muss über die Seminar-Einreichungsseite eingereicht werden: https://www.easychair.org/conferences/?conf=rssnfpss2014. Es ist möglich, zusätzliches Material (z.B. Quelltexte, Daten) als ZIP-Datei zusammen mit der Ausarbeitung einzureichen.

Themenliste

Eine vollständige Liste der Themen wird beim ersten Treffen präsentiert. Jeder Teilnehmer muss zur Themenverteilung anwesend sein.

Bitte schauen Sie sich vor der Anmeldung die Liste der Themen an, um sicherzugehen, dass das Seminar für Sie interessant ist!

Gerne können Sie sich vorab mit den Betreuern bzgl. der Themen in Verbindung setzen.

(*=aus Datenschutzgründen weggelassen)

No.

Thema

Betreuer

Student

1 Checking Energy-Consumption of Clouds Eugen Massini N.N.
2 Elasticity of Cloud Systems Eugen Massini N.N.
3 Reliability Estimation under No Failure Testing Eugen Massini N.N.
4 Optimizing Software Architectures to Improve Non-Functional Properties Lars Grunske

*

5 Bayesian Inference using Data Flow Analysis Lars Grunske N.N.
6
Adaptivity in Performance Sinem Getir N.N.
7 Run-time Verification of Non-functional Properties Sinem Getir N.N.
8 Designing Reliability Sinem GetirSinem Getir

*

9
Automatic Extraction of Layered Queueing Networks from Execution Traces André van HoornSinem Getir

*

10 Automatic Extraction of Palladio Component Models André van Hoorn

*

11 Performance Regression Testing André van Hoorn

*

12 Java Bytecode Instrumentation André van Hoorn

*

13
Online Failure Management Teerat Pitakrat

*

14 Runtime Software Fault Localization Teerat Pitakrat

*

15 Software Reliability Prediction Teerat Pitakrat

*

16
Quality-Driven Dynamic Binding through Fuzzy Control Antonio Filieri

*

17 Systematic Literature Review on Failure Propagation and Transformation Analysis Antonio Filieri N.N.
18 SMT-Based Bisimulation and Verification of Markov Models Antonio Filieri N.N.

Präsentationszeitplan (Vorläufig)

Raum: 0.457
Zeit: 09:45-11:15

No.

Präsentationsdatum

Thema

Betreuer

Student

1 03.06.2014



2 10.06.2014


3 17.06.2014

Software Reliability Prediction

T.P.

*

4 24.06.2014

Designing Reliability

Java Bytecode Instrumentation

Performance Regression Testing

S.G

A.v.H

A.v.H

*

*

*

5 01.07.2014

Online Failure Management

Automatic Extraction of Palladio Component Models

Optimizing Software Architectures to Improve Non-Functional Properties

T.P.

A.v.H

L.G.

*

*

*

6 08.07.2014

Runtime Software Fault Localization

Quality-Driven Dynamic Binding through Fuzzy Control

Automatic Extraction of Layered Queueing Networks from Execution Traces

T.P.

A.F.

A.v.H

*

*

*


Seminar-Hinweise

Format der Ausarbeitung
  • Ausarbeitungen müssen in Englisch verfasst sein und eine Länge von 15 Seiten nicht überschreiten. Es ist das LaTeX-Template für das Seminar zu nutzen.
Review-Prozess
  • Jeder Teilnehmer verfasst ein Gutachten zu zwei weiteren Ausarbeitungen anderer Seminar-Teilnehmer.
  • Das Gutachten muss den Seminar-Begutachtungs-Hinweisen (werden zur Verfügung gestellt) folgen.
Überarbeitete Ausarbeitung
  • Die Teilnehmer müssen ihre Ausarbeitung basierend auf den Hinweisen der Betreuer sowie der Gutachten überarbeiten.
  • Das Antwortschreiben auf die Gutachten muss den entsprechenden Hinweisen (werden zur Verfügung gestellt) folgen und zusammen mit der überarbeiteten Version der Ausarbeitung eingereicht werden.
Präsentation
  • Die Präsentationsdauer ist 20 Minuten gefolgt von 5 Minuten für Fragen und Diskussion.
  • Die Teilnehmer werden dazu ermutigt, ihre Präsentation auf Englisch zu halten.

 

Zusätzliche Informationen:



Contact:
Prof. Dr. Lars Grunske, grunske@informatik.uni-stuttgart.de
Reliable Software Systems (RSS) Group
Institute for Software Technology (ISTE), University of Stuttgart