19. April 2011

GeTTeMo: Systematische Generierung von Test-szenarien aus benutzungsorientierten Testmodellen

Prof. Dr.-Ing. Reinhard GermanLehrstuhl Informatik 7 (Rechnernetze und Kommunikationssysteme)

GeTTeMo EckdatenGeTTeMo Eckdaten

ZIM (Zentrales Innovationsprogramm Mittelstand)  Basisprogramm des BMWi (Bundesministeriums für Wirtschaft und 

h l ) f d k h l f d dTechnologie) für die marktorientierte Technologieförderung der innovativen mittelständischen Wirtschaft in Deutschland

Projekt Projekt Partner: sepp.med  GmbH, Lehrstuhl Informatik 7 der FAU

Ziele Ziele Visualisierungskomponente Markow‐Ketten‐Profil Editor (MCUP Editor) Testgetriebene agile Simulation durch Kopplung von .getmore und Syntony

2/14

Testgetriebene agile Simulation: KonzeptTestgetriebene agile Simulation: Konzept

AnforderungenAnforderungen

statische ValidierungSystemmodell Benutzungs‐/Testmodell

nn

gene

rieren

gene

rieren

d i h lidi abstrakte TestsuiteSimulationsmodell dynamische Validierung

nerie

ren

testen ausführbareTestsuiteSystem

gen

3/14

Bsp.: Systemmodell für Stop-and-Wait(Auszug)(Auszug)

4/14

SimulationSimulation

Das Simulationsmodell wird Das Simulationsmodell wird mittels Syntony und OMNeT++ zur Ausführung gebracht

Syntony ist das Ergebnis einer Kooperation zwischen Fraunhofer IIS und Informatik 7

Simulationsergebnisse werden durch das Tool R Project geplottetdurch das Tool R Project geplottet und in einer Evaluierungs‐perspektive angezeigt

5/14

Visualisierung und Bearbeitung von BenutzungsmodellenBenutzungsmodellen Visualisierungskomponente

Realisiert auf Basis des Eclipse ZestVisualization Toolkits

Stellt Erweiterungspunkte für benutzereigene Perspektiven und g pLayout‐Algorithmen zur Verfügung      (z.B. Tester, Validierungsperspektive)

Hervorhebung von Diagramm‐elementen (z.B. generierte Pfade)

MCUP Editor Erstellung von Benutzungsprofilen durch 

Eingabe von Wahrscheinlichkeitswerten

Mischen von vorhandenen Profilen möglich

Testschwerpunktmethode erlaubt intuitives Erstellen von Markow Profilenintuitives Erstellen von Markow‐Profilen durch Gewichtung

Konsistenzprüfung und Korrekturmechanismen

6/14

Modellierung von Test SuitenModellierung von Test-Suiten

Mit UML Modellierungstool, Mit UML Modellierungstool, 

z.B. Papyrus

M d lli t h d Modellierung entsprechend UML Testing Profile (UTP): Testkontext(e)

Testkonfiguration(en) Testkonfiguration(en)

Testkomponente(n)

SUT (System under Test)

Integriert in Syntony als Perspektive

7/14

Generierung der TestfälleGenerierung der Testfälle Einzelne Knoten des Benutzungsmodells 

f i (T il )S dreferenzieren (Teil‐)Sequenzen und setzen sich bei der Generierung zu Testfällen zusammen

Mit getmore können abstrakte Testfälle Mit .getmore können abstrakte Testfälle generiert werden

8/14

Export der TestfälleExport der Testfälle Die abstrakten Testfälle können in 

eine Test‐Suite (Test‐Context) exportiert werden

Für jeden Testfall wird eine I k i i di i h lInteraktion generiert, die sich als Sequenz aus einzelnen Testschritten und VerifikationspunktenVerifikationspunkten zusammensetzt

9/14

Testausführung und TestergebnisseTestausführung und Testergebnisse Nach der Kompilierung werden 

die exportierten Testfälle in derdie exportierten Testfälle in der Test‐Ansicht von Syntonyaufgelistet

Testfälle können in OMNeT++ ausgeführt werdenausgeführt werden

Nach der Ausführung zeigt die Test‐Ansicht die Ergebnisse der Tests und die Fehlermeldungen zu den fehlgeschlagenenzu den fehlgeschlagenen Testfällen

10/14

ValidierungsperspektiveValidierungsperspektive In der Validierungsperspektive 

lassen sich statische Prüfungen an den Test‐ und Simulationsmodellen durchführen

In der aktuellen Version wird z.B. die Gültigkeit und Vollständigkeit der Referenzen der einzelnen Testschritte geprüftTestschritte geprüft

Die gefundenen Fehler werden in der Problem‐Ansicht aufgelistet

Es ist möglich die betroffene Es ist möglich die betroffene Stelle im Modell anzeigen zu lassen

Das realisierte V lidi f k i tValidierungsframework ist flexibel um Validierungsregeln erweiterbar

11/14

Testgetriebene agile Simulation: WerkzeugumgebungWerkzeugumgebung

12/14

Testgetriebene agile Simulation: KonzeptTestgetriebene agile Simulation: Konzept

AnforderungenAnforderungen

statische ValidierungSystemmodell Benutzungs‐/Testmodell

nn

gene

rieren

gene

rieren

d i h lidi abstrakte TestsuiteSimulationsmodell dynamische Validierung

nerie

ren

testen ausführbareTestsuiteSystem

gen

13/14

Vielen Dank für Ihre Aufmerksamkeit!

14/14