Themen - Kurzbeschreibungen

Time Partition Testing (TPT)

Das von der Berliner Firma Piketec entwickelte und vertriebene Testwerkzeug TPT (Time Partition Testing) basiert auf die gleichnamige Methode und wurde speziell für den Black-Box Test eingebetteter Systeme konzipiert. Was unterscheidet TPT von anderen Testansätzen?

Combining Test Case Generation for Component and Integration Testing

Die Modellierung des Verhaltens komplexer technischer Systeme mit dem Ziel der automatischen Generierung von Integrationstestfällen stellt ein zentrales Hindernis bei der Verbreitung modell-basierter Testmethoden dar. Beherrschbare Modellkomplexität wird durch Abstraktion erreicht - mit der Folge einer Entkopplung von der Testobjektschnittstelle. Wie verbindet man abstrakte Testmodelle und technische Schnittstelle auf optimale Weise?

Visual Requirements Engineering

Visual Requirements Engineering ist eine relativ junge Methode zur graphischen Darstellung von Sruktur und Verhalten von Systemen. Ziel ist dabei vor allem das "Big Picture", also die Zusammenhänge zu verdeutlichen und die Anforderungen an das System vollständig und verständlich zu spezifizieren. Im Rahmen des Seminars sollen Methode und Tool untersucht und vorgestellt werden.

SysML im Automobilkontext

SysML ist eine Modellierungssprache, die als Profil der UML konzipiert ist, um die wichtige System-Perspektive in der Software-Modellierung zu stärken und um deren schwache Verbindung zu den System-Anforderungen auszubauen. Im Rahmen dieser Ausarbeitung soll untersucht und vorgestellt
werden, in welcher Form die SysML im automobilen Kontext bereits eingesetzt wird.

Model-Checking von Szenarien

Model-Checking ist ein Verfahren zur vollautomatischen Verifikation einer Systembeschreibung (Modell) gegen eine Spezifikation. Im klassischen Sinne verifizieren Model-Checker automaten-basierte Modelle wie Büchi-Automaten. Im Seminar sollen aktuelle Forschungsergebnisse für das Model-Checking von
Szenarien betrachtet werden.

Strukturelle Testdatengenerierung für Matlab/Simulink/Stateflow Modelle – State of the Art

Es existieren verschiedene automatisierte Testdatengenerierungsverfahren für Simulink/Stateflow Modelle zur Erfüllung bestimmter struktureller Überdeckungskriterien. Dazu zählen sowohl statische als auch dynamische Verfahren. Ziel dieser Arbeit ist die existierenden Verfahren vorzustellen und vergleichend zu analysieren.

Strukturelle Überdeckungskriterien für Matlab/Simulink/Stateflow Modellen

Überdeckungskriterien für Simulink/Stateflow Modelle erheben Ansprüche auf die Ausführung ihrer strukturellen Elemente. Im Rahmen dieser Ausarbeitung sollen die bisher existierenden strukturellen Überdeckungskriterien für Simulink/Stateflow Modelle vergleichend analysiert werden.

Graphenlayout: Ansätze und Verfahren

Viele in der Informatik gebräuchliche Datenstrukturen basieren auf Graphen (Bäume, Listen). Um diese grafisch darstellen zu können, müssen Knoten und Kanten um Informationen bezüglich Position, Größe und Form angereichert werden (Layout).
Zur automatisierten Erstellung von Graphenlayouts existieren verschiedene Verfahren, die angesichts ihrer algorithmischen Ansätze, sowie ihrer Stärken und Schwächen vorgestellt und verglichen werden sollen.