P106 - Software Engineering 2007 - Beiträge zu den Workshops
Auflistung P106 - Software Engineering 2007 - Beiträge zu den Workshops nach Autor:in "Alt, Oliver"
1 - 2 von 2
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragModelltransformation mit der QVT Relationssprache - Fallstudie einer werkzeugspezifischen Realisierung(Software Engineering 2007 – Beiträge zu den Workshops – Fachtagung des GI-Fachbereichs Softwaretechnik, 2007) Alt, OliverModelltransformationen spielen innerhalb einer Modell-basierten Softwareentwicklung eine entscheidende Rolle. Ein relativ neuer Standard solche Modelltransformationen zu beschreiben ist Query View Transformation (QVT) der Object Management Group (OMG). Neben einer imperativen Sprache zur Beschreibung von Modelltransformationen bietet QVT auch einen deklarativen Teil - die QVT Relationssprache. Ein großer Vorteil der QVT Relationssprache besteht darin, dass im Gegensatz zur imperativen Sprache neben einer textuellen Syntax auch eine grafische definiert wurde. Damit können Modelltransformationen für grafische Modelle selbst als grafische Modelle beschrieben werden. Dies ermöglicht innerhalb einer Modell-basierten Entwicklung eine durchgängig grafisch orientierte Beschreibung der am Prozess beteiligten Elemente (Modelle und Transformationen) beizubehalten und eine Rückkehr zu textuellen Formaten zu vermeiden. Dieses Papier beschreibt die Erkenntnisse einer Fallstudie, in der die Realisierung der QVT Relationssprache zum Einsatz in der Praxis untersucht wurde. Dabei sollte die Umsetzung spezifisch für das eingesetzte UML Werkzeug Sparx Systems Enterprise Architect (EA) erfolgen um kein neues, zusätzliches Werkzeug einsetzen zu müssen.
- KonferenzbeitragStrategien zur Testfallgenerierung aus SysML Modellen(Software Engineering 2007 – Beiträge zu den Workshops – Fachtagung des GI-Fachbereichs Softwaretechnik, 2007) Schlecht, Sebastian; Alt, OliverUm die zunehmende Komplexität moderner Telematik- und Infotainmentsysteme in den Griff zu bekommen und eine gleichbleibende Qualität der Produkte zu sichern, werden im Hause der Robert-Bosch/Blaupunkt GmbH neue Testkonzepte für den Systemtest solcher Systeme entwickelt. Dabei werden Teile der bislang informellen Spezifikation durch formalere Modelle auf Basis der Systems Modeling Language (SysML) ersetzt. Eines der wesentlichen Ziele dabei ist, das Modell im Rahmen eines Modell-basierten Entwicklungsprozesses zu nutzen, um daraus möglichst automatisiert Testfälle abzuleiten (Modell-basiertes Testen). Im Rahmen dieses Papieres wird beschrieben, welche Strategien zur Testfallgenerierung aus solchen Modellen untersucht, letztendlich ausgewählt, erweitert und umgesetzt wurden um dies zu erreichen.