Software Engineering Beiträge zu den Workshops

Transkript

1 Wolf-Gideon Bleek, Henning Schwentner, Heinz Züllighoven (Hrsg.) Software Engineering 2007 Beiträge zu den Workshops Fachtagung des GI-Fachbereichs Softwaretechnik in Hamburg Gesellschaft für Informatik e.v. (GI)

2 Lecture Notes in Informatics (LNI) -Proceedings Series of the Gesellschaft für Informatik (GI) Volume 106 ISBN ISSN Volume Editors Dr. rer. nat. Wolf-Gideon Bleek Henning Schwentner Prof. Dr.-Ing. HeinzZüllighoven Universität Hamburg Fakultät für Mathematik, Informatik und Naturwissenschaften Department Informatik Vogt-Kölln-Str Hamburg,Germany {bleek, henning.schwentner, Series Editorial Board Heinrich C. Mayr, Universität Klagenfurt, Austria (Chairman, Jörg Becker, Universität Münster, Germany Ulrich Furbach,UniversitätKoblenz, Germany Axel Lehmann, Universitätder BundeswehrMünchen, Germany Peter Liggesmeyer, TUKaiserslautern undfraunhofer IESE, Germany Ernst W. Mayr, TechnischeUniversität München,Germany Heinrich Müller, UniversitätDortmund, Germany Heinrich Reinermann, Hochschulefür Verwaltungswissenschaften Speyer, Germany Karl-Heinz Rödiger, Universität Bremen, Germany Sigrid Schubert, Universität Siegen,Germany Dissertations DorotheaWagner, Universität Karlsruhe, Germany Seminars Reinhard Wilhelm, Universität dessaarlandes, Germany Gesellschaftfür Informatik, Bonn 2007 printedby Köllen Druck+Verlag GmbH, Bonn

3 Willkommen zu den Workshops der Software Engineering 2007 in Hamburg Der Fachbereich Softwaretechnik der Gesellschaft für Informatik (GI) und seine Fachgruppen veranstalten die jährliche Konferenzserie Software Engineering vom März 2007 erstmalig in Hamburg. Das umfangreiche Angebot umfasst Vorträge, Workshops und Tutorien zu Themen der forschungsnahen Praxis und den Ergebnissen der praxisnahen Forschung. Dies ist für die Teilnehmer und Teilnehmerinnen aus Forschung und Industrie eine ideale Gelegenheit sich kompakt über den Stand der Softwaretechnik zu informieren und mit ausgewiesenen Experten aus dem gesamten deutschsprachigen Raum Erfahrungen auszutauschen. Nicht zuletzt soll sich Hamburg als einer der führenden IT-Standorte in Deutschland von seinenbesten Seiten zeigen. Softwaretechnik ist nicht erst durch die aktuelle forschungspolitische Diskussion ein zentrales Thema im IT-Bereich. Die Kosten für die Neu- und Weiterentwicklungen von Software machen nach wie vor für viele Unternehmen einen substanziellen Anteil ihres Budgets aus. Schon daher steigt das Interesse an Methoden, Verfahren und Werkzeugen der Softwaretechnik auch in der Praxis. Weniger bekannt ist, dass fast alle Hamburger Hochschulen dazu aktiv in Forschung und Lehre sind. Deshalb haben sie ohne Zögern zugesagt, als das Steering Committee anbot, die jährliche Software Engineering Konferenz der Gesellschaft für Informatik 2007 in Hamburg zu veranstalten. Auch Politik und Wirtschaft reagierten sehr positiv: Wissenschaftssenator Jörg Dräger übernahm die Schirmherrschaft, die Handelskammer und bieten ihre Unterstützung an und die in Hamburg ansässige C1 Gruppe engagiert sich, neben vielen weiteren Firmen, als Hauptsponsor. Die Organisatoren haben sich das Ziel gesetzt, die Software Engineering 2007 zu einem nachhaltigen Forum für die forschungsnahe Wirtschaft und die anwendungsorientierten Forscherund Forscherinnen anden Hochschulen zu machen. Dazu soll ein umfangreiches Programm beitragen. Am ersten Tag werden sich Personen aus Forschung und Praxis in Tutorien und Workshops ausführlich über neue Ansätze und Techniken austauschen können. Hier sind auch führende Hersteller eingeladen, ihre Produkte der nächsten Generation zu präsentieren. Zahlreiche Workshops werden in diesem Jahr die Konferenz prägen. 16 halb- und ganztägige Workshops bieten Gelegenheit, sich ausführlich über neue Ansätze und Techniken auszutauschen. Viele Workshops haben ein eigenes Programmkomitee zur Begutachtung der eingereichten Beiträge. Die Beiträge einiger dieser Workshops sind Inhalt des vorliegenden Workshopbands. Eine Übersicht über alle Workshops findet sich im Tagungsband mit dem Hauptprogramm. Zum ersten Mal gibt es einen Nachwuchs- Workhop, in dem Abschlussarbeiten in der Informatik vorgestellt und diskutiert werden sollen.

4 Die Software Engineering 2007 und insbesondere die Workshops sind durch vielfältige Zusammenarbeit und Unterstützung möglich geworden. Ich möchte mich herzlich bedankenbei: dem Programmkomitee, das alle Facetten der deutschsprachigen Softwaretechnik hervorragend repräsentiert und zuverlässig seine fachlichen Aufgaben mit viel Engagementerledigthat, den Veranstaltern der Workshops, die durch ihr Engagement die vielfältigen Themen der Softwaretechnikfür diediskussion aufbereitethaben, den gemeinsam veranstaltenden Hamburger Hochschulen, also Universität Hamburg, Hochschule für Angewandte Wissenschaften (HAW), Technische Universität Hamburg Harburg, Fachhochschule Wedel, Fachhochschule für Ö- konomie und Management(FOM), FH Nordakademie Elmshorn, den offiziell unterstützenden Schwesterorganisation der GI, d. h. der Schweizer Informatik Gesellschaft (SI) und der Oestereichischen Computer Gesellschaft (OCG), dem offiziellen Hamburg, d.h. der Behörde fürwissenschaft und Forschung, der Wirtschaftsbehörde, der Handelskammer sowie die die Konferenz substanziellunterstützt haben, den Unternehmen, die als Sponsoren die Konferenz wesentlich finanziell möglich gemacht haben, dem Hamburger Veranstaltungskomitee, dessen Mitglieder von allen für die Informatik relevanten Hochschulen kommen und das für die fachliche Verankerung derkonferenz vorort gesorgthat, dem Steering Committee der SE-Tagungsreihe, das die Tagung nach Hamburg gebracht hat unddas sich sehr fürdie Konferenz engagiert hat, HITeC e. V. als offiziellemorganisator, und nicht zuletzt dem Organisationsteam, das fast ein Jahr intensiv für das Gelingen der Tagunggearbeitethat. Hamburg, im März 2007 HeinzZüllighoven

5 Tagungsleitung HeinzZüllighoven, Universität Hamburg Tagungsorganisation Wolf-Gideon Bleek, MartinaBracht-Kopp, Timo Göttel, Guido Gryczan,Jörg Rathlev, Birte Reichow, JoachimSauer, Arne Scharping,Axel Schmolitzky, Henning Schwentner, Daniel Sitzmann, Uwe Zimmer (alle Universität Hamburg) Programmkomitee Uwe Aßmann; TU Dresden Klaus Beetz; Siemens, München Sami Beydeda; ZIVIT, Bonn Alfred Bröckers;Adesso,Dortmund Manfred Broy;TUMünchen Bernd Brügge; TU München Ernst-Erich Doberkat; Universität Dortmund Heiko Dörr; DaimlerChrysler, Berlin Jürgen Ebert; Universität Koblenz-Landau GregorEngels; Universität Paderborn HaraldGall; Universität Zürich Martin Glinz; Universität Zürich MichaelGoedicke; Universität Duisburg-Essen André Golliez; Itopia, Präs.der SI, Zürich KlausGrimm; DaimlerChrysler, Berlin Volker Gruhn;Universität Leipzig Guido Gryczan; Universität Hamburg Wilhelm Hasselbring;Universität Oldenburg Stefan Jähnichen; TU Berlin Matthias Jarke; RWTH Aachen, Präs.der GI Udo Kelter; Universität Siegen Willi Küpper; FOM, Universität Hamburg Claus Lewerentz; TU Cottbus HorstLichter;RWTHAachen Peter Liggesmeyer; TU Kaiserslautern, FhG IESE Klaus-Peter Löhr; FU Berlin Jochen Ludewig;Universität Stuttgart Manfred Nagl;RWTHAachen Andreas Oberweis; Universität Karlsruhe Barbara Paech; Universität Heidelberg Dirk Platz; Schufa Holding KlausPohl; Universität Duisburg-Essen Gustav Pomberger;Universität Linz

6 Jörg Raasch;HAW Hamburg BurkhardtRenz; FH Gießen-Friedberg Ralf Reussner; Universität Karlsruhe Francesca Saglietti; Universität Erlangen-Nürnberg WilhelmSchäfer;UniversitätPaderborn Uwe Schmidt; FHWedel Arno Schott; Alte Leipziger Andreas Schürr; TUDarmstadt Hans-Werner Six; FernuniversitätHagen GregorSnelting;Universität Passau VolkerTurau;TUHamburg-Harburg Friedrich Vogt;TUHamburg-Harburg Markus Voß; sd&m Research, München MarioWinter; FH Köln Andreas Zeller; Universität des Saarlandes Frank Zimmermann; FH Nordakademie HeinzZüllighoven;Universität Hamburg Albert Zündorf; Universität Kassel Offizieller Veranstalter Fachbereich Softwaretechnikder Gesellschaft fürinformatik (GI) HITeC e. V.,Hamburg Mitveranstalter Universität Hamburg Hochschule für AngewandteWissenschaften (HAW) Technische UniversitätHamburgHarburg Fachhochschule Wedel Fachhochschule fürökonomie und Management (FOM) FH Nordakademie Elmshorn Schirmherr JörgDräger, Wissenschafts- undforschungssenator der Freien undhansestadthamburg Unterstützt wird die Tagung zudem von: Schweizer Informatik Gesellschaft (SI) Oestereichische Computer Gesellschaft (OCG) Handelskammer Hamburg

7 Sponsoren Platinsponsor Goldsponsoren Silbersponsoren Unterstützer Bronzesponsor novomind

8

9 Inhaltsverzeichnis Testmethoden für Software Von der Forschungindie Praxis Einführung 19 Sami Beydeda, Fevzi Belli EingeladenerBeitrag: An IndustrialResearch PrograminSoftware Fault Prediction 21 Thomas Ostrand, Elaine Weyuker Introducing Model-Based Testing Techniques inindustrial Projects 29 Andreas Ulrich Negativ -Testsinteraktiver Systeme und ihre Automatisierung 35 Fevzi Belli, MichaelLinschulte, Ralf Zirnsak, GünterHofmann Requirements Traceability in the Model-Based Testing Process 45 Eddy Bernard,BrunoLegeard μ TTCN AnApproach tocontinuous Signals inttcn-3 55 Jens Bräuer, Henning Kleinwechter, Andreas Leicher Scientific software test management Aresearch agenda 65 Lars Karg,Dirk Voelz AutomatischeTestdatengenerierungmittels multi-objektiver Optimierung 71 Norbert Oster, Francesca Saglietti OptimierteFehlerfindung im Funktionstest durch automatisierte Analyse von Testprotokollen 75 Jörg Gericke, Matthias Wiemann Analysevon Testprozessen inder Industrie 85 Rainer Schmidberger Holistic Testing with Basic Statecharts 91 Fevzi Belli, Axel Hollmann Strategien zur Testfallgenerierung aus SysML Modellen 101 Sebastian Schlecht, Oliver Alt An IntegrationFramework for Heterogeneous Automatic Software Tests 107 Holger Schackmann,Horst Lichter, Veit Hoffmann

10 Integrierte Testkonzepte Vonder Theoriezur Praxisund zurück 113 Ralf Gerlich TMap Next im Überblick 123 MatthiasHamburg New test approach for embeddedapplications 127 AlainDeutsch,Klaus Wissing Methodsfor TestingWeb Services 137 Peter Dencker, Rix Groenboom Towards IntegrationDriven Design 143 Stephan Jacobs Softwarearchitektur und Migration Einführung 151 Rainer Gimnich, Michael Goedicke, WilhelmHasselbring, Maritta Heisel, Ralf Reussner, Andreas Winter Was istsoftware-architektur? EinAbgleich mitder Praxis 153 Dominikus Herzberg Einpraxiserprobtes Rahmenwerkfür die technische Anwendungsintegration 159 Bernhard Humm, Marc Lohmann, Markus Voß, Johannes Willkomm ACaseStudy on Model-Driven and Conventional Software Development: The Palladio Editor 169 Klaus Krogmann,Steffen Becker Referenz-Architekturund nichtfunktionaleanforderungenadaptiver Dialogkerne 177 Jürgen Rückert, Barbara Paech Modellierung service-orientierter Architekturen in derenergieversorgung 187 TanjaSchmedes Synthese komponentenbasierter Konfigurationen 195 Alexander Stuckenholz

11 Empirische Untersuchungen von Visualisierungswerkzeugen zur Software-Analyse Einführung 203 Alexander Fronk, Dietmar Gude,GerhardRinkenauer SindtheoretischeKonzepteaus derkognitiven Psychologieauf empirische Fragestellungen der Informatik übertragbar? 205 Gerhard Rinkenauer Empirische Methodik in der SoftwaretechnikimAllgemeinenund bei der Software-Visualisierung im Besonderen 211 Walter Tichy,Frank Padberg Planning an Experiment on User Performance forexplorationofdiagrams Displayed in 2½ Dimensions 223 JohannesBohnet, Jürgen Döllner Eine Pilotstudie zur empirischen Untersuchung eines Ansatzes zur dreidimensionalen Visualisierung vonobjektorientierten Code-Strukturen 231 Alexander Fronk Empirische Untersuchungen zwei-und dreidimensionaler Darstellungen von zur Laufzeit erzeugten Objektstrukturen 241 Michael Striewe Model-Driven Software Development Today Einführung 251 SimonZambrovski Modelltransformation mit derqvt Relationssprache-Fallstudie einer werkzeugspezifischen Realisierung 255 Oliver Alt Rules for Type-checkingofParametric Polymorphism in EMF Generics 261 MiguelGarcia EnterpriseApplication Deployment: Amodel driven approach 271 Peter Golibrzuch,AlexanderHolbreich, SimonZambrovski Changes Classification inm2models 277 Boris Gruschko

12 PDDApplied: AModel DrivenApproach 281 HelgeSören Klimek Wiederverwendung vontransformationen 287 Thorsten Pohl Nachwuchsbeiträge Einführung 295 Axel Schmolitzky Kontraktbasiertes Black-Box Testen vonwebservices 297 Michael Averstegge Eineontologiebasierte Kooperationsmodellierung für die Verbindung der Systementwicklung mitdem Organisationswandel 301 Lahouaria Bendoukha ModellgetriebeneGenerierungvon Eclipse-RCP-Oberflächenzur Stammdatenverwaltung 305 Lars Bilger Automatisierte Überprüfung von Modellierungsrichtlinien für Matlab/Simulink-Modelle 309 Kathrin Bröker Refactoring Supportfor the Ruby Development Tools 313 Thomas Corbat, Lukas Felber, Mirko Stocker Saros: EineEclipse-Erweiterung zur verteilten Paarprogrammierung 317 RiadDjemili, ChristopherOezbek, Stephan Salinger Generierung eines Systemabhängigkeitsgraphen mittels Graphtransformation 321 Tim Heuer, Rafael Weiß Aufbau einer Software Factory zur Erstellung spezialisierter Bildverarbeitungslösungen 325 TorstenHeup, Thomas Berlage Risikomanagement -Minimalscope fürit-großprojekte 329 Carolin DianaHürster DerMikroprozess von Programmierfehlern 333 Sebastian Jekutsch

13 Introducing Software Engineering Innovations in Open Source Projects 335 Christopher Oezbek Qualitätsverbesserung durch gewichtete Teilaspekte im Image Retrieval 337 Raoul Pascal Pein Konzeptionierungund Implementierung einer Konflikterkennungfür Model-to-Model-Transformationen imopen Source MDA-Generator AndroMDA 341 Thorsten Pohl ERItemManager ein dynamisch rekonfigurierbares Webapplikationsframework 345 Sascha Preibisch, TaoZheng,WolfgangRenz ADomain-Specific Language for Industrial Automation 349 Stefan Preuer Erfahrungenbei der Portierungvon DelphiLegacy Code nach.net 353 StephanReiter, Reinhard Wolfinger Entwicklung eines automatischenverfahrens zur Auflösung statischer zyklischer Abhängigkeiten insoftwaresystemen 357 Leo Savernik Toward the Design of Self OrganizingDynamics 361 Jan Sudeikat Positionspapier zurmasterarbeit OrtsbezogeneDienste im Paradigma des Web2.0 von Mark Thomé 365 Mark Thomé Bewertung automatisch erkannterausprägungenvon Software-Mustern 369 Dietrich Travkin Formularbasierte Traceability-Unterstützung 373 Markus Ueberall